diff options
| author | Patrick McDermott <pj@pehjota.net> | 2017-09-20 16:47:27 (EDT) |
|---|---|---|
| committer | Patrick McDermott <pj@pehjota.net> | 2017-09-20 16:47:27 (EDT) |
| commit | 922cdef53495323446a5fed31065d9338876e8d4 (patch) | |
| tree | 2ef766da6d7a139138fcfe106941150859b1627d | |
| parent | e67e7f19253fdbb4c6f98dbe6fdf3715237dd75b (diff) | |
| download | marquee-922cdef53495323446a5fed31065d9338876e8d4.zip marquee-922cdef53495323446a5fed31065d9338876e8d4.tar.gz marquee-922cdef53495323446a5fed31065d9338876e8d4.tar.bz2 | |
src/tab-chrome.c: Hackishly enlarge tab history text scrolled window
| -rw-r--r-- | src/tab-chrome.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/tab-chrome.c b/src/tab-chrome.c index 0e12da5..bdc3467 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_stack; GtkWidget *stack; GtkWidget *toggle_button; GtkWidget *box; @@ -219,10 +220,17 @@ 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 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"); + /* Set up the stack. */ stack = gtk_stack_new(); gtk_stack_add_named(GTK_STACK(stack), list_scrolled_window, "list"); - gtk_stack_add_named(GTK_STACK(stack), text_scrolled_window, "text"); + gtk_stack_add_named(GTK_STACK(stack), text_stack, "text"); /* Set up the toggle button. */ toggle_button = gtk_toggle_button_new(); |