set displaystringsmenu_items {
GuidoMenuItem show_styles {
-label "Using styles"
-icon "icons/16/draw_string_styles.png"
-command server "DRAW STRING STYLES"
}
GuidoMenuItem show_strings {
-label "With string numbers"
-icon "icons/16/draw_strings.png"
-command server "DRAW STRINGS"
}
GuidoMenuItem show_segments {
-label "With string and segment numbers"
-icon "icons/16/draw_segments.png"
-command server "DRAW SEGMENTS"
}
GuidoMenuItem show_lines {
-label "As lines"
-icon "icons/16/draw_lines.png"
-command server "DRAW LINES"
}
GuidoMenuItem polygons_filled {
-label "With colour fill"
-icon "icons/16/draw_polygons.png"
-command server "DRAW POLYGONS"
}
}
GuidoMenu displaystringsmenu {
-label "Strings"
-delayed_script $displaystringsmenu_items
}
