I'm affected by this bug as well. It's really disturbing my workflow, since gedit behaves differently from other apps such as gnome-terminal. Having that said, I consider this a bug (with low severity though) as it's a bad and not consistent userexperience.
In order to argue upstream about that, do you have any references handy? -- Cannot switch between tabs with Ctrl-Page up/down https://bugs.launchpad.net/bugs/34150 You received this bug notification because you are a member of Ubuntu Bugs, which is a direct subscriber. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs