set rd_view_items {
GuidoMenuItem load_next_section {
-label "Next section"
-icon "icons/16/load_next_section.png"
-command server "load next section"
}
GuidoMenuItem load_prior_section {
-label "Previous section"
-icon "icons/16/load_prior_section.png"
-command server "load prior section"
}
GuidoSeparator separator1 {
}
GuidoMenuItem display_hole_ids {
-label "Hole IDs"
-icon "icons/16/display_hole_ids.png"
-command server "display hole ids"
}
GuidoMenuItem display_hole_lengths {
-label "Hole lengths"
-icon "icons/16/display_hole_lengths.png"
-command server "display hole lengths"
}
GuidoMenuItem display_hole_diameters {
-label "Hole diameters"
-icon "icons/16/display_hole_diameters.png"
-command server "display hole diameters"
}
GuidoSeparator separator2 {
}
GuidoMenuItem display_hole_delay {
-label "Delays"
-icon "icons/16/display_hole_delay.png"
-command server "display hole delay"
}
GuidoMenuItem display_hole_sequence {
-label "Sequence"
-icon "icons/16/display_hole_sequence.png"
-command server "display hole sequence"
}
GuidoMenuItem display_hole_explosive {
-label "Explosive type"
-icon "icons/16/display_hole_explosive.png"
-command server "display hole explosive"
}
GuidoSeparator separator3 {
}
GuidoMenuItem view_plane {
-label "Reset view perpendicular to current section"
-icon "icons/16/view_plane.png"
-command server "view plane"
}
GuidoMenuItem zoom_plane {
-label "Zoom to extent of current section"
-icon "icons/16/zoom_plane.png"
-command server "zoom plane"
}
GuidoMenuItem limit_view {
-label "Limit view by width from current section"
-icon "icons/16/limit_view.png"
-command server "limit view"
}
GuidoSeparator separator4 {
}
GuidoMenuItem redraw {
-label "Display all data for current section"
-icon "icons/16/redraw.png"
-command server redraw
}
GuidoMenuItem erase_hole {
-label "Select holes to hide"
-icon "icons/16/erase_hole.png"
-command server "erase hole"
}
GuidoMenuItem erase_holes {
-label "Hide range of holes"
-icon "icons/16/erase_holes.png"
-command server "erase holes"
}
GuidoSeparator separator5 {
}
GuidoMenuItem rd_colour_by {
-label "Hole colouring method"
-icon "icons/16/rd_colour_by.png"
-command server "rd colour by"
}
}
GuidoMenu rd_view {
-label "View"
-delayed_script $rd_view_items
}
