set statsfilesaveas_items {
GuidoMenuItem gif_dump {
-label "Image file"
-icon "icons/16/gif_dump_statistics.png"
-command server "gif dump statistics"
}
if { [ GuidoSSIOption get "product"] != "STATISTICS" } {
GuidoMenuItem save {
-icon "icons/16/stats_save.png"
-command script scripts/savestats.tcl
-label "Data file"
}
}
}
GuidoMenu statsfilesaveas {
-label "Save as"
-delayed_script $statsfilesaveas_items
}
