ui.backend.cocoa.views: handle windowDidChangeBackingProperties event.

diff --git a/basis/ui/backend/cocoa/views/views.factor b/basis/ui/backend/cocoa/views/views.factor
index c8b6f88d9c8496f4ce0a1bc72019626329884208..cba6a9cda889e29d4bd611f463fb93d470d6051e 100644 (file)
--- a/basis/ui/backend/cocoa/views/views.factor
+++ b/basis/ui/backend/cocoa/views/views.factor
@@ -390,6 +390,17 @@ CLASS: FactorWindowDelegate < NSObject
         notification -> object -> contentView
         [ window ungraft ] [ unregister-window ] bi
     ]
+
+    METHOD: void windowDidChangeBackingProperties: id notification
+    [
+
+        notification -> object dup SEL: backingScaleFactor
+        -> respondsToSelector: c-bool> [
+            SEND: backingScaleFactor execute( x x -- x )
+            [ gl-scale-factor set-global ]
+            [ 1.0 > retina? set-global ] bi
+        ] [ drop ] if
+    ]
 ]
 
 : install-window-delegate ( window -- )