fix the stack trace dialog with 12pt change

2026-06-16 04:26:26 +02:00 · 2022-08-03 14:23:31 -04:00
parent a0bb462261
commit e468e80b30
3 changed files with 8 additions and 3 deletions
@@ -132,7 +132,9 @@ public class Messages {
      t.printStackTrace(new PrintWriter(sw));

      JOptionPane.showMessageDialog(new Frame(),
-                                    Toolkit.formatMessage(message + "<br/><tt>" + sw + "</tt>"),
+                                    // first <br/> clears to the next line
+                                    // second <br/> is a shorter height blank space before the trace
+                                    Toolkit.formatMessage(message + "<br/><tt><br/>" + sw + "</tt>"),
                                    title,
                                    fatal ?
                                    JOptionPane.ERROR_MESSAGE :
@@ -1336,8 +1336,10 @@ public class Toolkit {
    // Necessary to replace \n with <br/> (even if pre) otherwise Java
    // treats it as a closed tag and reverts to plain formatting.
    return "<html> " +
-      "<head> <style type=\"text/css\">"+
-      "tt { font: 11pt \"" + monoName + "\"; }" +
+      "<head> <style type=\"text/css\">" +
+      // if smaller than 12 pt, Source Code Sans doesn't get hinted
+      // (not clear if that's a font or Java issue) [fry 220803]
+      "tt { font: 12pt \"" + monoName + "\"; color: #888; }" +
      "</style> </head>" +
      message.replaceAll("\n", "<br/>");
  }
@@ -161,6 +161,7 @@ X   contrib mgr: filter/dropdown vertical centering is too high
 X   should be resolved with both fonts now being installed
 X two tier dialog box (defaulting back to Lucida)
 X dialog box with stack trace (font is too small)
+X   actually fix the stack trace dialog with 12pt font size change
 X text gutter doesn't seem to be hidpi
 X   or is it b/c screen not quite 2x? (nope)
 X   try to tweak the line numbers in the gutter a bit