set gradcontrolidmenu_items {
GuidoMenuItem item2 {
-label "Display existing hole numbers"
-icon "icons/16/draw_drill_hole_ids.png"
-command server "DRAW DRILL HOLE IDS"
}
GuidoSeparator sep3 {
}
GuidoMenuItem item8 {
-label "Erase numbering"
-icon "icons/16/erase_drill_hole_ids.png"
-command server "ERASE DRILL HOLE IDS"
}
GuidoMenuItem item9 {
-label "Delete all numbering"
-icon "icons/16/clear_drill_hole_ids.png"
-command server "CLEAR DRILL HOLE IDS"
}
}
GuidoMenu gradcontrolidmenu {
-label "Hole numbering options"
-delayed_script $gradcontrolidmenu_items
}
