ui: cleanup

diff --git a/basis/ui/ui.factor b/basis/ui/ui.factor
index fad774cbcc9b9cfe7a85e944591ad757821d8f05..68bb064328d1769d501494859b99ce399b026583 100644 (file)
--- a/basis/ui/ui.factor
+++ b/basis/ui/ui.factor
@@ -81,6 +81,9 @@ M: world graft*
         [ [ clean-up-broken-window ] [ ui-error ] bi* ] recover
     ] bi ;
 
+: dispose-window-resources ( world -- )
+    [ <reversed> [ [ dispose ] when* ] each V{ } clone ] change-window-resources drop ;
+
 M: world ungraft*
     {
         [ set-gl-context ]
@@ -89,7 +92,7 @@ M: world ungraft*
         [ hand-clicked close-global ]
         [ hand-gadget close-global ]
         [ end-world ]
-        [ [ <reversed> [ [ dispose ] when* ] each V{ } clone ] change-window-resources drop ]
+        [ dispose-window-resources ]
         [ unfocus-world ]
         [ [ (close-window) f ] change-handle drop ]
         [ promise>> t swap fulfill ]