GtkTextView margen superior/inferior?

Question

Me gustaría saber la forma correcta y generalmente aceptada de agregar un margen superior e inferior a un GtkTextView que está dentro de un GtkScrolledWindow. Hay funciones para establecer el margen izquierdo y derecho, que estoy usando:

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); 

Pero me parece que no puede encontrar ninguna documentación en la parte superior e inferior. He intentado cambiar el ancho del borde del GtkTextView con gtk_container_set_border_width pero el borde no está pintado con el color de fondo del GtkTextView.

Básicamente, lo que tengo está a la izquierda y lo que quiero está a la derecha.

Answer 1

Se debe utilizar CSS para esto las cosas en GTK + 3:

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

Tal vez usted puede utilizar el view class:

.view { 
    padding: 3px; 
} 

O solamente aplicar el estilo a la GtkTextView:

GtkTextView { 
    padding: 3px; 
} 

Answer 2

Estoy usando Ubuntu Natty con gtk + -3.2.3. y esas propiedades de CSS no tienen ningún efecto por alguna razón.

Pero se puede utilizar: gtk_text_view_set_border_window_size()

Junto con: GTK_TEXT_WINDOW_TOP y GTK_TEXT_WINDOW_BOTTOM

Y el color del borde coincidirá con el fondo de la GtkTextView.

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

Answer 3

sólo tenía que resolver problema similar y anidado en la vista de texto GtkAlignment - que me dio una opción para establecer el relleno de todos los lados.