()
| 1768 | |
| 1769 | // @NOTE: Does this belong in the IDE? |
| 1770 | controls() { |
| 1771 | let inspectorButton:Elem = {c: "inspector-button ion-wand", text: "", title: "Inspect", click: () => this.ide.toggleInspecting()}; |
| 1772 | if(this.ide.inspectingClick) inspectorButton.c += " waiting"; |
| 1773 | else if(this.ide.inspecting) inspectorButton.c += " inspecting"; |
| 1774 | |
| 1775 | return {c: "flex-row controls", children: [ |
| 1776 | {c: "ion-refresh", title: "Reset (⌃⇧⏎ or ⇧⌘⏎ )", click: () => this.ide.eval(false)}, |
| 1777 | {c: "ion-ios-play", title: "Run (⌃⏎ or ⌘⏎)", click: () => this.ide.eval(true)}, |
| 1778 | inspectorButton |
| 1779 | ]}; |
| 1780 | } |
| 1781 | |
| 1782 | render() { |
| 1783 | return {c: "editor-pane", postRender: this.injectCodeMirror, children: [ |
no test coverage detected