set plotfilesaveas_items {
GuidoMenuItem gif_dump_plot {
-label "Image file"
-icon "icons/16/gif_dump.png"
-command server "gif dump plot"
}
GuidoMenuItem postscript_dump_plot {
-label "Postscript file"
-command server "postscript dump plot"
}
}
GuidoMenu plotfilesaveas {
-label "Save as"
-delayed_script $plotfilesaveas_items
}
