summaryrefslogtreecommitdiffstats
path: root/src/tab-chrome.c
diff options
context:
space:
mode:
authorPatrick McDermott <pj@pehjota.net>2017-09-20 17:08:12 (EDT)
committer Patrick McDermott <pj@pehjota.net>2017-09-20 17:15:10 (EDT)
commit90686faaa5927f03335a23526d8a6313242adb39 (patch)
tree8c8135d0b5cc1bc410c93f94c8acc323faf6d37d /src/tab-chrome.c
parent922cdef53495323446a5fed31065d9338876e8d4 (diff)
downloadmarquee-90686faaa5927f03335a23526d8a6313242adb39.zip
marquee-90686faaa5927f03335a23526d8a6313242adb39.tar.gz
marquee-90686faaa5927f03335a23526d8a6313242adb39.tar.bz2
src/tab-chrome.c: Add a scrollbar to tab history text stack
Make sure that, if a vertical scrollbar is added, a horizontal one doesn't also have to be added.
Diffstat (limited to 'src/tab-chrome.c')
-rw-r--r--src/tab-chrome.c11
1 files changed, 9 insertions, 2 deletions
diff --git a/src/tab-chrome.c b/src/tab-chrome.c
index bdc3467..997c774 100644
--- a/src/tab-chrome.c
+++ b/src/tab-chrome.c
@@ -130,6 +130,7 @@ back_forward_box_button_press_cb(GtkWidget *widget, GdkEvent *event,
GtkTextTag *text_tag;
GtkWidget *list_scrolled_window;
GtkWidget *text_scrolled_window;
+ GtkWidget *text_box;
GtkWidget *text_stack;
GtkWidget *stack;
GtkWidget *toggle_button;
@@ -220,12 +221,18 @@ back_forward_box_button_press_cb(GtkWidget *widget, GdkEvent *event,
GTK_SCROLLED_WINDOW(text_scrolled_window), TRUE); */
gtk_container_add(GTK_CONTAINER(text_scrolled_window), text_view);
+ /* Set up the text box. */
+ text_box = gtk_box_new(GTK_ORIENTATION_HORIZONTAL, 0);
+ gtk_box_pack_start(GTK_BOX(text_box),
+ gtk_text_view_new_with_buffer(text_buffer), FALSE, FALSE, 0);
+ gtk_box_pack_start(GTK_BOX(text_box), gtk_scrollbar_new(
+ GTK_ORIENTATION_VERTICAL, NULL), FALSE, FALSE, 0);
+
/* Set up the text stack. */
text_stack = gtk_stack_new();
gtk_stack_add_named(GTK_STACK(text_stack), text_scrolled_window,
"scrollable");
- gtk_stack_add_named(GTK_STACK(text_stack),
- gtk_text_view_new_with_buffer(text_buffer), "non-scrollable");
+ gtk_stack_add_named(GTK_STACK(text_stack), text_box, "non-scrollable");
/* Set up the stack. */
stack = gtk_stack_new();