()
| 175 | } |
| 176 | |
| 177 | private hideCurrentPhase(): SelectionStorage { |
| 178 | let rememberedSelection = null; |
| 179 | if (this.currentPhaseView != null) { |
| 180 | rememberedSelection = this.currentPhaseView.detachSelection(); |
| 181 | this.currentPhaseView.hide(); |
| 182 | this.currentPhaseView = null; |
| 183 | } |
| 184 | return rememberedSelection; |
| 185 | } |
| 186 | } |
no test coverage detected