set plotting_process_items {
GuidoMenuItem process_map {
-label "Map"
-icon "icons/16/process_map.png"
-command server "PROCESS MAP"
}
GuidoMenuItem represent_last_plot {
-label "Last map"
-icon "icons/16/represent_last_plot.png"
-command server "RE-PRESENT LAST PLOT"
}
}
GuidoMenu plotting_process {
-label "Process"
-delayed_script $plotting_process_items
}
