diff options
| author | defanor <defanor@uberspace.net> | 2019-10-04 21:22:24 +0300 |
|---|---|---|
| committer | defanor <defanor@uberspace.net> | 2019-10-04 21:22:24 +0300 |
| commit | 6030109eb4e52adf8a1827d4e9292695a2a0884f (patch) | |
| tree | 5a24268315c2ef2b2b4291cd031fef869b3ada2f /src | |
| parent | 153125149d217d866d6347f76f65345db46257c2 (diff) | |
Add padding around documents
Docbox border is set to 4, so that there is a little space between
texts and window borders.
Diffstat (limited to 'src')
| -rw-r--r-- | src/browserbox.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/browserbox.c b/src/browserbox.c index 9179ad1..555fd96 100644 --- a/src/browserbox.c +++ b/src/browserbox.c @@ -1414,7 +1414,9 @@ BrowserBox *browser_box_new (gchar *uri_str) bb->docbox_root = gtk_box_new(GTK_ORIENTATION_VERTICAL, 0); gtk_container_add (GTK_CONTAINER(bb), bb->docbox_root); - gtk_box_set_child_packing(GTK_BOX(bb), bb->docbox_root, TRUE, TRUE, 0, GTK_PACK_START); + gtk_box_set_child_packing(GTK_BOX(bb), bb->docbox_root, TRUE, TRUE, + 0, GTK_PACK_START); + gtk_container_set_border_width(GTK_CONTAINER(bb->docbox_root), 4); bb->status_bar = gtk_statusbar_new(); gtk_container_add (GTK_CONTAINER(bb), bb->status_bar); |