set displaypointsmenu_items {
GuidoMenuItem show_markers {
-label "Markers"
-icon "icons/16/draw_markers.png"
-command server "DRAW MARKERS"
}
GuidoMenuItem point_numbers {
-label "Numbers"
-icon "icons/16/draw_numbers.png"
-command server "DRAW NUMBERS"
}
GuidoMenuItem show_descriptions {
-label "Attributes"
-icon "icons/16/draw_desc.png"
-command server "DRAW DESC"
}
}
GuidoMenu displaypointsmenu {
-label "Point"
-delayed_script $displaypointsmenu_items
}
