[platform-ui-dev] Re: Editor Tabs

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[platform-ui-dev] Re: Editor Tabs

From: "Jay Cagle" <jcagle@xxxxxxxxxx>
Date: Fri, 3 May 2002 00:44:55 -0400
Delivered-to: platform-ui-dev@xxxxxxxxxxx
List-archive: <http://dev.eclipse.org/pipermail/platform-ui-dev/>
List-help: <mailto:platform-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=unsubscribe>

A suggestion if you bring the scroll arrows back: always keep the editor area full with tabs -- that is, only allow scrolling to the right until they get to the last tab, and automatically scroll to re-fill the area when an editor is closed.

Jay

_____________________________________
Jay Cagle
IBM WebSphere Studio Web Tooling Development
(919) 254-6906 (t/l 444), jcagle@xxxxxxxxxx

Prev by Date: Re: [platform-ui-dev] Editor tabs
Next by Date: [platform-ui-dev] Notes for people running org.eclipse.ui from the HEAD stream
Previous by thread: [platform-ui-dev] Editor tabs
Next by thread: [platform-ui-dev] Notes for people running org.eclipse.ui from the HEAD stream
Index(es):
- Date
- Thread

Breadcrumbs