1 files changed, 0 insertions, 52 deletions
diff --git a/dia_options.inc b/dia_options.inc
deleted file mode 100644
index da8826d..0000000
--- a/dia_options.inc
+++ /dev/null
@@ -1,52 +0,0 @@
-% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-%
-% Panel 'more options' entry.
-%
-% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-
-% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-% Show help window.
-%
-% ( ) => ( )
-%
-/panel.options {
-  /panel panel.full def
-
-  boot.show not {
-    /boot.show true def
-    boot.setup
-
-    boot.window .color.fg get setcolor
-    boot.window .ed.font get setfont  
-
-    boot.ed 3 get
-    boot.ed over edit.init
-    "" ne { boot.ed ' ' edit.input } if
-  } if
-
-  /window.action actRedraw def
-} def
-
-
-% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-% Return width of options entry.
-%
-% ( ) => ( width )
-%
-/panel.options.width {
-  txt_other_options strsize pop
-} def
-
-
-% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-% Redraw panel entry.
-%
-% ( panel ) => ( )
-%
-/panel.options.update {
-  panel.text.moveto
-
-  txt_other_options show
-} def
-
-