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 {
    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

Answer 3

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