From a72eb42459c4a43664931e93f7b7b5725d0533ba Mon Sep 17 00:00:00 2001 From: Erfan Kheyrollahi Qaroglu Date: Tue, 6 Sep 2022 17:36:00 +0430 Subject: [PATCH] set spacing so that page scroll does not overlap text --- src/window.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/window.c b/src/window.c index e84ed5c..0d1c68a 100644 --- a/src/window.c +++ b/src/window.c @@ -58,6 +58,7 @@ MainWin *create_main_window(void) gtk_box_pack_start(GTK_BOX(vbox), sw, TRUE, TRUE, 0); mw->view = create_text_view(); + gtk_container_set_border_width(GTK_CONTAINER(mw->view), 12); gtk_container_add(GTK_CONTAINER(sw), mw->view); mw->buffer = gtk_text_view_get_buffer(GTK_TEXT_VIEW(mw->view));