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
|
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
|
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
|
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
|
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
|
618028d772
|
vscode extension
also:
- don't bundle react and react-dom with webpack
- controlled mode for SquigglePlayground
|
2022-06-17 00:37:20 +03:00 |
|