Hi all,
what is the standard, simple, way to add some padding inside a GtkTextView?
These functions work nice:
gtk_text_view_set_left_margin (GTK_TEXT_VIEW (text), 10);
gtk_text_view_set_right_margin (GTK_TEXT_VIEW (text), 10);
but no equivalent functions seem to exist for top, bottom
(gtk_text_view_set_border_window_size adds space outside, not inside as
I wish).
Thanks,
Carlos
_______________________________________________
gtk-app-devel-list mailing list
gtk-app-devel-list@gnome.org
http://mail.gnome.org/mailman/listinfo/gtk-app-devel-list