Merge pull request #157 from finos/gh-156

make error display respect the font size setting
finos · Nov 18, 2024 · 962b13b · 962b13b
2 parents 20616f6 + afc76bc
commit 962b13b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/main/studio/ui/TabPanel.java b/src/main/studio/ui/TabPanel.java
@@ -98,6 +98,8 @@ private void initComponents(KTableModel model) {
             String hint = QErrors.lookup(queryResult.getError().getMessage());
             hint = hint == null ? "" : "\nStudio Hint: Possibly this error refers to " + hint;
             textArea.setText("An error occurred during execution of the query.\nThe server sent the response:\n" + queryResult.getError().getMessage() + hint);
+            Font defaultFont = textArea.getFont();
+            textArea.setFont(new Font(defaultFont.getName(), defaultFont.getStyle(), Config.getInstance().getFontSize()));
             textArea.setForeground(Color.RED);
             textArea.setEditable(false);
             component = new JScrollPane(textArea);