home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
The Datafile PD-CD 5
/
DATAFILE_PDCD5.iso
/
utilities
/
t
/
tex
/
!dvips
/
Desc
< prev
Wrap
Text File
|
1995-01-20
|
3KB
|
105 lines
# This is a description of the wimp interface for dvips
tool_details_start
name "dvips";
command_is "dvips";
version "5.55 [Arc 1.2] (19·1·95)";
wimpslot 960k;
tool_details_end
metaoptions_start
has_auto_run on;
has_auto_save "_ps" from icn 3;
has_text_window;
has_summary_window;
metaoptions_end
fileoutput_start
output_option_is "-o";
fileoutput_end
# options dialogue box
dbox_start
icons_start
icn 3 maps_to string not_saved;
icn 6 decreases icn 15;
icn 7 increases icn 15;
icn 8 decreases icn 16;
icn 9 increases icn 16;
icn 10 decreases icn 17;
icn 11 increases icn 17;
icn 12 maps_to "-p" followed_by spaces icn 15 not_saved;
icn 13 maps_to "-l" followed_by spaces icn 16 not_saved;
icn 14 maps_to "-b" followed_by spaces icn 17 not_saved;
icn 15 maps_to number not_saved;
icn 16 maps_to number not_saved;
icn 17 maps_to number not_saved;
icn 18 maps_to "-A" not_saved;
icn 19 maps_to "-B" not_saved;
icn 20 maps_to "-M";
icons_end
defaults
icn 3 "",
icn 12 off,
icn 13 off,
icn 14 off,
icn 15 1,
icn 16 1,
icn 17 1,
icn 18 off,
icn 19 off,
icn 20 off;
imports_start
drag_to icn 3 inserts icn 3;
drag_to any inserts icn 3;
drag_to iconbar inserts icn 3;
imports_end
dbox_end
#menu from dbox
menu_start
"Output file name" maps_to "-o" sub_menu " File: " 256;
"Reverse order" maps_to "-r";
"Paper offset" maps_to "-O" sub_menu " Offset " 15;
"Page size" maps_to "-T" sub_menu " Size: " 15;
"Paper format" maps_to "-t" sub_menu "Format:" 20;
"Collated copies" maps_to "-C" sub_menu "Copies:" 3;
"Printer name" maps_to "-P" sub_menu " Config.: " 20;
"Printer resolution" maps_to "-D" sub_menu " DPI: " 5;
"Compress fonts" maps_to "-Z";
"No comments" maps_to "-N";
"Debugging" maps_to "-d" sub_menu " Value: " 10;
#default values
defaults
menu 1 off,
menu 2 off,
menu 3 off sub_menu "0.0cm,0.0cm",
menu 4 off sub_menu "210mm,297mm",
menu 5 off sub_menu "a4",
menu 6 off sub_menu "",
menu 7 off sub_menu "1",
menu 8 off sub_menu "300",
menu 9 off,
menu 10 off,
menu 11 off sub_menu "2_11111111";
menu_end
#deselections (ie when an option is picked, which others get turned off?)
deselections_start
icn 19 deselects icn 18;
icn 18 deselects icn 19;
deselections_end
order_is icn 12, icn 13, icn 14, icn18, icn19, icn20, menu 1, menu 2, menu 3, menu 4, menu 5, menu 6, menu 7, menu 8, menu 9, menu 10, menu 11, icn 3;