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

Add resize-window and relayout-window

db4
Jon Harper 2012-09-08 14:33:22 +02:00 committed by John Benediktsson
parent 44cb0106cc
commit b023ebf7a5
2 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -479,6 +479,8 @@ M: gtk-ui-backend (close-window) ( handle -- )
window>> [ gtk_widget_destroy ] [ unregister-window ] bi window>> [ gtk_widget_destroy ] [ unregister-window ] bi
event-loop? [ gtk_main_quit ] unless ; event-loop? [ gtk_main_quit ] unless ;
M: gtk-ui-backend resize-window [ handle>> window>> ] [ first2 ] bi* gtk_window_resize ;
M: gtk-ui-backend set-title M: gtk-ui-backend set-title
swap [ handle>> window>> ] [ utf8 string>alien ] bi* swap [ handle>> window>> ] [ utf8 string>alien ] bi*
gtk_window_set_title ; gtk_window_set_title ;

7
basis/ui/ui.factor
View File

@ -214,6 +214,13 @@ M: object close-window
<flag> ui-notify-flag set-global <flag> ui-notify-flag set-global
] "ui" add-startup-hook ] "ui" add-startup-hook
HOOK: resize-window ui-backend ( world dim -- )
M: object resize-window 2drop ;
: relayout-window ( gadget -- )
[ relayout ]
[ find-world [ dup pref-dim resize-window ] when* ] bi ;
: with-ui ( quot: ( -- ) -- ) : with-ui ( quot: ( -- ) -- )
ui-running? [ call( -- ) ] [ '[ init-ui @ ] (with-ui) ] if ; ui-running? [ call( -- ) ] [ '[ init-ui @ ] (with-ui) ] if ;