From 55122940756d0324ad3dccc8a6e297c033ac9c18 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 21 Apr 2013 19:40:57 -0700
Subject: [PATCH] ui.backend.cocoa.views: handle
 windowDidChangeBackingProperties event.

---
 basis/ui/backend/cocoa/views/views.factor | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/basis/ui/backend/cocoa/views/views.factor b/basis/ui/backend/cocoa/views/views.factor
index c8b6f88d9c..cba6a9cda8 100644
--- 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 -- )