You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
The key has expired.
[2.15.3] Bug fixes
Fixed generated problem file/tab name for the pre-parse preview
Support for spaces in problem template pre-process command-line
Demoted Jinja2 errors to parsing problems make it possible to edit the files
Configuration selector menu shows current value
Introduced configuration to disable the model hierarchy decorator (for perf reasons)
Added PDDL3.1 undefined to syntax highlighting
To address the Issue #49 confusion why the search debugger is not displaying anything, when a planning service is called, the extension will now show a warning message that the search debugger config switch is being ignored.
Removed tips that were not effective at teaching how to use the more hidden features Issue #47 as suggested and fixed by @boramalper