-
Notifications
You must be signed in to change notification settings - Fork 3
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
Add repl lens #157
Add repl lens #157
Changes from 8 commits
316a05f
a7fadd1
6464900
5170096
98dc23c
43669d7
9c7ab44
bcf93a4
fb1cc03
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
// This file is linked from both client and server | ||
|
||
// IDE | ||
export const wollokLSPExtensionCode = 'wollokLSP' | ||
export const wollokLSPExtensionId = 'wollok-lsp-ide' | ||
|
||
// Commands | ||
export const COMMAND_START_REPL = 'wollok.start.repl' | ||
export const COMMAND_RUN_GAME = 'wollok.run.game' | ||
export const COMMAND_RUN_PROGRAM = 'wollok.run.program' | ||
export const COMMAND_RUN_ALL_TESTS = 'wollok.run.allTests' | ||
export const COMMAND_RUN_TEST = 'wollok.run.test' |
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -159,6 +159,20 @@ | |
"when": "resourceExtname == .wtest", | ||
"category": "Wollok" | ||
} | ||
], | ||
"keybindings": [ | ||
{ | ||
"command": "wollok.start.repl", | ||
"key": "ctrl+r", | ||
"mac": "cmd+r", | ||
"when": "editorTextFocus && resourceExtname == .wlk" | ||
}, | ||
{ | ||
"command": "wollok.run.allTests", | ||
"key": "ctrl+r", | ||
"mac": "cmd+r", | ||
"when": "editorTextFocus && resourceExtname == .wtest" | ||
} | ||
Comment on lines
+163
to
+175
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. QUE CHETO ESTO 🤩🤩🤩 There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 🍾 |
||
] | ||
}, | ||
"scripts": { | ||
|
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
// This file is linked from both client and server | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Aca me parece que git no esta versionandolo como un hard link, a mi por ejemplo cuando me lo clono me lo toma como dos archivos distintos e independientes. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. sí, me parece que me pasó, es una pena, porque yo no quería complicarla mucho: si hay que poner un script en el pre-install y adaptarlo a windows o linux/mac es medio una paja. Por otra parte suele pasar que querés reutilizar constantes y sobre todo funciones en el cliente y el server, hay que buscar otro approach. |
||
|
||
// IDE | ||
export const wollokLSPExtensionCode = 'wollokLSP' | ||
export const wollokLSPExtensionId = 'wollok-lsp-ide' | ||
|
||
// Commands | ||
export const COMMAND_START_REPL = 'wollok.start.repl' | ||
export const COMMAND_RUN_GAME = 'wollok.run.game' | ||
export const COMMAND_RUN_PROGRAM = 'wollok.run.program' | ||
export const COMMAND_RUN_ALL_TESTS = 'wollok.run.allTests' | ||
export const COMMAND_RUN_TEST = 'wollok.run.test' |
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.
🪄