Ozzie Gooen
|
563f82f48c
|
Merge pull request #796 from quantified-uncertainty/collapsible
Collapsible records in playground output
|
2022-07-26 17:26:21 -07:00 |
|
dependabot[bot]
|
79c86146ca
|
⬆️ Bump @typescript-eslint/parser from 5.30.6 to 5.30.7
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.30.6 to 5.30.7.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/parser/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.7/packages/parser)
---
updated-dependencies:
- dependency-name: "@typescript-eslint/parser"
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-25 16:13:13 +00:00 |
|
dependabot[bot]
|
3d2b2f4c62
|
⬆️ Bump @typescript-eslint/eslint-plugin from 5.30.6 to 5.30.7
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.30.6 to 5.30.7.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/eslint-plugin/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.7/packages/eslint-plugin)
---
updated-dependencies:
- dependency-name: "@typescript-eslint/eslint-plugin"
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-25 14:23:47 +00:00 |
|
Vyacheslav Matyukhin
|
c7bf40e3e8
|
remove showControls from website code and vscode ext
|
2022-07-23 00:03:55 +04:00 |
|
Vyacheslav Matyukhin
|
8f4259cef3
|
Merge branch 'develop' into collapsible
|
2022-07-20 23:22:16 +04:00 |
|
dependabot[bot]
|
813c97db18
|
⬆️ Bump vscode-languageclient from 8.0.1 to 8.0.2
Bumps [vscode-languageclient](https://github.com/Microsoft/vscode-languageserver-node/tree/HEAD/client) from 8.0.1 to 8.0.2.
- [Release notes](https://github.com/Microsoft/vscode-languageserver-node/releases)
- [Commits](https://github.com/Microsoft/vscode-languageserver-node/commits/release/client/8.0.2/client)
---
updated-dependencies:
- dependency-name: vscode-languageclient
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-18 16:25:40 +00:00 |
|
Ozzie Gooen
|
5ee75d343e
|
Merge pull request #850 from quantified-uncertainty/dependabot/npm_and_yarn/eslint-8.20.0
⬆️ Bump eslint from 8.19.0 to 8.20.0
|
2022-07-18 08:50:17 -07:00 |
|
dependabot[bot]
|
93d1b486f8
|
⬆️ Bump eslint from 8.19.0 to 8.20.0
Bumps [eslint](https://github.com/eslint/eslint) from 8.19.0 to 8.20.0.
- [Release notes](https://github.com/eslint/eslint/releases)
- [Changelog](https://github.com/eslint/eslint/blob/main/CHANGELOG.md)
- [Commits](https://github.com/eslint/eslint/compare/v8.19.0...v8.20.0)
---
updated-dependencies:
- dependency-name: eslint
dependency-type: direct:development
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-18 14:37:20 +00:00 |
|
dependabot[bot]
|
5d02c82915
|
⬆️ Bump vscode-languageserver from 8.0.1 to 8.0.2
Bumps [vscode-languageserver](https://github.com/Microsoft/vscode-languageserver-node/tree/HEAD/server) from 8.0.1 to 8.0.2.
- [Release notes](https://github.com/Microsoft/vscode-languageserver-node/releases)
- [Commits](https://github.com/Microsoft/vscode-languageserver-node/commits/release/client/8.0.2/server)
---
updated-dependencies:
- dependency-name: vscode-languageserver
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-18 14:32:03 +00:00 |
|
|
|
42730e980f
|
tweak: Indicate that the configuration step is optional
|
2022-07-13 13:39:07 -04:00 |
|
|
|
abedb59a17
|
tweak: Show what to click in the extension
|
2022-07-13 13:37:17 -04:00 |
|
|
|
a9d9ed9ae6
|
tweak: Better documentation
So that even newbies can understand.
|
2022-07-13 13:29:32 -04:00 |
|
dependabot[bot]
|
9a5c101d9d
|
⬆️ Bump @typescript-eslint/parser from 5.30.5 to 5.30.6
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.30.5 to 5.30.6.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/parser/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.6/packages/parser)
---
updated-dependencies:
- dependency-name: "@typescript-eslint/parser"
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-11 18:07:30 +00:00 |
|
dependabot[bot]
|
7fd4012454
|
⬆️ Bump @typescript-eslint/eslint-plugin from 5.30.5 to 5.30.6
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.30.5 to 5.30.6.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/eslint-plugin/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.6/packages/eslint-plugin)
---
updated-dependencies:
- dependency-name: "@typescript-eslint/eslint-plugin"
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-11 17:51:55 +00:00 |
|
dependabot[bot]
|
f0afcc4a66
|
⬆️ Bump @typescript-eslint/parser from 5.30.4 to 5.30.5
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.30.4 to 5.30.5.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/parser/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.5/packages/parser)
---
updated-dependencies:
- dependency-name: "@typescript-eslint/parser"
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-11 16:50:34 +00:00 |
|
dependabot[bot]
|
3fa0904d28
|
⬆️ Bump @typescript-eslint/eslint-plugin from 5.30.4 to 5.30.5
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.30.4 to 5.30.5.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/eslint-plugin/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.5/packages/eslint-plugin)
---
updated-dependencies:
- dependency-name: "@typescript-eslint/eslint-plugin"
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-11 16:41:02 +00:00 |
|
Quinn
|
b5f6aa64ac
|
Merge pull request #806 from quantified-uncertainty/dependabot/npm_and_yarn/eslint-8.19.0
⬆️ Bump eslint from 8.18.0 to 8.19.0
|
2022-07-11 12:38:26 -04:00 |
|
dependabot[bot]
|
af75f4fd1d
|
⬆️ Bump eslint from 8.18.0 to 8.19.0
Bumps [eslint](https://github.com/eslint/eslint) from 8.18.0 to 8.19.0.
- [Release notes](https://github.com/eslint/eslint/releases)
- [Changelog](https://github.com/eslint/eslint/blob/main/CHANGELOG.md)
- [Commits](https://github.com/eslint/eslint/compare/v8.18.0...v8.19.0)
---
updated-dependencies:
- dependency-name: eslint
dependency-type: direct:development
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-11 16:26:53 +00:00 |
|
dependabot[bot]
|
fbbab10391
|
⬆️ Bump @types/vscode from 1.68.0 to 1.69.0
Bumps [@types/vscode](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/vscode) from 1.68.0 to 1.69.0.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/vscode)
---
updated-dependencies:
- dependency-name: "@types/vscode"
dependency-type: direct:development
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-11 14:50:42 +00:00 |
|
Vyacheslav Matyukhin
|
3ca80daee8
|
remove showTypes setting
|
2022-07-08 17:13:26 +04:00 |
|
Vyacheslav Matyukhin
|
012112336f
|
Merge pull request #780 from quantified-uncertainty/dependabot/npm_and_yarn/vscode-languageserver-8.0.1
⬆️ Bump vscode-languageserver from 7.0.0 to 8.0.1
|
2022-07-07 15:13:33 +03:00 |
|
dependabot[bot]
|
d7952e82f5
|
⬆️ Bump @typescript-eslint/eslint-plugin from 5.29.0 to 5.30.4
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.29.0 to 5.30.4.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/eslint-plugin/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.4/packages/eslint-plugin)
---
updated-dependencies:
- dependency-name: "@typescript-eslint/eslint-plugin"
dependency-type: direct:development
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-04 14:45:33 +00:00 |
|
dependabot[bot]
|
7c0e4e778c
|
⬆️ Bump @typescript-eslint/parser from 5.29.0 to 5.30.4
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.29.0 to 5.30.4.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/parser/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.30.4/packages/parser)
---
updated-dependencies:
- dependency-name: "@typescript-eslint/parser"
dependency-type: direct:development
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-07-04 14:32:46 +00:00 |
|
dependabot[bot]
|
043205eca8
|
⬆️ Bump vscode-languageserver from 7.0.0 to 8.0.1
Bumps [vscode-languageserver](https://github.com/Microsoft/vscode-languageserver-node/tree/HEAD/server) from 7.0.0 to 8.0.1.
- [Release notes](https://github.com/Microsoft/vscode-languageserver-node/releases)
- [Commits](https://github.com/Microsoft/vscode-languageserver-node/commits/release/client/8.0.1/server)
---
updated-dependencies:
- dependency-name: vscode-languageserver
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-27 14:23:31 +00:00 |
|
Vyacheslav Matyukhin
|
81854702a7
|
highlight record keys
|
2022-06-26 11:42:56 +03:00 |
|
Vyacheslav Matyukhin
|
96c2a982cb
|
semantic highlight based on squiggle-lang AST
|
2022-06-26 11:15:25 +03:00 |
|
Vyacheslav Matyukhin
|
9da6c12fc3
|
fix compile script
|
2022-06-23 12:00:12 +03:00 |
|
Vyacheslav Matyukhin
|
8e4fb99b53
|
cleanup unused code; fix tsc builds
|
2022-06-23 10:35:42 +03:00 |
|
Vyacheslav Matyukhin
|
250d42707c
|
language server for vscode; patched vsce
|
2022-06-22 01:00:43 +03:00 |
|
Vyacheslav Matyukhin
|
f7bf1681d6
|
remove vscode-uri dep, release 0.1.2 ext version
|
2022-06-21 01:07:27 +03:00 |
|
Vyacheslav Matyukhin
|
9aa97f66b0
|
vscode: some docs, squiggleU support
|
2022-06-21 00:46:12 +03:00 |
|
Vyacheslav Matyukhin
|
a81c0aae0b
|
fix vscode-uri dependency
|
2022-06-21 00:43:50 +03:00 |
|
Vyacheslav Matyukhin
|
00b1e6bb96
|
basic language-configuration
|
2022-06-21 00:26:16 +03:00 |
|
Vyacheslav Matyukhin
|
dab6b3d09e
|
highlight keywords
|
2022-06-20 23:57:27 +03:00 |
|
Vyacheslav Matyukhin
|
7441027e0f
|
first try at squiggle syntax highlighting
|
2022-06-20 23:36:46 +03:00 |
|
Vyacheslav Matyukhin
|
a2a6ff8ad0
|
vscode: configuration for show*
|
2022-06-20 23:34:53 +03:00 |
|
Vyacheslav Matyukhin
|
24f4143cda
|
preview mode for vscode ext
|
2022-06-20 23:34:50 +03:00 |
|
dependabot[bot]
|
12a1c88ab4
|
⬆️ Bump typescript from 4.7.3 to 4.7.4
Bumps [typescript](https://github.com/Microsoft/TypeScript) from 4.7.3 to 4.7.4.
- [Release notes](https://github.com/Microsoft/TypeScript/releases)
- [Commits](https://github.com/Microsoft/TypeScript/compare/v4.7.3...v4.7.4)
---
updated-dependencies:
- dependency-name: typescript
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 17:43:29 +00:00 |
|
Ozzie Gooen
|
c403be5903
|
Merge pull request #741 from quantified-uncertainty/vscodeext-ops-docs
Vscodeext ops docs (begin issue 729)
|
2022-06-20 10:33:31 -07:00 |
|
dependabot[bot]
|
4ee060fff7
|
⬆️ Bump @types/node from 17.0.42 to 18.0.0
Bumps [@types/node](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/node) from 17.0.42 to 18.0.0.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/node)
---
updated-dependencies:
- dependency-name: "@types/node"
dependency-type: direct:development
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 16:16:09 +00:00 |
|
Quinn Dougherty
|
0eebacf85d
|
updated README.md in vscode-ext
|
2022-06-20 11:59:10 -04:00 |
|
Quinn Dougherty
|
ddb373de8a
|
ran prettier from toplevel
|
2022-06-20 11:53:19 -04:00 |
|
Quinn Dougherty
|
358769a179
|
issue #729
|
2022-06-20 11:52:54 -04:00 |
|
dependabot[bot]
|
9a04003a8e
|
⬆️ Bump eslint from 8.17.0 to 8.18.0
Bumps [eslint](https://github.com/eslint/eslint) from 8.17.0 to 8.18.0.
- [Release notes](https://github.com/eslint/eslint/releases)
- [Changelog](https://github.com/eslint/eslint/blob/main/CHANGELOG.md)
- [Commits](https://github.com/eslint/eslint/compare/v8.17.0...v8.18.0)
---
updated-dependencies:
- dependency-name: eslint
dependency-type: direct:development
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-20 14:44:38 +00:00 |
|
Vyacheslav Matyukhin
|
237f6f01d9
|
rebuild deps on vscode compile; split components build targets
|
2022-06-19 23:59:17 +03:00 |
|
Vyacheslav Matyukhin
|
112eae9115
|
new vscode ext publisher & icon
|
2022-06-18 23:56:05 +03:00 |
|
Vyacheslav Matyukhin
|
77c2e51aca
|
vscode ext 0.0.2, minor tweaks
|
2022-06-18 21:39:23 +03:00 |
|
Vyacheslav Matyukhin
|
ba496eb1a1
|
package react for vscode ext; minor cleanups
|
2022-06-18 21:05:09 +03:00 |
|
Vyacheslav Matyukhin
|
387e6bae37
|
get rid of generated vscode readme
|
2022-06-18 21:05:09 +03:00 |
|
Vyacheslav Matyukhin
|
a538fcabad
|
full white background for vscode custom editor
|
2022-06-18 21:05:09 +03:00 |
|
