github-actions[bot]
8cb5661330
Bump version to v1.2.1
2020-05-19 12:48:50 -07:00
jcreedcmu
f6f2b99c67
Merge pull request #379 from jcreedcmu/jcreed/v1.2.0-take-2
...
Build Extension / Build (ubuntu-latest) (push) Has been cancelled
Build Extension / Build (windows-latest) (push) Has been cancelled
Build Extension / Test (ubuntu-latest) (push) Has been cancelled
Build Extension / Test (windows-latest) (push) Has been cancelled
Release / Release (push) Has been cancelled
Increment version for minor release
2020-05-19 14:28:49 -04:00
Jason Reed
b2c82029f6
Increment version for minor release
2020-05-19 14:26:16 -04:00
jcreedcmu
d18b524c81
Merge pull request #378 from jcreedcmu/jcreed/v1.2.0
...
Update CHANGELOG.md for release.
2020-05-19 14:25:07 -04:00
Jason Reed
6be2c8bb95
Update CHANGELOG.md for release.
2020-05-19 14:22:12 -04:00
jcreedcmu
c289f1f66f
Merge pull request #368 from jcreedcmu/jcreed/jump-to-def-release
...
Remove feature flag guard around source archive jump-to-definition
2020-05-19 14:17:33 -04:00
jcreedcmu
c2717d7725
Merge branch 'master' into jcreed/jump-to-def-release
2020-05-19 14:14:59 -04:00
jcreedcmu
74e42b86a6
Merge pull request #375 from jcreedcmu/jcreed/more-logging
...
Logging: More chatty logging during extension initialization.
2020-05-19 14:14:00 -04:00
jcreedcmu
6db514843b
Merge branch 'master' into jcreed/jump-to-def-release
2020-05-19 13:57:20 -04:00
jcreedcmu
c8d64e4c35
Merge branch 'master' into jcreed/more-logging
2020-05-19 13:56:10 -04:00
jcreedcmu
0e4c3be404
Merge pull request #377 from jcreedcmu/jcreed/prefix
...
Fix naming and availability in command palette of various commands
2020-05-19 13:54:10 -04:00
Jason Reed
dd1bdf54bb
Add integrity check for commands in package.json
...
Attempt to enforce some regularity in how we name commands, and fix
one command that was showing up improperly in the command palette.
2020-05-19 12:20:45 -04:00
Jason Reed
c01772848c
Add all db-getting commands (dl, folder, zip) to command palette
2020-05-19 11:32:54 -04:00
Jason Reed
ab09cdb66d
Make capitalization consistent
2020-05-19 11:02:32 -04:00
Jason Reed
d92edfb058
Remove database panel icon commands from command palette
...
This corrects what is an unfortunately common accidental antipattern,
where creating a command meant just to be the handler of a user
interface button ends up in the command palette unless you explicitly
set `"when": "false"` in the command palette section of the
configuration.
Also enforce the naming convention that commands prefixed with
`codeQLDatabases.` are those meant for the databases panel only, while
prefixing `codeQL.` means that it's meant to be directly accessible
through the command palette.
2020-05-19 10:59:35 -04:00
jcreedcmu
1e86e08851
Merge pull request #376 from shati-patel/choose-db
...
Update README with new command for adding database
2020-05-19 09:14:38 -04:00
Shati Patel
c505996ca0
Update README with new command for adding database
2020-05-19 13:19:58 +01:00
Jason Reed
0796893017
Logging: More chatty logging during extension initialization.
...
Mainly intentded to make it easier to debug the cause of
command-palette commands being undefined.
2020-05-18 13:24:00 -04:00
jcreedcmu
6fdfade1ed
Merge pull request #374 from aeisenberg/path-fix
...
Fix paths on windows when opening archive databases
2020-05-15 19:35:04 -04:00
Andrew Eisenberg
e31f8b73ac
Fix paths on windows when opening archive databases
2020-05-15 16:30:50 -07:00
jcreedcmu
f38d0fd08e
Merge pull request #372 from github/version/bump-to-v1.1.6
...
Bump version to v1.1.6
2020-05-15 15:39:14 -04:00
github-actions[bot]
579aba5abb
Bump version to v1.1.6
2020-05-15 19:00:31 +00:00
jcreedcmu
31066be29e
Merge pull request #371 from aeisenberg/aeisenberg/release
...
Build Extension / Build (ubuntu-latest) (push) Has been cancelled
Build Extension / Build (windows-latest) (push) Has been cancelled
Build Extension / Test (ubuntu-latest) (push) Has been cancelled
Build Extension / Test (windows-latest) (push) Has been cancelled
Release / Release (push) Has been cancelled
Update changelog for release
2020-05-15 14:55:47 -04:00
Andrew Eisenberg
3bbecb248b
Update changelog for release
2020-05-15 11:53:58 -07:00
jcreedcmu
691c9af1f7
Merge pull request #370 from aeisenberg/aeisenberg/import-notify
...
Refactor how we import database archives
2020-05-15 13:43:10 -04:00
Andrew Eisenberg
a137a72e02
Refactor how we import database archives
...
Now, importing an archive includes a progress monitor and will also
display a message when complete. Error handling is also more uniform.
2020-05-15 10:39:40 -07:00
Jason Reed
a98e3bc9ae
Fix docs, comments.
2020-05-15 12:42:46 -04:00
Jason Reed
4ffab3c16d
Remove feature flag guard around source archive jump-to-definition
2020-05-15 12:42:46 -04:00
Andrew Eisenberg
bb3aa79dad
Update changelog
2020-05-15 08:27:51 -07:00
Andrew Eisenberg
7f34fcaa1c
Update commands for importing databases
...
1. Add commands for importing an archive, folder, or from internet
2. Add new icons for all of them
3. Ensure that each command can only retrieve databases through a
single mechanism
2020-05-15 08:27:51 -07:00
Andrew Eisenberg
e42a39e5ec
Look for either .dbinfo or codeql-database.yml
2020-05-15 08:27:51 -07:00
Andrew Eisenberg
bd22878ec8
Update changelog
2020-05-15 08:27:51 -07:00
Andrew Eisenberg
8dd1b9f44e
Augments the add database command to handle zip files
...
The add database command can now add databases by zip file. When a
file is selected, the zip file is attempted to be extracted into a
directory managed by the extension.
Once extracted, a database is searched for, by looking for a .dbinfo
file.
Crucially, we are using the same infrastructure to download a database
as we are to add a database by zip file.
2020-05-15 08:27:51 -07:00
jcreedcmu
2da70d774d
Merge pull request #367 from jbj/link-style
...
Make links variable-width without underline
2020-05-14 12:58:51 -04:00
Jonas Jensen
2fddc9cff1
Make links variable-width without underline
...
These are two independent changes.
- The monospace font used in links made the text larger so that less
text could fit on the screen. It also suggested that all link text was
an code snippet, which it isn't. The advantage of a fixed-width font,
vertical alignment, was not put to any use.
- Underlining of links made it almost impossible to distinguish a space
from an underscore.
2020-05-14 09:59:44 +02:00
jcreedcmu
11d9bdc8e1
Merge pull request #365 from aeisenberg/lint-semi
...
Add semi-colon linting
2020-05-13 15:40:47 -04:00
Andrew Eisenberg
7d23a833b1
Add semi-colon linting
2020-05-13 12:06:53 -07:00
Andrew Eisenberg
258322057f
Ensure the extension dir exists before writing to it
2020-05-13 11:47:43 -07:00
jcreedcmu
6ded193891
Merge pull request #362 from github/version/bump-to-v1.1.5
...
Bump version to v1.1.5
2020-05-13 14:44:41 -04:00
jcreedcmu
bb6b90646f
Merge pull request #363 from aeisenberg/lint-fixes
...
Fixes to how we lint automatically
2020-05-13 14:42:57 -04:00
Andrew Eisenberg
fece068800
Rename npm script for clarity
2020-05-13 11:36:05 -07:00
Andrew Eisenberg
de8b7d44cd
Avoid linting indentation rules
...
This is already handled by tsfmt and eslint has
some slight differences.
2020-05-13 11:29:32 -07:00
Andrew Eisenberg
432c5c9ae7
Move linting from precommit to prepush
...
It's a longer action, so we don't want to run it on each commit.
2020-05-13 11:27:34 -07:00
github-actions[bot]
59433af8be
Bump version to v1.1.5
2020-05-13 17:30:08 +00:00
Andrew Eisenberg
c6928d3159
Update changelog
Build Extension / Build (ubuntu-latest) (push) Has been cancelled
Build Extension / Build (windows-latest) (push) Has been cancelled
Build Extension / Test (ubuntu-latest) (push) Has been cancelled
Build Extension / Test (windows-latest) (push) Has been cancelled
Release / Release (push) Has been cancelled
2020-05-13 10:25:06 -07:00
Andrew Eisenberg
fd26e02ed3
Update changelog
2020-05-13 08:10:38 -07:00
Andrew Eisenberg
de381804f6
Fix lint
2020-05-13 08:10:38 -07:00
Andrew Eisenberg
2f92477bd9
Move storagePath calculation to extension.ts
2020-05-13 08:10:38 -07:00
Andrew Eisenberg
926ab92dfe
Add command to download, unzip, and open databases
...
New command that requests a URL and allows a user to install a
database from that url.
Closes #357
2020-05-13 08:10:38 -07:00
Andrew Eisenberg
36484fcea6
Formatting
2020-05-13 08:10:38 -07:00
