set displaymenu_items {
GuidoScript scripts/menus/displaystrings.tcl
GuidoScript scripts/menus/displaypoints.tcl
GuidoScript scripts/menus/styles.tcl
GuidoMenuItem string_properties {
-label "String properties"
-icon "icons/16/string_properties.png"
-command server "STRING PROPERTIES"
}
GuidoMenuItem object_properties {
-label "DTM/Solid properties"
-icon "icons/16/object_properties.png"
-command server "OBJECT PROPERTIES"
}
GuidoSeparator sep1 {
}
GuidoMenuItem redraw {
-label "All layers"
-icon "icons/16/draw_all_layers.png"
-command server "DRAW ALL LAYERS"
}
GuidoMenuItem draw_dtm {
-label "Surface or solid with colour banding"
-command server "DRAW DTM/3DM"
-icon "icons/16/draw_shells.png"
}
GuidoScript scripts/menus/lod.tcl
GuidoScript scripts/menus/displaysurfaces.tcl
GuidoMenuItem item2_1 {
-label "Dynamic 2D grid"
-command server "DYNAMIC GRID ON"
-icon "icons/16/2d_mode.png"
}
GuidoMenuItem show_axis {
-label "Section axis line"
-icon "icons/16/draw_axis.png"
-command server "DRAW AXIS"
}
GuidoMenuItem show_suvey_stations {
-label "Survey stations"
-icon "icons/16/draw_survey_stations.png"
-command server "DRAW SURVEY STATIONS"
}
GuidoSeparator sep2 {
}
GuidoScript scripts/menus/hidestrings.tcl
GuidoScript scripts/menus/hidepoints.tcl
GuidoSeparator sep3 {
}
GuidoMenuItem hide_dtm {
-label "Hide surface/solid"
-command server "ERASE DTM/3DM"
-icon "icons/16/erase_objects.png"
}
GuidoMenuItem hide_grid_surface {
-label "Hide grid surface"
-command script "scripts/eraseGridSurface.tcl"
}
GuidoMenuItem erase_axis {
-label "Hide section axis line"
-command server "ERASE AXIS"
-icon "icons/16/erase_axis.png"
}
GuidoMenuItem hide_survey_stations {
-label "Hide survey stations"
-icon "icons/16/erase_survey_stations.png"
-command server "ERASE SURVEY STATIONS"
}
GuidoSeparator sep4 {
}
GuidoMenuItem clear_screen {
-label "Hide everything"
-icon "icons/16/clear_screen.png"
-command server "CLEAR SCREEN"
}
GuidoMenuItem erase_temporary_markers {
-label "Hide temporary markers"
-icon "icons/16/erase_temporary_markers.png"
-command server "ERASE TEMPORARY MARKERS"
}
}
GuidoMenu displaymenu {
-label "Display"
-delayed_script $displaymenu_items
}
