Eh, I don't know, but this can't be a viewport switcher plugin bug, can it?
the viewport plugin should recieve the 4/5 mouse button events from the *desktop*, and not from the GTK widget backgrounds - so IMO this is a bug in GTK+, not?
(I'm no GTK programmer, that's just my plain - and perhaps wrong - logic...)
Eh, I don't know, but this can't be a viewport switcher plugin bug, can it?
the viewport plugin should recieve the 4/5 mouse button events from the *desktop*, and not from the GTK widget backgrounds - so IMO this is a bug in GTK+, not?
(I'm no GTK programmer, that's just my plain - and perhaps wrong - logic...)