Make title in window/progress optional (#22)

Proposing this as of microsoft#245 (comment). Existing discussion regarding the title: #21 (comment).
sourcegraph · Oct 4, 2017 · 7fd3c12 · 7fd3c12
1 parent 9a36d6a
commit 7fd3c12
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.