()
| 1134 | } |
| 1135 | |
| 1136 | override getCurrentState(): ExecutorState & PaneState { |
| 1137 | const state: ExecutorState & PaneState = { |
| 1138 | id: this.id, |
| 1139 | compilerName: '', |
| 1140 | compiler: this.compiler ? this.compiler.id : '', |
| 1141 | source: this.sourceEditorId ?? undefined, |
| 1142 | tree: this.sourceTreeId ?? undefined, |
| 1143 | options: this.options, |
| 1144 | execArgs: this.executionArguments, |
| 1145 | execStdin: this.executionStdin, |
| 1146 | libs: this.libsWidget?.get(), |
| 1147 | lang: this.currentLangId, |
| 1148 | compilationPanelShown: !this.panelCompilation.hasClass('d-none'), |
| 1149 | compilerOutShown: !this.compilerOutputSection.hasClass('d-none'), |
| 1150 | argsPanelShown: !this.panelArgs.hasClass('d-none'), |
| 1151 | stdinPanelShown: !this.panelStdin.hasClass('d-none'), |
| 1152 | wrap: this.toggleWrapButton.get().wrap, |
| 1153 | overrides: this.compilerShared.getOverrides(), |
| 1154 | runtimeTools: this.compilerShared.getRuntimeTools(), |
| 1155 | }; |
| 1156 | |
| 1157 | this.paneRenaming.addState(state); |
| 1158 | this.fontScale.addState(state); |
| 1159 | return state; |
| 1160 | } |
| 1161 | |
| 1162 | override updateState(): void { |
| 1163 | const state = this.getCurrentState(); |
no test coverage detected