diff options
author | randomguy3 <randomguy3@7c02a99a-9b00-45e3-bf44-6f3dd7fddb64> | 2012-01-09 17:03:18 +0000 |
---|---|---|
committer | randomguy3 <randomguy3@7c02a99a-9b00-45e3-bf44-6f3dd7fddb64> | 2012-01-09 17:03:18 +0000 |
commit | 3344155b2ec7fc396cf6299861653fc639982599 (patch) | |
tree | b4303b6283cb5b67bb59b01bcd8c9007334d2cb4 | |
parent | db6c92dfd731c482afd9bb0b6ef5d0a827e98f3a (diff) |
GTK: Add some padding to the tikz editor
git-svn-id: https://tikzit.svn.sourceforge.net/svnroot/tikzit/trunk@373 7c02a99a-9b00-45e3-bf44-6f3dd7fddb64
-rw-r--r-- | tikzit/src/linux/MainWindow.m | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tikzit/src/linux/MainWindow.m b/tikzit/src/linux/MainWindow.m index a12b917..5e5a81a 100644 --- a/tikzit/src/linux/MainWindow.m +++ b/tikzit/src/linux/MainWindow.m @@ -641,6 +641,8 @@ static void update_paste_action (GtkClipboard *clipboard, GdkEvent *event, GtkAc gtk_widget_show (tikzScroller); tikzDisp = gtk_text_view_new_with_buffer (tikzBuffer); + gtk_text_view_set_left_margin (GTK_TEXT_VIEW (tikzDisp), 3); + gtk_text_view_set_right_margin (GTK_TEXT_VIEW (tikzDisp), 3); g_object_ref_sink (tikzDisp); gtk_widget_show (tikzDisp); gtk_container_add (GTK_CONTAINER (tikzScroller), tikzDisp); |