Skip to content

Remove last opened functionality #28

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

Merged
merged 1 commit into from
Dec 15, 2021
Merged

Remove last opened functionality #28

merged 1 commit into from
Dec 15, 2021

Conversation

code-asher
Copy link
Member

@code-asher code-asher commented Dec 15, 2021

We must handle this before we get to the browser because the first thing
it does is create a workspace provider based on the provided workspace
before any services are created which means we cannot fetch settings.
So if we grab the last opened after that is done it has the wrong
workspace and this breaks the close folder functionality (and possibly
other things).

Since it needs to be done on the server I figure I will implement in
code-server to minimize the patch.

coder/code-server#4619

We must handle this before we get to the browser because the first thing
it does is create a workspace provider based on the provided workspace
before any services are created which means we cannot fetch settings.
So if we grab the last opened after that is done it has the wrong
workspace and this breaks the close folder functionality (and possibly
other things).

Since it needs to be done on the server I figure I will implement in
code-server to minimize the patch.
@code-asher code-asher requested a review from jsjoeio December 15, 2021 21:39
Copy link

@jsjoeio jsjoeio left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just to be clear, we're removing it in the fork in favor of adding this functionality on the code-server side?

@code-asher
Copy link
Member Author

Yup, exactly. I wish I could do it all in one PR! 🚀

@code-asher code-asher merged commit 35f5f68 into coder:main Dec 15, 2021
@jsjoeio
Copy link

jsjoeio commented Dec 15, 2021

Yup, exactly. I wish I could do it all in one PR! 🚀

Maybe one day! 👀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants