Skip to content

Switching between multiple planners
Compare
Choose a tag to compare
@jan-dolejsi jan-dolejsi released this 28 Apr 23:03
· 313 commits to master since this release
v2.17.1
ee7234e
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

[2.17.0]

Planner switching

Support for multiple planners, extensibility (other extensions can now inject planner providers) and easy switching between them either
using the PDDL: Select planner command, Ctrl+Alt+P or via the status bar item.
Previous planner configuration settings (pddlPlanner.executableOrService and pddlPlanner.executableOptions) are now deprecated
and the extension automatically migrates them to pddl.planners and pddl.selectedPlanner. The migration is supported for all places,
where the configuration settings are stored in VS Code: the User settings, Workspace and WorkspaceFolder settings.
Setting pddl.showPlannerInStatusBar may be used to hide the planner selector in the status bar (if you only ever use one planner).

PDDL Planner Configuration

The original command PDDL: Configure planner changed behavior. It now triggers re-configuration of the currently selected planner.

Other fixes

  • Planner output target, parser and validator configuration on Overview Page now sensitive to workspace folder selection
  • Refactored the pddl-workspace (API for other extensions to inject their custom PDDL functionality) to use vscode-uri form of file Uri rather than string.
  • Overview page does no longer show fake (design-time) content in case something goes wrong during initialization (this was rather confusing)
Assets 2
Loading