Menu ▾ ▴

Commit [r14777]  Maximize  Restore  History

Renamed the 'Settings' menu to 'Tools'.

This is to make it more general for the future inclusion of the test suite.

bugman 2011-10-04

Browse code at this revision

Parent: [r14776]

Child: [r14778]

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