Moving Tools menu pulldown in front of Help menu pulldown (want Help to always be rightmost pulldown?) Also redid Tools menu pulldown construction to use new easier Browser.renderGlobalMenu() function.
Moving Tools menu pulldown in front of Help menu pulldown (want Help to always be rightmost pulldown?)
Also redid Tools menu pulldown construction to use new easier Browser.renderGlobalMenu() function.

erasche/Apollo,erasche/Apollo,erasche/Apollo,erasche/Apollo,erasche/Apollo