steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ui.backend.gtk: simplify.

locals-and-roots
John Benediktsson 2016-03-29 20:52:49 -07:00
parent 1721f9e314
commit d3990d1eeb
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
basis/ui/backend/gtk/gtk.factor
View File

@ -14,8 +14,7 @@ IN: ui.backend.gtk
SINGLETON: gtk-ui-backend
TUPLE: handle ;
TUPLE: window-handle < handle window fullscreen? im-context ;
TUPLE: window-handle window fullscreen? im-context ;
: <window-handle> ( window im-context -- window-handle )
window-handle new
@ -486,7 +485,8 @@ M: gtk-ui-backend (close-window) ( handle -- )
window>> [ gtk_widget_destroy ] [ unregister-window ] bi
event-loop? [ gtk_main_quit ] unless ;
M: gtk-ui-backend resize-window [ handle>> window>> ] [ first2 ] bi* gtk_window_resize ;
M: gtk-ui-backend resize-window
[ handle>> window>> ] [ first2 ] bi* gtk_window_resize ;
M: gtk-ui-backend set-title
swap [ handle>> window>> ] [ utf8 string>alien ] bi*
@ -547,7 +547,7 @@ M: gtk-ui-backend (with-ui)
] with-destructors
] ui-running ;
os unix? os macosx? not and [
os linux? [
gtk-ui-backend ui-backend set-global
] when