Как я увеличиваю дополнение в Gedit?

Я хотел бы добавить некоторое дополнение в области редактирования в Gedit. Вот иллюстрация желаемого результата:

illustration of the desired result

У меня есть интуиция, которую должно быть легко сделать с приемом, подобным этому, я уже использую для добавления дополнения в Терминале Gnome:

дополнение увеличения в терминале гнома

Однако я не могу найти, что надлежащие селекторы CSS делают это.

Вот то, что я нашел до сих пор:

4
задан 16 December 2018 в 19:36

1 ответ

GTK_DEBUG=interactive gedit

После ввода по абсолютному адресу вокруг я нашел селектор, который работает с gedit в Ubuntu 18.04:

.gedit-view {
    padding: 10px;
}
3
ответ дан 1 December 2019 в 09:59

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

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