diff --git a/app/src/processing/app/ui/ErrorTable.java b/app/src/processing/app/ui/ErrorTable.java index 9dc7df067..622966a85 100644 --- a/app/src/processing/app/ui/ErrorTable.java +++ b/app/src/processing/app/ui/ErrorTable.java @@ -117,6 +117,7 @@ public class ErrorTable extends JTable { } else if (clickCount > 1) { editor.errorTableDoubleClick(data); } + editor.getTextArea().requestFocusInWindow(); // editor.getErrorChecker().scrollToErrorLine(row); } } catch (Exception ex) {