Re: [platform-ui-dev] Editor tabs

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

Re: [platform-ui-dev] Editor tabs

From: Dan Rubel <dan_rubel@xxxxxxxxxxxxxxxxxx>
Date: Thu, 02 May 2002 14:56:32 -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>

How about an option for stacked editor tabs. They would compress up to aset number (configurable) and then start appearing in a row of tabs belowthe first. I would prefer that behavior over the editor arrow buttons.

References:
- Re: [platform-ui-dev] Editor tabs
  - From: Nick_Edgar

Prev by Date: Re: [platform-ui-dev] Editor tabs
Next by Date: Re: [platform-ui-dev] Editor tabs
Previous by thread: Re: [platform-ui-dev] Editor tabs
Next by thread: Re: [platform-ui-dev] Editor tabs
Index(es):
- Date
- Thread

Breadcrumbs