From e0f1ae3ed9743b59c405d9a9e68495246006feb7 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 16 Sep 2010 05:14:05 -0600 Subject: [PATCH] enable scrolling to extra tabs in a tabl panel original commit: 4d03f3ab3c417f9967db1950cf577505bf8d87e3 --- collects/mred/private/wx/gtk/tab-panel.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/mred/private/wx/gtk/tab-panel.rkt b/collects/mred/private/wx/gtk/tab-panel.rkt index b0985916..75ad7e1d 100644 --- a/collects/mred/private/wx/gtk/tab-panel.rkt +++ b/collects/mred/private/wx/gtk/tab-panel.rkt @@ -19,6 +19,7 @@ (define-gtk gtk_notebook_append_page (_fun _GtkWidget _GtkWidget (_or-null _GtkWidget) -> _void)) (define-gtk gtk_notebook_remove_page (_fun _GtkWidget _int -> _void)) +(define-gtk gtk_notebook_set_scrollable (_fun _GtkWidget _gboolean -> _void)) (define-gtk gtk_notebook_get_current_page (_fun _GtkWidget -> _int)) (define-gtk gtk_notebook_set_current_page (_fun _GtkWidget _int -> _void)) @@ -52,6 +53,8 @@ ;; Reparented so that it's always in the current page's bin: (define client-gtk (gtk_fixed_new)) + (gtk_notebook_set_scrollable gtk #t) + (super-new [parent parent] [gtk gtk] [client-gtk client-gtk]