set labelsmenu_items {
GuidoMenuItem item1 {
-label "Segment"
-command server "LABEL SEGMENT POINTS"
}
GuidoMenuItem item2 {
-label "String"
-command server "LABEL STRING POINTS"
}
GuidoMenuItem item3 {
-label "Layer"
-command server "LABEL LAYER POINTS"
}
}
GuidoMenu labelsmenu {
-label "Point labels in"
-delayed_script $labelsmenu_items
}
