set hidestringsmenu_items {
GuidoMenuItem erase_strings_from_layer {
-label "In a layer"
-command server "ERASE STRINGS FROM LAYERS"
-icon "icons/16/erase_strings_from_layers.png"
}
GuidoMenuItem erase_string_by_selection {
-label "By selection"
-icon "icons/16/erase_string_by_selection.png"
-command server "ERASE STRING BY SELECTION"
}
GuidoMenuItem erase_segment_by_selection {
-label "Segments by selection"
-icon "icons/16/erase_segment_by_selection.png"
-command server "ERASE SEGMENT BY SELECTION"
}
GuidoMenuItem erase_polygons {
-label "With colour fill"
-icon "icons/16/erase_polygons.png"
-command server "ERASE POLYGONS"
}
GuidoMenuItem erase_lines {
-label "As lines"
-command server "ERASE LINES"
-icon "icons/16/erase_lines.png"
}
}
GuidoMenu hidestringsmenu {
-label "Hide strings"
-delayed_script $hidestringsmenu_items
}
