Я начал работать над новым проектом, используя gedit
в Ubuntu 12.04. Проблема, с которой я сейчас сталкиваюсь, заключается в том, что все ранее найденные термины все еще остаются, когда я нажимаю стрелку раскрывающегося списка в окне поиска меню поиска и замены, и мне приходится выбирать из длинного списка поисковых терминов.
Как очистить историю поиска и замены?
введите в терминале:
, где gedit.history
, тогда вы найдете пути, где файл истории находится и связан.
Элементы поиска хранятся в 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 "['']"
И для pluma (текстовый редактор mate, который является форком gedit 2)