ide/CodeEditor: Fixed bad font when applying new font
authorJerome St-Louis <jerome@ecere.com>
Thu, 4 Aug 2016 14:57:36 +0000 (10:57 -0400)
committerJerome St-Louis <jerome@ecere.com>
Thu, 4 Aug 2016 14:57:36 +0000 (10:57 -0400)
commit3e9dd9e09ea1d69476041c624edb3a4c2b36e87d
treee1d4e1793fbfbd85a6859922a44cc14c65df0470
parent4dcd178c144c44b52f38f5786f0a25e6eb6cd8ef
ide/CodeEditor: Fixed bad font when applying new font
- Was causing margin to be reduced
ide/src/ide.ec