Skip to content

Commit

Permalink
[Tree-view] Hide tree-view on reload
Browse files Browse the repository at this point in the history
Fixes: eclipse-theia#7037

Respects hide and collapse for tree-views such as `NPM Scripts` on
reload.

Co-authored-by: Anas Shahid <muhammad.shahid@ericsson.com>
Co-authored-by: vince-fugnitto <vincent.fugnitto@ericsson.com>

Signed-off-by: Anas Shahid <muhammad.shahid@ericsson.com>
  • Loading branch information
Anas Shahid committed Jul 31, 2020
1 parent ac06ac9 commit 0b5bcd2
Showing 1 changed file with 4 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -155,6 +155,10 @@ export class PluginViewRegistry implements FrontendApplicationContribution {
}
return;
}
// does not update the view visibility if the view is not visible or hidden explicitly.
if (!this.isViewVisible(viewId) || widget.isHidden) {
return;
}
const viewInfo = this.views.get(viewId);
if (!viewInfo) {
return;
Expand Down

0 comments on commit 0b5bcd2

Please sign in to comment.