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
** Changed in: gedit-plugins (Ubuntu)
Status: Confirmed => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1000193
Title:
Text Size plugin for Gedit does not work properly
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gedit-plugins/+bug/1000193/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
