set hidepointsmenu_items {
GuidoMenuItem erase_markers {
-label "Markers"
-icon "icons/16/erase_markers.png"
-command server "ERASE MARKERS"
}
GuidoMenuItem erase_desc {
-label "Attributes"
-icon "icons/16/erase_desc.png"
-command server "ERASE DESC"
}
}
GuidoMenu hidepointsmenu {
-label "Hide point"
-delayed_script $hidepointsmenu_items
}
