set rd_ringdesign_edit_items {
GuidoMenuItem edit_openings {
-label "Edit openings"
-icon "icons/16/edit_openings.png"
-command server "edit openings"
}
GuidoMenuItem edit_stopes {
-label "Edit stopes"
-icon "icons/16/edit_stopes.png"
-command server "edit stopes"
}
GuidoMenuItem edit_openings {
-label "End editing stopes / openings"
-icon "icons/16/end_ring_edit.png"
-command server "end ring edit"
}
}
GuidoMenu rd_ringdesign_edit {
-label "Edit stopes / openings"
-delayed_script $rd_ringdesign_edit_items
}
