On Wed, May 09, 2007 at 11:16:34AM +0200, Gilles Dartiguelongue wrote: > Le mardi 08 mai 2007 à 21:09 +0200, Paul van Tilburg a écrit : > > I see this happens a lot; also in other applications. Plugins are, when > > enabled, part of the app. Some plugins might have preferences, but this > > can not be accessed via the Preferences menu item, where one > > instinctively looks. > > To me, which plugins are enabled and disabled is a preference. Plugins > > extend toolbars if they have toolbaar buttns, they extend the sources > > list if they provide a source. Therefore, they should extend the > > Preferences menu if they can be configured somehow. So... maybe a > > merge of the two would be a nice idea. Thoughts? > > does something like what gedit does would satisfy this criterion ?
Indeed, I found it immediately although I never use it. Though I don't see why it can add or extend already existing tabs? One objection might be that the tab-navigation may become bothersome when there are a lot of tabs (the whole tab-browse-arrows issue). Paul P.S. I replied to the list again. -- Student @ Eindhoven | email: [EMAIL PROTECTED] University of Technology, The Netherlands | JID: [EMAIL PROTECTED] >>> Using the Power of Debian GNU/Linux <<< | GnuPG key ID: 0x50064181 _______________________________________________ rhythmbox-devel mailing list [email protected] http://mail.gnome.org/mailman/listinfo/rhythmbox-devel
