/** * Sets the visibility of the debugger GUI. */ @Override public void setVisible(boolean b) { super.setVisible(b); if (b) { // this needs to be done after the window is visible console.consoleTextArea.requestFocus(); context.split.setDividerLocation(0.5); try { console.setMaximum(true); console.setSelected(true); console.show(); console.consoleTextArea.requestFocus(); } catch (Exception exc) { } } }
/** * Sets the visibility of the debugger GUI. */ @Override public void setVisible(boolean b) { super.setVisible(b); if (b) { // this needs to be done after the window is visible console.consoleTextArea.requestFocus(); context.split.setDividerLocation(0.5); try { console.setMaximum(true); console.setSelected(true); console.show(); console.consoleTextArea.requestFocus(); } catch (Exception exc) { } } }
/** * Sets the visibility of the debugger GUI. */ @Override public void setVisible(boolean b) { super.setVisible(b); if (b) { // this needs to be done after the window is visible console.consoleTextArea.requestFocus(); context.split.setDividerLocation(0.5); try { console.setMaximum(true); console.setSelected(true); console.show(); console.consoleTextArea.requestFocus(); } catch (Exception exc) { } } }
/** * Shows the line at which execution in the given stack frame just stopped. */ void showStopLine(Dim.StackFrame frame) { String sourceName = frame.getUrl(); if (sourceName == null || sourceName.equals("<stdin>")) { if (console.isVisible()) { console.show(); } } else { showFileWindow(sourceName, -1); int lineNumber = frame.getLineNumber(); FileWindow w = getFileWindow(sourceName); if (w != null) { setFilePosition(w, lineNumber); } } }
/** * Shows the line at which execution in the given stack frame just stopped. */ void showStopLine(Dim.StackFrame frame) { String sourceName = frame.getUrl(); if (sourceName == null || sourceName.equals("<stdin>")) { if (console.isVisible()) { console.show(); } } else { showFileWindow(sourceName, -1); int lineNumber = frame.getLineNumber(); FileWindow w = getFileWindow(sourceName); if (w != null) { setFilePosition(w, lineNumber); } } }
/** * Shows the line at which execution in the given stack frame just stopped. */ void showStopLine(Dim.StackFrame frame) { String sourceName = frame.getUrl(); if (sourceName == null || sourceName.equals("<stdin>")) { if (console.isVisible()) { console.show(); } } else { showFileWindow(sourceName, -1); int lineNumber = frame.getLineNumber(); FileWindow w = getFileWindow(sourceName); if (w != null) { setFilePosition(w, lineNumber); } } }
desk.getDesktopManager().deiconifyFrame(console); console.show(); desk.getDesktopManager().activateFrame(console); console.consoleTextArea.requestFocus();
desk.getDesktopManager().deiconifyFrame(console); console.show(); desk.getDesktopManager().activateFrame(console); console.consoleTextArea.requestFocus();
desk.getDesktopManager().deiconifyFrame(console); console.show(); desk.getDesktopManager().activateFrame(console); console.consoleTextArea.requestFocus();