Upon upgrading from Ubuntu 18.04 to Ubuntu 18.10 something happened to Gedit:
- Its icon disappeared from my favorites (the only one doing so)
- It doesn't appear anymore on the apps grid
- Though it's installed I can't launch it from the Software Center
The only way I can launch it is from the terminal and then I get a pixelized icon which I can't add/pin it to my favorites.
I tried:
- Removing/purging and re-installing (with Software Center and Terminal)
- Make a soft link of
/usr/bin/gedit
and pin it but it didn't work - In
dconf org.gnome.gedit
(plugins, state, prefs) I didn't find any value or a key concerning this problem - saw this workaround but it doesn't solve the UI problem.
I didn't try snap because I prefer it to stick with PPA (I generally use snap for only for "special" app)
EDIT (17/11/18):
- My file manager is Nemo 3.9.0 and to prevent collisions I've removed Nautilus which comes default with Ubuntu.
- I use Communitheme and Suru as the applications and icons appearance themes respectively
Any suggestions will be welcomed
Thanks
Not sure which version you upgraded from but when I upgraded from 16.04 to 18.04 I thought I had lost gedit as well. It turns out that I didn't. It's not listed as gedit in the application menu, it's listed as "Text Editor".
The answer lies within the body of the question.
In Ubuntu 18.10 gedit was replaced by a Snap package called "Text Editor" to be GNOME's "official" text editor.
AFAIK there is no other option to grab it from the UI.