calebegg / proof-pad-classic

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

Find submenu #28

Open calebegg opened 12 years ago

calebegg commented 12 years ago

Apple HIG says: "Provide a Find submenu, if appropriate. You might want to include a Find submenu if find is important functionality in your app. Typically, a Find submenu contains Find (Command-F), Find Next (Command-G), Find Previous (Command-Shift-G), Use Selection for Find (Command-E), and Jump to Selection (Command-J). If you include a Find submenu, the Find menu item name should not include an ellipsis character."