diff options
Diffstat (limited to 'dia_video.inc')
-rw-r--r-- | dia_video.inc | 85 |
1 files changed, 0 insertions, 85 deletions
diff --git a/dia_video.inc b/dia_video.inc deleted file mode 100644 index 298ebbf..0000000 --- a/dia_video.inc +++ /dev/null @@ -1,85 +0,0 @@ -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% -% Video mode selection dialog. -% -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% Some global vars. -% -% video mode array fields - -/video.default 2 def -/video.modes.list [ 0 785 788 791 ] def -/video.modes.text [ "Text" "640 x 480" "800 x 600" "1024 x 768" ] def - -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% Build video mode list. -% -% ( ) ==> ( ) -% -/video.init { - /xmenu.video .xm_size array def - - /xmenu xmenu.video def - - xmenu .xm_list video.modes.text put - xmenu .xm_current video.default put - - pmenu.init -} def - - -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% Update video mode. -% -% ( ) ==> ( ) -% -/video.update { - /xmenu xmenu.video def - - /window.action actRedrawPanel def - - pmenu.update -} def - - -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% Show video menu. -% -% ( ) => ( ) -% -/panel.video { - "videomode" help.setcontext - - window.xmenu - dup .xmenu xmenu.video put - dup .xmenu.update /video.update put - dup window.init - window.show -} def - - -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% Return width of video entry. -% -% ( ) => ( width ) -% -/panel.video.width { - /xmenu xmenu.video def - - pmenu.width -} def - - -% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -% Redraw panel entry. -% -% ( panel ) => ( ) -% -/panel.video.update { - /xmenu xmenu.video def - - pmenu.panel.update -} def |