GtkTextView верхнее/нижнее поле?

Question

Я хотел бы знать правильный и общепринятый способ добавления верхнего и нижнего полей в GtkTextView, который находится внутри GtkScrolledWindow. Есть функции, чтобы установить левый и правый край, который я использую:

gtk_text_view_set_left_margin(GTK_TEXT_VIEW(editor_text_view), 2); 
gtk_text_view_set_right_margin(GTK_TEXT_VIEW(editor_text_view), 2); 

Но я не могу найти любую документацию на верхней и нижней части. Я попытался изменить ширину границы GtkTextView с gtk_container_set_border_width, но граница не окрашена цветом фона GtkTextView.

В принципе - то, что у меня есть, слева, а то, что я хочу, находится справа.

Answer 1

Вы должны использовать CSS для этого вещи в GTK + 3:

http://developer.gnome.org/gtk3/3.3/GtkCssProvider.html

Может быть, вы можете использовать view class:

.view { 
    padding: 3px; 
} 

Или только применить стиль к GtkTextView:

GtkTextView { 
    padding: 3px; 
} 

Answer 2

Я использую Ubuntu Natty с gtk + -3.2.3. и эти свойства CSS по какой-то причине не влияют.

Но вы можете использовать: gtk_text_view_set_border_window_size()

Наряду с: GTK_TEXT_WINDOW_TOP и GTK_TEXT_WINDOW_BOTTOM

и граница цвета будет соответствовать фоне GtkTextView.

http://developer.gnome.org/gtk3/3.4/GtkTextView.html#gtk-text-view-set-border-window-size

Answer 3

я просто должен был решить подобный вопрос, и я вложенное представление текста в GtkAlignment - это дало мне возможность установить отступы для всех сторон.