Ubuntu
gedit-plugins package

  1. Bug #1866565
  2. Comment #12

Comment 12 for bug 1866565

Revision history for this message
Naël (nathanael-naeri) wrote :

A fix has been committed upstream and is now part of the new release for gedit-plugins, 3.36.1. How does it work for it to enter Ubuntu, does it need to enter Debian first?

(@Reinhard you can also edit keys using the command-line gsettings tool, e.g. "gsettings reset org.gnome.gedit.plugins active-plugins")