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

gtk: fix `get-focus-window' in frame%

Browse Source 
Closes PR 11654

original commit: e331f1bce26b0aa23dd0c89fcec62280fe82dd66
This commit is contained in:
Matthew Flatt 2011-01-21 06:31:07 -07:00
parent b8f668ea3a
commit fa807f509a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/mred/private/wx/gtk/frame.rkt
View File

@ -51,7 +51,7 @@
(define-gtk gtk_window_set_gravity (_fun _GtkWindow _int -> _void))
(define-gtk gtk_window_set_icon_list (_fun _GtkWindow _GList -> _void))
(define-gtk gtk_window_fullscreen (_fun _GtkWindow -> _void))
(define-gtk gtk_window_get_focus (_fun _GtkWindow -> _GtkWidget))
(define-gtk gtk_window_get_focus (_fun _GtkWindow -> (_or-null _GtkWidget)))
(define-gtk gtk_window_resize (_fun _GtkWidget _int _int -> _void))