Я хотел бы добавить некоторое дополнение в области редактирования в Gedit. Вот иллюстрация желаемого результата:
У меня есть интуиция, которую должно быть легко сделать с приемом, подобным этому, я уже использую для добавления дополнения в Терминале Gnome:
дополнение увеличения в терминале гнома
Однако я не могу найти, что надлежащие селекторы CSS делают это.
Вот то, что я нашел до сих пор:
.gedit-document-panel
селектор, но это только влияет на боковую панель, которую Вы открываете с F9GTK_DEBUG=interactive gedit
После ввода по абсолютному адресу вокруг я нашел селектор, который работает с gedit в Ubuntu 18.04:
.gedit-view {
padding: 10px;
}