add a button to temporarily hide TOC, closes #3555

This commit is contained in:
zadam
2023-01-24 16:24:51 +01:00
parent 64e7150765
commit a7b103e07a
5 changed files with 98 additions and 43 deletions

View File

@@ -24,17 +24,17 @@ export default class RightPaneContainer extends FlexContainer {
// we'll reevaluate the visibility based on events which are probable to cause visibility change
// but these events needs to be finished and only then we check
if (promise) {
promise.then(() => this.reevaluateIsEnabledCommand());
promise.then(() => this.reEvaluateRightPaneVisibilityCommand());
}
else {
this.reevaluateIsEnabledCommand();
this.reEvaluateRightPaneVisibilityCommand();
}
}
return promise;
}
reevaluateIsEnabledCommand() {
reEvaluateRightPaneVisibilityCommand() {
const oldToggle = !this.isHiddenInt();
const newToggle = this.isEnabled();