Re: [gedit-list] Switching of tabs with Ctrl+Tab and "internal recency list"

[Frederic Back <fredericback gmail com>]

Adam,

overriding <ctrl>tab is a no-no for GTK and especially for GNOME
programs. You might not use this combination, but others do. It's a
requirement for certain disabilities.

Besides, I don't think that your workflow is a very common one. It
certainly isn't mine: I'm very happy with the <alt>+digit bindings,
which feels a bit like switching workspaces in certain other window
managers.

Since you explicitly said that you don't want to change your workflow, a
plugin is the right way to go. Feel free to modify the stub I posted,
add a recency list, and find better key bindings for it.

Fred


On Thu, 2007-02-15 at 08:02 -0800, renergy wrote:
> Dear Steve,
> 
> the crucial point of my post was meant to be the "recency list"
> functionality, which the current GNOME (and Gedit) misses.
> 
> I don't use Ctrl+Tab anywhere in GNOME programs (I use it in Opera, where it
> switches tabs (and also has the recency list :-)). So naturally I think (and
> wanted to stress too) that this great shortcut is wasted now.
> 
> I don't understand why it can't be changed.
> 
> Best regards,
> Adam
> 
> 
> 
> Steve Fr�naux wrote:
> > 
> > On Thu, 2007-02-15 at 02:44 -0800, renergy wrote:
> > 
> >> Ctrl+Tab should (in Gedit) switch between tabs like Alt+Tab switches
> >> between
> >> windows on (e.g.) Metacity!
> > 
> >> Could, please. someone participating in the development of Gedit consider
> >> implementning this functionality and shortcut in Gedit?
> > 
> > We won't do that. Ctrl+tab is used to cycle through widgets. It's an
> > accessibility feature that can't be removed. The shortcut the HIG
> > promote is, as you write, (shift-)ctrl+pgup/pgdn. I agree it's probably
> > not the kindest shortcut but ctrl+tab won't be used for that purpose,
> > I'm sorry.
> > 
> > There is no point discussing that until someone brings a real suggestion
> > instead of always hammering the same point, that will be refused again
> > and again...
> > 
> > _______________________________________________
> > gedit-list mailing list
> > gedit-list gnome org
> > http://mail.gnome.org/mailman/listinfo/gedit-list
> > 
> > 
>