Skip to content
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

Build shortcut #21

Closed
texastoland opened this issue Jul 29, 2016 · 3 comments
Closed

Build shortcut #21

texastoland opened this issue Jul 29, 2016 · 3 comments

Comments

@texastoland
Copy link
Contributor

texastoland commented Jul 29, 2016

I think this should work after nwolverson/vscode-language-purescript#1:

{
  "key": "shift+cmd+b",
  "command": "purescript.build",
  "when": "editorTextFocus && editorLangId == 'purescript'"
}
@texastoland
Copy link
Contributor Author

Had a type but otherwise works like a champ!

@nwolverson
Copy link
Owner

I have this in my local keybindings and it works already:

{ "key": "ctrl+shift+b", "command": "purescript.build", "when": "editorTextFocus && editorLangId == 'purescript'" }

Can add a keybinding to this extension but I'm not sure what code's approach to platform-relative keybindings are

@nwolverson
Copy link
Owner

Aha there are properties to set platform-specific overrides https://code.visualstudio.com/docs/extensionAPI/extension-points#_contributeskeybindings

This was referenced Jul 31, 2016
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

No branches or pull requests

2 participants