(Editor whichEditor)
| 650 | // never assume that this Window is the focused or active Window until this |
| 651 | // Window receives a WINDOW_GAINED_FOCUS or WINDOW_ACTIVATED event. |
| 652 | protected void handleActivated(Editor whichEditor) { |
| 653 | activeEditor = whichEditor; |
| 654 | activeEditor.rebuildRecentSketchesMenu(); |
| 655 | if (PreferencesData.getBoolean("editor.external")) { |
| 656 | try { |
| 657 | // If the list of files on disk changed, recreate the tabs for them |
| 658 | if (activeEditor.getSketch().reload()) |
| 659 | activeEditor.createTabs(); |
| 660 | else // Let the current tab know it was activated, so it can reload |
| 661 | activeEditor.getCurrentTab().activated(); |
| 662 | } catch (IOException e) { |
| 663 | System.err.println(e); |
| 664 | } |
| 665 | } |
| 666 | } |
| 667 | |
| 668 | protected int[] defaultEditorLocation() { |
| 669 | int defaultWidth = PreferencesData.getInteger("editor.window.width.default"); |
no test coverage detected