From 3e9dd9e09ea1d69476041c624edb3a4c2b36e87d Mon Sep 17 00:00:00 2001
From: Jerome St-Louis <jerome@ecere.com>
Date: Thu, 4 Aug 2016 10:57:36 -0400
Subject: [PATCH] ide/CodeEditor: Fixed bad font when applying new font - Was
 causing margin to be reduced

---
 ide/src/ide.ec | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/ide/src/ide.ec b/ide/src/ide.ec
index 815c3b0..766f5a6 100644
--- a/ide/src/ide.ec
+++ b/ide/src/ide.ec
@@ -461,8 +461,12 @@ class IDEWorkSpace : Window
          for(ce = (CodeEditor)firstChild; ce; ce = (CodeEditor)ce.next)
             if(ce._class == class(CodeEditor))
             {
-               ce.font = { codeFont.faceName, codeFont.size, codeFont.bold, codeFont.italic };
-               ce.editBox.font = ce.font;
+               FontResource font;
+               font = { codeFont.faceName, codeFont.size, codeFont.bold, codeFont.italic };
+               incref font;
+               delete *&ce.font;
+               *&ce.font = font;
+               ce.editBox.font = font;
                ce.OnPostCreate();
             }
       }
-- 
1.8.3.1