Ubuntu 18.10, Gedit 3.30.1 исчез из меню приложений
После обновления от Ubuntu 18.04 до Ubuntu 18.10 что-то произошло с Gedit:
- Его значок исчез из моего избранного (единственное, делающее так)
- Это больше не появляется на сетке приложений
- Хотя это установлено, я не могу запустить его от Центра программного обеспечения
Единственным путем я могу запуститься, это от терминала, и затем я получаю растрируемый значок, который я не могу добавить/прикрепить его к своему избранному.
Я попробовал:
- Удаление/чистка и переустановка (с Центром программного обеспечения и Терминалом)
- Сделайте гибкую ссылку
/usr/bin/geditи прикрепите его, но это не работало - В
dconf org.gnome.gedit(плагины, состояние, prefs) я не нашел значения или ключа относительно этой проблемы - видел это обходное решение, но оно не решает проблему UI.
Я не попробовал снимок, потому что я предпочитаю, чтобы это придерживалось PPA (я обычно использую снимок для только для "специального" приложения),
РЕДАКТИРОВАНИЕ (17/11/18):
- Моим файловым менеджером является Немо 3.9.0 и предотвратить коллизии, я удалил Наутилус, который прибывает значение по умолчанию с Ubuntu.
- Я использую Communitheme и Suru как приложения и темы появления значков соответственно
Любые предложения будут одобрены
Спасибо
2 ответа
Не уверенный, от какой версии Вы обновили, но когда я обновил от 16,04 до 18,04, я думал, что потерял gedit также. Оказывается, что я не сделал. Это не перечислено как gedit в меню приложения, это перечислено как "Текстовый редактор".
Ответ заключается в теле вопроса.
В Ubuntu 18.10 gedit был заменен Поспешным пакетом под названием "Текстовый редактор", чтобы быть "официальным" текстовым редактором GNOME.
AFAIK там не является никакой другой опцией захватить его от UI.
