What | Removed | Added |
---|---|---|
Flags | needinfo?(hvdheuvel@suse.com) |
Created attachment 767500 [details]
Gedit screenshot
I do not even get a Preferences option, nor any reference to activate any
plugin.
This is neither to be found under 'View' or 'Tools' nor hidden elsewhere in
gedit