suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

enable scrolling to extra tabs in a tabl panel

Browse Source 
original commit: 4d03f3ab3c417f9967db1950cf577505bf8d87e3
This commit is contained in:
Matthew Flatt 2010-09-16 05:14:05 -06:00
parent 8bd418695f
commit e0f1ae3ed9
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/mred/private/wx/gtk/tab-panel.rkt
View File

@ -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]