set pit_expand_segment_items {
GuidoMenuItem expand_segment_by_bench_height {
-label "By bench height"
-icon "icons/16/expand_segment_by_bench_height.png"
-command server "expand segment by bench height"
}
GuidoMenuItem expand_segment_by_berm_width {
-label "By berm width"
-icon "icons/16/expand_segment_by_berm_width.png"
-command server "expand segment by berm width"
}
GuidoMenuItem expand_segment_to_dtm {
-label "To DTM surface"
-icon "icons/16/expand_segment_to_dtm.png"
-command server "expand segment to dtm"
}
GuidoMenuItem expand_segment_to_elevation {
-label "To elevation"
-icon "icons/16/expand_segment_to_elevation.png"
-command server "expand segment to elevation"
}
}
GuidoMenu pit_expand_segment {
-label "Expand segment"
-delayed_script $pit_expand_segment_items
}
