Advertising

> (I guess an option to disable TAB to switch between controls in the dock
> windows - which I personally never need, since I navigate the docks with
> the mouse - isn't an option, is it?)
That is already possible using the existing infrastructure to redefine
key-bindings in GTK+ applications. Just add something like this to your
~/.gimp-2.5/gtkrc file:
binding "no-tab" {
unbind "Tab"
unbind "<Control>Tab"
}
class "GtkWindow" binding "no-tab"
Sven
_______________________________________________
Gimp-developer mailing list
Gimp-developer@lists.XCF.Berkeley.EDU
https://lists.XCF.Berkeley.EDU/mailman/listinfo/gimp-developer