calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

Make the menus follow HIGs #31

Closed calebegg closed 11 years ago

calebegg commented 12 years ago

Right now, the menus are more or less in the OS X ordering/configuration. Some tweaks would make this better on Windows/Linux.

http://msdn.microsoft.com/en-us/library/windows/desktop/aa511502.aspx#standardMenus

http://developer.gnome.org/hig-book/3.0/menus-standard.html.en