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

Update X11 UI backend

release
Slava Pestov 2007-11-24 16:29:13 -05:00
parent c17640f982
commit 3d17dbb433
1 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
extra/ui/x11/x11.factor
View File

@ -158,18 +158,14 @@ M: world selection-request-event
{ [ t ] [ drop send-notify-failure ] }
} cond ;
: close-window ( handle -- )
M: x11-ui-backend (close-window) ( handle -- )
dup x11-handle-xic XDestroyIC
dup x11-handle-glx destroy-glx
x11-handle-window dup unregister-window
destroy-window ;
M: world client-event
swap close-box? [
dup world-handle >r stop-world r> close-window
] [
drop
] if ;
swap close-box? [ ungraft ] [ drop ] if ;
: gadget-window ( world -- )
dup world-loc over rect-dim glx-window
@ -222,7 +218,7 @@ M: x11-ui-backend set-title ( string world -- )
world-handle x11-handle-window swap dpy get -rot
3dup set-title-old set-title-new ;
M: x11-ui-backend (open-world-window) ( world -- )
M: x11-ui-backend (open-window) ( world -- )
dup gadget-window
world-handle x11-handle-window dup set-closable map-window ;