814 |
"toggle_session_tree", None, |
"toggle_session_tree", None, |
815 |
"exit"]), |
"exit"]), |
816 |
Menu("map", _("&Map"), |
Menu("map", _("&Map"), |
817 |
["layer_add", "layer_remove", |
["layer_add", "layer_remove", "map_rename", |
818 |
None, |
None, |
819 |
"map_projection", |
"map_projection", |
820 |
None, |
None, |
825 |
None, |
None, |
826 |
"toggle_legend", |
"toggle_legend", |
827 |
None, |
None, |
828 |
"map_print", |
"map_print"]), |
|
None, |
|
|
"map_rename"]), |
|
829 |
Menu("layer", _("&Layer"), |
Menu("layer", _("&Layer"), |
830 |
["layer_raise", "layer_lower", |
["layer_raise", "layer_lower", |
831 |
None, |
None, |