-
-
Notifications
You must be signed in to change notification settings - Fork 431
Editor manager should be singleton, patched layout restorer to avoid duplicate editor tabs #1024
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
it does perfectly make sense!
Added some logging when filtering the layout data. Signed-off-by: Akos Kitta <[email protected]>
d15e4b0
to
4d38eb4
Compare
4d38eb4
to
1fde017
Compare
Customized the shell layout restorer: - If a resource is about to open in code editor and preview, do not open the preview. - If a resource is about to open in preview only, open a code editor instead. Signed-off-by: Akos Kitta <[email protected]>
Signed-off-by: Akos Kitta <[email protected]>
d6a6ccd
to
16e4623
Compare
} | ||
return desc; | ||
}) | ||
.filter(notEmpty); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
for the sake of performance: I see 3 loops here: forEach, map, filter. If we expect this to be time consuming we could think of refactoring it a bit in the future. Btw this is fine as of now
Motivation
This PR should fix the duplicate editor tab issue.
Change description
Other information
Reviewer checklist