Кажется, что размер исходных меток, отображаемых с помощью GtkSourceGutterRenderer
, удаленно привязан к размеру текста в GtkSourceView
. Я хочу иметь более крупные пиксельные буферы, не увеличивая размер шрифта текста, и для этого я пришел к выводу, что нужно создать подкласс виджета и переопределить его draw
обработчик сигнала.
Однако я понятия не имею, какой виджет для подкласса. Неужели один из вас знает?