плагин Gedit, чтобы выделить все случаи выбора

Используя gedit 3, я попробовал несколько плагинов, чтобы выделить все экземпляры текущего выделения (например, Notepad ++):

https://code.google.com/p/smart- highlighting-gedit /

https://github.com/mmuell23/mmuell23

Кажется, что умная подсветка установлена ​​и позволяет мне активировать ее, но, похоже, на самом деле ничего не делает.

Тот, что на GitHub был написан для v2. Чтобы попытаться взломать его в v3, я попытался:

  • изменить .gedit-plugin на .plugin
  • , изменить IAge=2 и прочитать IAge=3
  • [ 1117]

    Этот по-прежнему не загружается (не отображается в списке prefs->plugins). Не выдает ошибку, просто не загружается. Я также нигде не могу найти логи gedit, чтобы увидеть, есть ли полезное сообщение (я относительно новичок в Linux). Я проверил /var/logs/, но гедита нет.

    1116 Кто-нибудь может помочь? Я просто хочу, чтобы авто-подсветка работала.

6
задан 26 September 2013 в 20:52

3 ответа

Вам не нужен какой-либо плагин для выделения всех экземпляров выделения в gedit. Выберите интересующий вас текст, затем просто нажмите Ctrl + F (чтобы найти все экземпляры этого выделенного текста):

gedit - highlight text [ 116]


Теперь позвольте мне дать вам несколько пояснений по поводу этих плагинов. Во-первых, smart-highlighting работает как обаяние для меня. Как я сделал:

Второй плагин, он для gedit2.x и finish. Недостаточно простого взлома, как вы пытались.

[ОБНОВЛЕНИЕ]

Работает, только если установлено на ~/.local/share/gedit/plugins/. Подробнее в комментариях.

0
ответ дан 26 September 2013 в 20:52

Этот плагин делает то, что вы хотите, просто следуйте инструкциям там: https://github.com/mmuell23/mmuell23

0
ответ дан 26 September 2013 в 20:52

Я использую Ubuntu 19.04, gedit 3.32 и gedit-плагины, которые имеют сменное "Быстрое выделение":

$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description:    Ubuntu 19.04
Release:    19.04
Codename:   disco

$ gedit --version
gedit - Version 3.32.0

sudo apt install gedit-plugins

и затем вручную включают его в Предпочтениях - Плагины

enable gedit plugin

0
ответ дан 9 October 2019 в 17:43

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

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