Ubuntu
gedit-plugins package

  1. Bug #1000193
  2. Comment #4

Comment 4 for bug 1000193

Revision history for this message
Jeremy Bícha (jbicha) wrote :

Ctrl+mouse wheel now works with gedit-plugins 3.5.1-0ubuntu1.

Ctrl++ (or Ctrl+Shift+=) works here on my en-US keyboard, but Ctrl+= does not. I filed a GTK bug for that feature request:
https://bugzilla.gnome.org/682186