GtkTextView margine superiore/inferiore?

Question

Vorrei sapere il modo corretto e generalmente accettato di aggiungere un margine superiore e inferiore a un GtkTextView all'interno di uno GtkScrolledWindow. Ci sono funzioni per impostare il margine sinistro e destro, che sto 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); 

Ma io non riesco a trovare alcuna documentazione sulla parte superiore e inferiore. Ho provato a modificare la larghezza del bordo dello con gtk_container_set_border_width ma il bordo non è dipinto con il colore di sfondo dello GtkTextView.

Fondamentalmente - quello che ho è a sinistra e quello che voglio è a destra.

Answer 1

Si dovrebbe usare i CSS per questo le cose in GTK + 3:

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

forse è possibile utilizzare il view class:

.view { 
    padding: 3px; 
} 

o si applicano solo lo stile al GtkTextView:

GtkTextView { 
    padding: 3px; 
} 

Answer 2

Sto usando Ubuntu Natty con gtk + -3.2.3. e quelle proprietà CSS non hanno alcun effetto per qualche motivo.

Ma è possibile utilizzare: gtk_text_view_set_border_window_size()

Insieme con: GTK_TEXT_WINDOW_TOP e GTK_TEXT_WINDOW_BOTTOM

E il colore del bordo corrisponderà lo sfondo del GtkTextView.

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

Answer 3

ho dovuto risolvere i problema analogo e mi nidificato la vista testo in GtkAlignment - che mi ha dato la possibilità di impostare padding per tutte le parti.