Make title in window/progress optional

Proposing this as of microsoft#245 (comment). Existing discussion regarding the title: sourcegraph#21 (comment).
Xanewok · Oct 4, 2017 · cbf3e4e · cbf3e4e
1 parent 9a36d6a
commit cbf3e4e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/protocol.md b/protocol.md
@@ -1340,10 +1340,10 @@ interface ProgressParams {
   id: string;
 
   /**
-   * The title of the progress.
-   * This should be the same for all ProgressParams with the same id.
+   * Optional title of the progress.
+   * If unset, the previous title (if any) is still valid.
    */
-  title: string;
+  title?: string;
 
   /**
    * Optional progress message to display.