disable the now rather pointless "Other Options" panel entry, and always show the full panel instead

boot.config

@@ -18,7 +18,6 @@
 %% include dia_profile.inc
 %% include dia_install.inc
 %% include dia_bits.inc
-%% include dia_options.inc
 %% include panel.inc
 %% include keytables.inc
 %% include locale.inc

dia_options.inc

@@ -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
-
-

install.config

@@ -18,7 +18,6 @@
 %% include dia_profile.inc
 %% include dia_install.inc
 %% include dia_bits.inc
-%% include dia_options.inc
 %% include panel.inc
 %% include keytables.inc
 %% include locale.inc

panel.inc

@@ -73,26 +73,11 @@
 
   ] def
 
+  /panel panel.full def
+
   % initialize all
   panel.full { 6 get dup .undef ne { exec } { pop } ifelse } forall
 
-  syslinux {
-    /panel.short [
-      [ keyF1 0 "F1" /panel.help /panel.help.width /panel.help.update .undef ]
-      [ keyF2 0 "F2" /panel.lang /panel.lang.width /panel.lang.update /lang.init ]
-      [ keyF3 0 "F3" /panel.options /panel.options.width /panel.options.update .undef ]
-    ] def
-
-    /panel panel.short def
-  } {
-    /panel.short [
-      [ keyF1 0 "F1" /panel.help /panel.help.width /panel.help.update .undef ]
-      [ keyF2 0 "F2" /panel.options /panel.options.width /panel.options.update .undef ]
-    ] def
-
-    /panel panel.short def
-  } ifelse
-
   panel.show
 } def