-
Notifications
You must be signed in to change notification settings - Fork 19
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
Unable to create when condition for pin/unpin editor #49
Comments
You will need to add the following to you shortcut (
We can also choose to bundle this as default so we don't have two separate key for pin and unpin. Just tested this and apparently, the Unfortunately, this is limit of the hack we have to capture context. Either vscode keep |
Ah that is very sad. But thank you for the investigation, hope there something will happen soon, would be great to have that. EDIT:
the |
I am glad you are able to find a workaround. I looked at the vscode api it doesn't seem like they provide anything to extension to know if the editor is pinned. To properly support this, we likely need to do a feature request to vscode for either
|
Yeah I think the second option is something they will do. If I have time I probably willl open an issue and request a unified command. |
Hey I am trying to create the pin / unpin logic, like with the toggle project tree example in the docs, but I can't make it work. Do you have any suggestions?
The text was updated successfully, but these errors were encountered: