set plotting_colours_items {
GuidoMenuItem plot_edit_palette {
-label "Colour palette properties"
-icon "icons/16/plot_edit_palette.png"
-command server "plot edit palette"
}
GuidoMenuItem plot_edit_pen_file {
-label "Pen colour properties"
-icon "icons/16/plot_edit_pen_file.png"
-command server "plot edit pen file"
}
GuidoMenuItem lookup_file_edit {
-label "Pattern lookup file properties"
-icon "icons/16/lookup_file_edit.png"
-command server "lookup file edit"
}
}
GuidoMenu plotting_colours {
-label "Plotting colours"
-delayed_script $plotting_colours_items
}
