Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-ui-dev] Editor tabs

Dan,

There are many problems with having multiple rows of editor tabs.  We 
considered that option and decided that, as awkward as they are, the 
arrows are preferable.

Nick





Dan Rubel <dan_rubel@xxxxxxxxxxxxxxxxxx>
Sent by: platform-ui-dev-admin@xxxxxxxxxxx
05/02/02 02:56 PM
Please respond to platform-ui-dev

 
        To:     platform-ui-dev@xxxxxxxxxxx
        cc: 
        Subject:        Re: [platform-ui-dev] Editor tabs


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

_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
http://dev.eclipse.org/mailman/listinfo/platform-ui-dev





Back to the top