Menu

Commit [r13495]  Maximize  Restore  History

Fixed the main menu for the path name change of document-properties.

bugman 2011-07-07

changed /branches/gui_testing/gui/menu.py
/branches/gui_testing/gui/menu.py Diff Switch to side-by-side view
Loading...