1 files changed, 52 insertions, 0 deletions
diff --git a/dia_options.inc b/dia_options.inc
new file mode 100644
index 0000000..da8826d
--- /dev/null
+++ b/dia_options.inc
@@ -0,0 +1,52 @@
+% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+%
+% 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
+
+