Planner switch (#61)

* - vscode-uri used outside of vscode-dependent code instead of String form - configuration folder refactoring - multi-planner configuration - planner base classes moved to pddl-workspace - multi-planner configuration on Overview Page - overview page face-lift - overview page update event batching * - fix for canceled planner addition * changelong * - planners from all scopes are supported - setting to hide planner selector in status bar * - configuration scope displayed for planner * planner configuration includes its index and origin workspace folder * - planner output target, parser and validator configuration on Overview Page now sensitive to workspace folder selection - workspace folder selector * v2.17.1, doc
jan-dolejsi · Apr 28, 2020 · ee7234e · ee7234e
1 parent 233f1f7
commit ee7234e
Show file tree

Hide file tree

Showing 81 changed files with 2,353 additions and 503 deletions.
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -8,6 +8,12 @@
 			"name": "Search debugger (html)",
 			"file": "${workspaceFolder}/views/searchview/search.html"
 		},
+		{
+			"type": "chrome",
+			"request": "launch",
+			"name": "Overview (html)",
+			"file": "${workspaceFolder}/views/overview/overview.html"
+		},
 		{
 			"name": "Launch Extension",
 			"type": "extensionHost",

diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,26 @@
 # PDDL support - What's new?
 
+## [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, <kbd>Ctrl</kbd>+<kbd>Alt</kbd>+<kbd>P</kbd> 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](https://raw.githubusercontent.com/wiki/jan-dolejsi/vscode-pddl/img/PDDL_planner_configuration.gif)
+
+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)
+
 ## [2.16.0]
 
 - PDDL Test Explorer

diff --git a/README.md b/README.md
@@ -30,6 +30,8 @@ Simplest way to get started is to:
 1. When you are ready to run the planner on your domain and problem files (both must be open in the editor), invoke the planner via context menu on one of the file text content, or via the <kbd>Alt</kbd> + <kbd>P</kbd> shortcut. The [planning.domains](http://solver.planning.domains/) solver will be used, so do not send any confidential PDDL code.
 1. Configure your own PDDL planner by following [instructions](https://github.com/jan-dolejsi/vscode-pddl/wiki/Configuring-the-PDDL-planner).
 
+![PDDL Planner Configuration](https://raw.githubusercontent.com/wiki/jan-dolejsi/vscode-pddl/img/PDDL_planner_configuration.gif)
+
 ### Explore VS Code PDDL show-cases
 
 To exercise the features of this PDDL Extension, clone this [vscode-pddl-samples](https://github.com/jan-dolejsi/vscode-pddl-samples/) repository and open the folder in VS Code. Follow the instructions and explanations in the [readme](https://github.com/jan-dolejsi/vscode-pddl-samples/blob/master/README.md).
@@ -520,7 +522,14 @@ The `solver` plugin's configuration (i.e. the URL of the solver service) is now
 
 ```json
 {
-    "pddlPlanner.executableOrService": "http://localhost:8087/solve"
+    "pddl.planners": [
+        {
+            "kind": "SERVICE_SYNC",
+            "url": "http://localhost:12345/solve",
+            "title": "http://localhost:12345/solve",
+            "canConfigure": true
+        }
+    ]
 }
 ```
 

diff --git a/images/dark/add.svg b/images/dark/add.svg
diff --git a/images/dark/folder-opened.svg b/images/dark/folder-opened.svg
diff --git a/images/dark/gear.svg b/images/dark/gear.svg
diff --git a/images/dark/json.svg b/images/dark/json.svg
diff --git a/images/dark/plug.svg b/images/dark/plug.svg
diff --git a/images/dark/root-folder.svg b/images/dark/root-folder.svg
diff --git a/images/dark/trash.svg b/images/dark/trash.svg
diff --git a/images/dark/vm.svg b/images/dark/vm.svg
diff --git a/images/light/add.svg b/images/light/add.svg
diff --git a/images/light/folder-opened.svg b/images/light/folder-opened.svg
diff --git a/images/light/gear.svg b/images/light/gear.svg
diff --git a/images/light/json.svg b/images/light/json.svg
diff --git a/images/light/plug.svg b/images/light/plug.svg
diff --git a/images/light/root-folder.svg b/images/light/root-folder.svg
diff --git a/images/light/trash.svg b/images/light/trash.svg