Andrew Eisenberg
b0328b03a0
Allow users more flexibility when opening a DB
...
Closes #383 .
See the heuristics in the issue.
2020-05-26 12:01:22 -07:00
Andrew Eisenberg
2d7d6fb873
Update changelog
2020-05-26 11:39:57 -07:00
Andrew Eisenberg
b7201c04dc
Add onEnterRules for language config
...
This change provides proper indent/outdent for block comments. Through
onEnterRules. Because onEnterRules are not exactly API, I had to use
a back door to implement them.
Also, it tweaks the language-configuration.json by adding more support
for things like word boundaries and auto-closing pairs.
Since QL has similar syntactical items as JavaScriot, I started with
the JS lang config and removed single quotes and back ticks.
2020-05-26 11:39:57 -07:00
Andrew Eisenberg
8db488563b
Add more tests for the archive-filesystem-provider
2020-05-26 10:50:03 -07:00
jcreedcmu
fac5f98d80
Merge pull request #382 from jcreedcmu/jcreed/zip-logging
...
Log more details when source archive entries aren't found
2020-05-26 12:38:40 -04:00
jcreedcmu
fccec96926
Merge pull request #389 from jcreedcmu/jcreed/no-defs-err
...
Add error message when there are no definitions/references queries available.
2020-05-26 12:38:24 -04:00
Jason Reed
8cadd3dcab
Add error message when no definitions queries.
2020-05-21 14:45:55 -04:00
jcreedcmu
d9e1a6f82a
Merge pull request #385 from github/jcreedcmu-patch-1
...
Update README.md
2020-05-21 11:06:15 -04:00
Bas van Schaik
f47a88dcb1
Update README.md
2020-05-21 16:02:31 +01:00
Bas van Schaik
8cab3e9c6f
Update README.md
2020-05-21 16:02:02 +01:00
jcreedcmu
165f3957ed
Update README.md
...
Include instructions about how to update libraries
2020-05-21 10:58:00 -04:00
Jason Reed
3e4eeeb8fd
Log more details when source archive entries aren't found
2020-05-20 08:49:58 -04:00
jcreedcmu
038e0a3c63
Merge pull request #381 from dbartol/dbartol/publish
...
Avoid need for `build` directory
2020-05-20 07:51:58 -04:00
Dave Bartolomeo
3e7084f65d
Remove build directory
2020-05-19 17:13:30 -04:00
Dave Bartolomeo
18bb4b0231
Avoid need for build directory
2020-05-19 17:03:56 -04:00
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
v1.2.0
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
v1.1.5
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