Hide JavaDoc Tab as Default Proposal.
April 18, 2000 - creation of proposal
Overview:
It seems to be unneccesary to have Javadoc tab in explorer. There is no need to have mounted javadocs visible all the time. The group of users using this tab for browsing javadocs is probably very small.
Proposal:
Javadoc tab will be removed from the explorer.There will be new action "Javadoc Sources Manager" in Tools menu(figure 1). This action shows Javadoc Sources Manager(figure 2).
 |
| Figure 1: Tools Menu with new action "Javadoc Sources Manager". |
Figure 1 above ilustrates new menu structure with new action. Icon
for this action was created by me only for test purposes. There will be send
request for icon of this action.
 |
| Figure 2: Javadoc Sources Manager which replaces Javadoc tab in explorer. |
Figure 2 above ilustrates new Javadoc Sources Manager. In prototype implementation there is TreeTable component on the left side and action buttons for adding various types of sources and removing on the right side. There are two properties which could be changed by user. Root offset allows user to set offset and Search engine to set appropriate search engine.
 |
| Figure 3: Javadoc Sources Manager with expanded node for browse purpose. |
