Re: desktop interface preference: tabbed_mdi_edge_position
- From: "Manuel Amador (Rudd-O)" <amadorm usm edu ec>
- To: MArk Finlay <sisob eircom net>
- Cc: Havoc Pennington <hp redhat com>, Yanko Kaneti <yaneti declera com>, desktop-devel-list gnome org
- Subject: Re: desktop interface preference: tabbed_mdi_edge_position
- Date: Wed, 19 Feb 2003 15:45:25 -0500
good idea.
MArk Finlay wrote:
On Mon, 2003-02-17 at 22:18, Havoc Pennington wrote:
On Tue, Feb 18, 2003 at 12:11:04AM +0200, Yanko Kaneti wrote:
Would it be wise and timely to include this (or some other variation of
the name) in desktop_gnome_interface.schemas from libgnome?
Can someone explain to me why people want to change which side their
tabs are on?
I've always wanted tabs to automagically move to the right of the window
when there are too many to fit horizontally.
I've never seen anyone using anything but top tabs...
Havoc
_______________________________________________
desktop-devel-list mailing list
desktop-devel-list gnome org
http://mail.gnome.org/mailman/listinfo/desktop-devel-list
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]