ide: Copying bold and size attributes for fonts

[sdk] / ide / src / debugger / GDBDialog.ec

diff --git a/ide/src/debugger/GDBDialog.ec b/ide/src/debugger/GDBDialog.ec
index f7cdad5..2fa0e7c 100644 (file)
--- a/ide/src/debugger/GDBDialog.ec
+++ b/ide/src/debugger/GDBDialog.ec
@@ -249,7 +249,7 @@ class GDBDialog : Window
       {
          if(row)
          {
-            lastCommand = (Command)row.tag;
+            lastCommand = (Command)(intptr)row.tag;
             command.contents = lastCommand.command;
             UpdateOutput();
          }
@@ -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()
@@ -347,7 +347,6 @@ class GDBDialog : Window
    {
       if(lastCommand && lastCommand.outputs.first)
       {
-         int c;
          char * s, * t;
          int i, j, outTksCount, subTksCount;
          char * outTokens[3200], * subTokens[3200];
@@ -655,7 +654,7 @@ class GDBDialog : Window
       {
          Command cmd = Command { command = CopyString(string) };
          commands.Add(cmd);
-         history.AddString(string).tag = (uint64)cmd;
+         history.AddString(string).tag = (uint64)(uintptr)cmd;
          lastCommand = commands.last;
 
          if(created)