set ivgfilesaveas_items {
if { [ GuidoSSIOption get "product"] != "STATISTICS" } {
GuidoMenuItem stringfile {
-label "String file"
-icon "icons/Save.gif"
-command server "VG OUTPUT STRING"
}
GuidoMenuItem stringfile {
-label "DTM of variogram map"
-icon "icons/16/vg_save_variogram_map.png"
-command server "VG SAVE VARIOGRAM MAP"
}
}
GuidoMenuItem gif_dump {
-label "Image file"
-icon "icons/16/gif_dump.png"
-command server "gif dump variogram"
}
}
GuidoMenu ivgfilesaveas {
-label "Save as"
-delayed_script $ivgfilesaveas_items
}
