(id: string, selectionBroker: SelectionBroker, sourceResolver: SourceResolver)
| 37 | currentPhaseView: PhaseView; |
| 38 | |
| 39 | constructor(id: string, selectionBroker: SelectionBroker, sourceResolver: SourceResolver) { |
| 40 | super(id); |
| 41 | const view = this; |
| 42 | view.sourceResolver = sourceResolver; |
| 43 | view.selectionBroker = selectionBroker; |
| 44 | const toolbox = document.createElement("div"); |
| 45 | toolbox.className = "toolbox-anchor"; |
| 46 | toolbox.innerHTML = toolboxHTML; |
| 47 | view.divNode.appendChild(toolbox); |
| 48 | const searchInput = toolbox.querySelector("#search-input") as HTMLInputElement; |
| 49 | const onlyVisibleCheckbox = toolbox.querySelector("#search-only-visible") as HTMLInputElement; |
| 50 | searchInput.addEventListener("keyup", (e: KeyboardEvent) => { |
| 51 | view.currentPhaseView?.searchInputAction(searchInput, e, onlyVisibleCheckbox.checked); |
| 52 | }); |
| 53 | view.divNode.addEventListener("keyup", (e: KeyboardEvent) => { |
| 54 | if (e.keyCode == 191) { // keyCode == '/' |
| 55 | searchInput.focus(); |
| 56 | } else if (e.keyCode == 78) { // keyCode == 'n' |
| 57 | view.displayNextGraphPhase(); |
| 58 | } else if (e.keyCode == 66) { // keyCode == 'b' |
| 59 | view.displayPreviousGraphPhase(); |
| 60 | } |
| 61 | }); |
| 62 | searchInput.setAttribute("value", storageGetItem("lastSearch", "", false)); |
| 63 | this.graph = new GraphView(this.divNode, selectionBroker, view.displayPhaseByName.bind(this), |
| 64 | toolbox.querySelector(".graph-toolbox")); |
| 65 | this.turboshaftGraph = new TurboshaftGraphView(this.divNode, selectionBroker, |
| 66 | view.displayPhaseByName.bind(this), toolbox.querySelector(".graph-toolbox")); |
| 67 | this.schedule = new ScheduleView(this.divNode, selectionBroker); |
| 68 | this.sequence = new SequenceView(this.divNode, selectionBroker); |
| 69 | this.selectMenu = toolbox.querySelector("#phase-select") as HTMLSelectElement; |
| 70 | } |
| 71 | |
| 72 | public createViewElement(): HTMLDivElement { |
| 73 | const pane = document.createElement("div"); |
nothing calls this directly
no test coverage detected