| 2895 | //------------------------------------------------------- |
| 2896 | |
| 2897 | findPaneAt(x: number, y: number):"editor"|"application"|undefined { |
| 2898 | let editorContainer = this.editor.cm.getWrapperElement(); |
| 2899 | let editor = editorContainer && editorContainer.getBoundingClientRect(); |
| 2900 | let appContainer = document.querySelector(".application-container") |
| 2901 | let app = appContainer && appContainer.getBoundingClientRect(); // @FIXME: Not particularly durable |
| 2902 | if(editor && x >= editor.left && x <= editor.right && |
| 2903 | y >= editor.top && y <= editor.bottom) { |
| 2904 | return "editor"; |
| 2905 | } else if(app && x >= app.left && x <= app.right && |
| 2906 | y >= app.top && y <= app.bottom) { |
| 2907 | return "application"; |
| 2908 | } |
| 2909 | } |
| 2910 | |
| 2911 | enableInspector() { |
| 2912 | //window.addEventListener("mouseover", this.updateInspector); |