ide: Copying bold and size attributes for fonts
authorJerome St-Louis <jerome@ecere.com>
Fri, 15 Jul 2016 02:46:28 +0000 (22:46 -0400)
committerJerome St-Louis <jerome@ecere.com>
Thu, 28 Jul 2016 22:23:27 +0000 (18:23 -0400)
commit27411d3dbc9d19d846a8f427d231e0ac4ee17bc6
tree2d063186a959480ab5e749ff3b886518e6556754
parentecf5c49746f7472703264c74c3f631c750f7885f
ide: Copying bold and size attributes for fonts
ide/src/debugger/GDBDialog.ec
ide/src/designer/CodeEditor.ec
ide/src/ide.ec
ide/src/panels/OutputView.ec