Как очистить историю поиска и замены gedit и других редакторов?

Я начал работать над новым проектом, используя gedit в Ubuntu 12.04. Проблема, с которой я сейчас сталкиваюсь, заключается в том, что все ранее найденные термины все еще остаются, когда я нажимаю стрелку раскрывающегося списка в окне поиска меню поиска и замены, и мне приходится выбирать из длинного списка поисковых терминов.

Как очистить историю поиска и замены? enter image description here

2
задан 8 June 2013 в 19:25

3 ответа

введите в терминале:

, где gedit.history

, тогда вы найдете пути, где файл истории находится и связан.

0
ответ дан 8 June 2013 в 19:25

Элементы поиска хранятся в gsettings / dconf. Файл ~ / config / dconf / user нельзя редактировать, поэтому используйте dconf-editor. Перейти к org.gnome.gedit.state.history-entry & amp; удалить по желанию или сбросить по умолчанию ['']

или из cli

gsettings set org.gnome.gedit.state.history-entry search-for-entry "['']"

для предыдущих заменяемых элементов

gsettings set org.gnome.gedit.state.history-entry replace-with-entry "['']"
0
ответ дан 8 June 2013 в 19:25

И для pluma (текстовый редактор mate, который является форком gedit 2)

0
ответ дан 8 June 2013 в 19:25

Другие вопросы по тегам:

Похожие вопросы: