ide: Copying bold and size attributes for fonts

diff --git a/ide/src/debugger/GDBDialog.ec b/ide/src/debugger/GDBDialog.ec
index bc63dff..2fa0e7c 100644 (file)
--- a/ide/src/debugger/GDBDialog.ec
+++ b/ide/src/debugger/GDBDialog.ec
@@ -318,7 +318,7 @@ class GDBDialog : Window
       rightCol, this, text = $"Output:", multiLine = true, hasVertScroll = true, hasHorzScroll = true;
       size = { 328, 80 };
       anchor = { left = rightCol.margin, right = rightCol.margin };
-      font = { panelFont.faceName, panelFont.size };
+      font = { panelFont.faceName, panelFont.size, panelFont.bold, panelFont.italic };
    };
 
    Label treeLabel { rightCol, this, position = { 4, 4 }, labeledWindow = tree };
@@ -328,7 +328,7 @@ class GDBDialog : Window
       multiSelect = false, fullRowSelect = false, hasVertScroll = true, hasHorzScroll = true;
       borderStyle = deep, collapseControl = true, treeBranches = true;
       anchor = { left = rightCol.margin, right = rightCol.margin };
-      font = { panelFont.faceName, panelFont.size };
+      font = { panelFont.faceName, panelFont.size, panelFont.bold, panelFont.italic };
    };
 
    void UpdateOutput()

diff --git a/ide/src/designer/CodeEditor.ec b/ide/src/designer/CodeEditor.ec
index 50c8ee1..55c9537 100644 (file)
--- a/ide/src/designer/CodeEditor.ec
+++ b/ide/src/designer/CodeEditor.ec
@@ -760,7 +760,7 @@ class CodeEditor : Window
    bool inUseDebug;
    OpenedFileInfo openedFileInfo;
 
-   FontResource font { codeFont.faceName, codeFont.size };
+   FontResource font { codeFont.faceName, codeFont.size, codeFont.bold, codeFont.italic };
    saveDialog = codeEditorFileDialog;
 
    Designer designer { codeEditor = this, visible = false, saveDialog = codeEditorFormFileDialog };

diff --git a/ide/src/ide.ec b/ide/src/ide.ec
index 3506c53..2c06b0a 100644 (file)
--- a/ide/src/ide.ec
+++ b/ide/src/ide.ec
@@ -479,7 +479,7 @@ class IDEWorkSpace : Window
 
    CallStackView callStackView
    {
-      parent = this, font = { panelFont.faceName, panelFont.size };
+      parent = this, font = { panelFont.faceName, panelFont.size, panelFont.bold, panelFont.italic };
 
       void OnSelectFrame(int frameIndex)
       {
@@ -581,7 +581,7 @@ class IDEWorkSpace : Window
    WatchesView watchesView { parent = this };
    ThreadsView threadsView
    {
-      parent = this, font = { panelFont.faceName, panelFont.size };
+      parent = this, font = { panelFont.faceName, panelFont.size, panelFont.bold, panelFont.italic };
 
       bool OnKeyDown(Key key, unichar ch)
       {

diff --git a/ide/src/panels/OutputView.ec b/ide/src/panels/OutputView.ec
index 042e3fc..6da95d5 100644 (file)
--- a/ide/src/panels/OutputView.ec
+++ b/ide/src/panels/OutputView.ec
@@ -121,7 +121,7 @@ class OutputView : Window
       parent = this, freeCaret = true, autoEmpty = true, multiLine = true;
       readOnly = true, hasVertScroll = true, hasHorzScroll = true;
       anchor = Anchor { left = 0, right = 0, top = 23, bottom = 0 };
-      font = { panelFont.faceName, panelFont.size };
+      font = { panelFont.faceName, panelFont.size, panelFont.bold, panelFont.italic };
       background = outputBackground;
       foreground = outputText;
       selectionColor = selectionColor, selectionText = selectionText;
@@ -148,7 +148,7 @@ class OutputView : Window
       parent = this, freeCaret = true, autoEmpty = true, multiLine = true;
       readOnly = true, hasVertScroll = true, hasHorzScroll = true, visible = false;
       anchor = Anchor { left = 0, right = 0, top = 23, bottom = 0 };
-      font = { panelFont.faceName, panelFont.size };
+      font = { panelFont.faceName, panelFont.size, panelFont.bold, panelFont.italic };
       background = outputBackground;
       foreground = outputText;
       selectionColor = selectionColor, selectionText = selectionText;
@@ -175,7 +175,7 @@ class OutputView : Window
       parent = this, freeCaret = true, autoEmpty = true, multiLine = true;
       readOnly = true, hasVertScroll = true, hasHorzScroll = true, visible = false;
       anchor = Anchor { left = 0, right = 0, top = 23, bottom = 0 };
-      font = { panelFont.faceName, panelFont.size };
+      font = { panelFont.faceName, panelFont.size, panelFont.bold, panelFont.italic };
       background = outputBackground;
       foreground = outputText;
       selectionColor = selectionColor, selectionText = selectionText;
@@ -203,7 +203,7 @@ class OutputView : Window
       parent = this, freeCaret = true, autoEmpty = true, multiLine = true;
       readOnly = true, hasVertScroll = true, hasHorzScroll = true, visible = false;
       anchor = Anchor { left = 0, right = 0, top = 23, bottom = 0 };
-      font = { panelFont.faceName, panelFont.size };
+      font = { panelFont.faceName, panelFont.size, panelFont.bold, panelFont.italic };
       background = outputBackground;
       foreground = outputText;
       selectionColor = selectionColor, selectionText = selectionText;