()
| 666 | } |
| 667 | |
| 668 | protected int[] defaultEditorLocation() { |
| 669 | int defaultWidth = PreferencesData.getInteger("editor.window.width.default"); |
| 670 | int defaultHeight = PreferencesData.getInteger("editor.window.height.default"); |
| 671 | Rectangle screen = GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice().getDefaultConfiguration().getBounds(); |
| 672 | return new int[]{ |
| 673 | (screen.width - defaultWidth) / 2, |
| 674 | (screen.height - defaultHeight) / 2, |
| 675 | defaultWidth, defaultHeight, 0 |
| 676 | }; |
| 677 | } |
| 678 | |
| 679 | protected int[] nextEditorLocation() { |
| 680 | if (activeEditor == null) { |
no test coverage detected