To display this dialog box, on the PRO tab, select Options and then click Explorer.
Use the Workspace Explorer Preferences dialog box to change the behavior of the Workspace Explorer (Explorer window).
Show Maps
If checked, the Maps section is shown in Explorer window.
Show Tables
If checked, the Tables section is shown in Explorer window.
Show Windows
If checked, the Windows section is shown in Explorer window.
Show Connections
If checked, the Connections section is shown in Explorer window.
Remember Section Heights
If checked, the height of each section (Maps, Tables, Tool Windows, Connections) will be remembered.
Reset Heights
When clicked, the heights of each section (Maps, Tables, Tool Windows, Connections) is reset to Auto.