Back in sync w/ master #1
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…execute happenings.
Plan happenings validation and effect evaluation; usability fixes
…ation UX improved.
…ebugging ext activation on linux. Replaced the opt-in telemetry mechanism to count activations.
…ly modifed by the plan.
- avoid double-quote enclosing 'java -javaagent:' command-lines - exported plan file is forcibly saved to disk
- read-only and read-write sessions open via the same command and distinguished by the /check call - node 'fs' calls promisified in separate file asyncfs.ts - tslint warnings addressed - search debugger shows the port number in the radio signal icon tooltip
- refined the workspace folder selection - fording the quick pick after uri-handler to ignore focus-out (VS Code bug?)
- added sharing of session URL via mailto: handling email client - v2.11.0
- configurable state ID pattern - state heuristic log is searchable - search dead-ends visualized in brown
… report - more async I/O - tslint warnings addressed - search debugger: fit tree with "F" - Planning.Domains session support file renaming
- refreshing the test cases AFTER revealing them
…older settings - allowing non-conflicting untracked files when checking out session
- renamed workspace-model file to PddlWorkspace - refactored problem pre-processing to async - lint warnings - refactored towards fs.promises
- run all PDDL Tests in the workspace
…ing and till VS Code updates to Node.js 10.10+ - Planning.Domains classroom student sessions no longer in sub-folder of the template session
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.