Andy McFadden 3cc6f32c6f Put some stuff in a "Navigate" menu ...

Created a Navigate menu, and put the menu items for Find and Go To
in it.  Added menu items for nav-forward and nav-backward, which
until now were only available as toolbar buttons.

2019-10-19 17:46:40 -07:00

..

advanced.html

Fix constants declared with MULTI_MASK

2019-10-18 16:19:42 -07:00

analysis.html

Expand the set of things SetInlineDataFormat accepts

2019-10-05 19:51:34 -07:00

codegen.html

Change how the "quick set" settings work

2019-10-11 17:39:52 -07:00

editors.html

Add junk/align directives

2019-10-18 21:00:28 -07:00

end-notes.html

…

index.html

…

intro.html

Add junk/align directives

2019-10-18 21:00:28 -07:00

main.css

…

mainwin.html

Put some stuff in a "Navigate" menu

2019-10-19 17:46:40 -07:00

settings.html

Rename button text

2019-10-13 15:21:05 -07:00

tools.html

…

tutorials.html

Put some stuff in a "Navigate" menu

2019-10-19 17:46:40 -07:00