set stabilityfilesaveas_items {
GuidoMenuItem prisms_to_strings {
-label "String file"
-icon "icons/16/prisms_to_strings.png"
-command server "PRISMS TO STRINGS"
}
GuidoMenuItem gif_dump {
-label "Image file"
-icon "icons/16/gif_dump.png"
-command server "gif dump stability"
}
}
GuidoMenu stabilityfilesaveas {
-label "Save as"
-delayed_script $stabilityfilesaveas_items
}
