()
| 2919 | } |
| 2920 | |
| 2921 | toggleInspecting() { |
| 2922 | if(this.inspecting) { |
| 2923 | client.sendEvent([{tag: ["inspector", "clear"]}]); |
| 2924 | } else { |
| 2925 | this.inspectingClick = true; |
| 2926 | } |
| 2927 | this.queueUpdate(); |
| 2928 | } |
| 2929 | |
| 2930 | updateInspector = (event:MouseEvent) => { |
| 2931 | let pane = this.findPaneAt(event.pageX, event.pageY); |