X11 window resize

2012-10-28 23:49:51 +01:00 · 2012-10-28 23:49:51 +01:00 · 8948e8a455
parent b023ebf7a5
commit 8948e8a455
1 changed files with 2 additions and 0 deletions
--- a/basis/ui/backend/x11/x11.factor
+++ b/basis/ui/backend/x11/x11.factor
@ -416,3 +416,5 @@ x11-ui-backend ui-backend set-global

 M: x11-ui-backend ui-backend-available?
    "DISPLAY" os-env >boolean ;
+
+M: x11-ui-backend resize-window [ dpy get ] 2dip [ handle>> window>> ] [ first2 ] bi* XResizeWindow drop ;