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
c2717d7725
Merge branch 'master' into jcreed/jump-to-def-release
2020-05-19 14:14:59 -04:00
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
6db514843b
Merge branch 'master' into jcreed/jump-to-def-release
2020-05-19 13:57:20 -04:00
c8d64e4c35
Merge branch 'master' into jcreed/more-logging
2020-05-19 13:56:10 -04:00
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
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
c01772848c
Add all db-getting commands (dl, folder, zip) to command palette
2020-05-19 11:32:54 -04:00
ab09cdb66d
Make capitalization consistent
2020-05-19 11:02:32 -04:00
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
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
c505996ca0
Update README with new command for adding database
2020-05-19 13:19:58 +01:00
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
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
e31f8b73ac
Fix paths on windows when opening archive databases
2020-05-15 16:30:50 -07:00
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
579aba5abb
Bump version to v1.1.6
2020-05-15 19:00:31 +00:00
31066be29e
Merge pull request #371 from aeisenberg/aeisenberg/release
...
Update changelog for release
2020-05-15 14:55:47 -04:00
3bbecb248b
Update changelog for release
2020-05-15 11:53:58 -07:00
691c9af1f7
Merge pull request #370 from aeisenberg/aeisenberg/import-notify
...
Refactor how we import database archives
2020-05-15 13:43:10 -04:00
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
a98e3bc9ae
Fix docs, comments.
2020-05-15 12:42:46 -04:00
4ffab3c16d
Remove feature flag guard around source archive jump-to-definition
2020-05-15 12:42:46 -04:00
bb3aa79dad
Update changelog
2020-05-15 08:27:51 -07:00
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
e42a39e5ec
Look for either .dbinfo or codeql-database.yml
2020-05-15 08:27:51 -07:00
bd22878ec8
Update changelog
2020-05-15 08:27:51 -07:00
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
2da70d774d
Merge pull request #367 from jbj/link-style
...
Make links variable-width without underline
2020-05-14 12:58:51 -04:00
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
11d9bdc8e1
Merge pull request #365 from aeisenberg/lint-semi
...
Add semi-colon linting
2020-05-13 15:40:47 -04:00
7d23a833b1
Add semi-colon linting
2020-05-13 12:06:53 -07:00
258322057f
Ensure the extension dir exists before writing to it
2020-05-13 11:47:43 -07:00
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
bb6b90646f
Merge pull request #363 from aeisenberg/lint-fixes
...
Fixes to how we lint automatically
2020-05-13 14:42:57 -04:00
fece068800
Rename npm script for clarity
2020-05-13 11:36:05 -07:00
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
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
59433af8be
Bump version to v1.1.5
2020-05-13 17:30:08 +00:00
c6928d3159
Update changelog
2020-05-13 10:25:06 -07:00
fd26e02ed3
Update changelog
2020-05-13 08:10:38 -07:00
de381804f6
Fix lint
2020-05-13 08:10:38 -07:00
2f92477bd9
Move storagePath calculation to extension.ts
2020-05-13 08:10:38 -07:00
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
36484fcea6
Formatting
2020-05-13 08:10:38 -07:00
89e7b03d4a
Add format and lint on commit
2020-05-12 10:15:48 -07:00
c3e3390647
Extract BQRS locations from string results
2020-05-08 11:49:46 -07:00
010ae64da3
Use inline-source-map
...
This gets a better debugging experience for webview.
2020-05-08 11:49:46 -07:00
bd3702121f
Never run format on save
...
This can lead to lots of non-semantic whitespace changes.
2020-05-08 11:49:46 -07:00
043d17d454
Merge pull request #356 from github/version/bump-to-v1.1.4
...
Bump version to v1.1.4
2020-05-08 12:49:35 -04:00
jcreedcmu
Shati Patel
Andrew Eisenberg
github-actions[bot]
Jonas Jensen