-
Sébastien Wilmet authored
It's the standard keyboard shortcut for tab switching in a GtkNotebook. But it is/was used by GtkTextView and GtkScrolledWindow: https://bugzilla.gnome.org/show_bug.cgi?id=705648 So force the keyboard shortcut on the latexila side.
76a9f598