GuidoMenu geostatsdisplaymenu {
-label "Display options"
GuidoMenuItem item1 {
-label "Display grid"
-icon "icons/16/stats_grid.png"
-command server "STATS GRID"
}
GuidoMenuItem item2 {
-label "Identify point on graph"
-icon "icons/StatsLocate.gif"
-command server "STATS LOCATE"
}
GuidoMenuItem item3 {
-label "Erase temporary markers"
-icon "icons/16/erase_temp_markers.png"
-command server "STATS ERASE TEMP MARKERS"
}
GuidoSeparator sep1 {
}
GuidoMenuItem item4 {
-label "Change display colours"
-icon "icons/16/stats_styles.png"
-command server "STATS STYLES"
}
}
