Tools sub-menu

Top  Previous  Next

The first three options on the Tools sub-menu duplicate the functions of these same-named buttons on the navigation/tool bar.

 

The Preferences option brings up the Preferences dialog window.

 

Selecting the Default preferences option resets all preferences back to your developer’s preferred settings.