[DrJava] [ drjava-Ease of use Issues-595759 ] Tab Toggles

[<no...@so...>]

Ease of use Issues item #595759, was opened at 2002-08-15 17:03
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=460211&aid=595759&group_id=44253

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Peter Centgraf (centgraf)
Assigned to: Nobody/Anonymous (nobody)
Summary: Tab Toggles

Initial Comment:
As of version 20020814-0343, there is no central place to manage the tabs displayed at the bottom of the screen.  The only operation possible is to close each tab by switching to it and hitting the close check-box.  Some panes cannot be removed at all.  This arrangement creates an non-reversible operation - closing a pane.

I suggest a new "View" menu, placed between the Edit and Tools menus, which would contain CheckBoxMenuItems corresponding to all of the lower tabs.  When a menu item is checked, the tab would be visible.  This list should include all of the tabs, including Interactions, Console, and Debug (if available).  If no tab is visible, the split pane divider should be removed.  This would maintain consistency and emphasize that the operation is performing a purely visual function.  All operations using the tabs should proceed in the background, so that changes will be displayed immediately upon revealing a tab.  There should be no functional difference for the rest of DrJava whether a tab is hidden or visible.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=460211&aid=595759&group_id=44253