We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9f39818 commit e162d10Copy full SHA for e162d10
src/main/java/org/openstreetmap/josm/plugins/scripting/ui/ScriptErrorViewer.java
@@ -91,6 +91,8 @@ protected JPanel buildOptionsPanel() {
91
protected JComponent buildViewerPanel() {
92
paneOutput = new JTextPane();
93
paneOutput.setEditable(false);
94
+ final var fontSize = paneOutput.getFont().getSize();
95
+ paneOutput.setFont(new Font(Font.MONOSPACED, Font.PLAIN, fontSize));
96
final var editorScrollPane = new JScrollPane(paneOutput);
97
editorScrollPane.setVerticalScrollBarPolicy(
98
JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED);
0 commit comments