Make some stuff public so that they can be reused by other tools

2020-04-24 21:57:10 +02:00
parent 530a35f3f9
commit 9f0a7eb97b
6 changed files with 7 additions and 10 deletions
--- a/editors/code/src/commands/ssr.ts
+++ b/editors/code/src/commands/ssr.ts
@@ -11,7 +11,7 @@ export function ssr(ctx: Ctx): Cmd {

        const options: vscode.InputBoxOptions = {
            value: "() ==>> ()",
-            prompt: "EnteR request, for example 'Foo($a:expr) ==> Foo::new($a)' ",
+            prompt: "Enter request, for example 'Foo($a:expr) ==> Foo::new($a)' ",
            validateInput: async (x: string) => {
                try {
                    await client.sendRequest(ra.ssr, { query: x, parseOnly: true });