setCurrentLineNumberColor may fail

Wisser · Jun 30, 2023 · 58d2211 · 58d2211
1 parent 9b17fc6
commit 58d2211
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/main/gui/net/sf/jailer/ui/databrowser/sqlconsole/SQLConsole.java b/src/main/gui/net/sf/jailer/ui/databrowser/sqlconsole/SQLConsole.java
@@ -463,7 +463,11 @@ protected String prepareStatementForAliasAnalysis(String statement) {
         jScrollPane.setViewportView(editorPane);
         if (jScrollPane.getGutter() != null) {
         	jScrollPane.getGutter().setIconRowHeaderInheritsGutterBackground(true);
-        	jScrollPane.getGutter().setCurrentLineNumberColor(Color.black);
+        	try {
+        		jScrollPane.getGutter().setCurrentLineNumberColor(Color.black);
+        	} catch (Throwable t) {
+        		LogUtil.warn(t);
+        	}
         }
         editorPane.setGutter(jScrollPane.getGutter());
         consoleContainerPanel.add(jScrollPane);