Dave Peticolas <[EMAIL PROTECTED]> writes:
> That is what GnomeMDI is supposed to do -- allow the user to choose
> between windows or tabbed panes.
Nice idea. Make everybody happy. We can't have that.
--
Rob Browning <[EMAIL PROTECTED]> PGP=E80E0D04F521A094 532B97F5D64E3930
Rob Browning writes:
>
> Oh, and WRT tabs, in theory I'm not a big fan when they're used as a
> primary interface element. In those cases, it seems like they're used
> in places where I'd really rather my window manager be in charge of
> things, but I'd be happy to be proven wrong. Also, there'
(This was originally to Robert and the list, but the list copy
bounced (pilot error), so here it is again...)
I saw your discussion on IRC about the main window (tabs vs new
windows, etc.) and I just thought I'd mention that Bill and I had a
similar discussion the other day. I had been sorta t