миникарта больше не доступна в gedit
Я недавно установил Ubuntu 20.04. Все отлично работает Я хотел настроить gedit, но был удивлен, что опция мини-карты больше не доступна.
Как ее вернуть?
OS: Ubuntu 20.04
Gnome Version: 3.36.2
Windowing System: X11
gedit version: 3.36.2
2
задан singrium
25 June 2020 в 13:09
поделиться
1 ответ
В 18.04 LTS с Gedit 3.28.1 эта опция называлась «Показать обзорную карту», управлялась соответствующей настройкой GSettings / Dconf:
gsettings set org.gnome.gedit.preferences.editor display-overview-map true
, но в 20.04 LTS эта опция не существует на уровне исходного кода.
Это было указано в коммите от 2019-11-19 с основной идеей «упростить код gedit».
Поэтому эта функциональность была удалена вышестоящим пользователем.
Возможно, вы захотите найти обходной путь в отчете об ошибке в GNOME GitLab - установите пользовательский плагин :
sudo apt-get install git
mkdir -p ~/.local/share/gedit/plugins/
cd ~/.local/share/gedit/plugins/
git clone https://github.com/johnfactotum/gedit-restore-minimap.git restore-minimap
Затем откройте Gedit Предпочтения , перейдите к Плагины и установите флажок Восстановить миникарту .
2
ответ дан
30 July 2020 в 22:20
поделиться