ide/CodeEditor: Fixed bad font when applying new font

- Was causing margin to be reduced

diff --git a/ide/src/ide.ec b/ide/src/ide.ec
index 815c3b0..766f5a6 100644 (file)
--- 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();
             }
       }