From cbf3e4eccf928668b1ddcbbe3a22bf2ab3f73260 Mon Sep 17 00:00:00 2001
From: Igor Matuszewski <Xanewok@gmail.com>
Date: Thu, 5 Oct 2017 00:04:40 +0200
Subject: [PATCH] Make `title` in `window/progress` optional

Proposing this as of https://github.com/Microsoft/language-server-protocol/pull/245#issuecomment-334301051.
Existing discussion regarding the title: https://github.com/sourcegraph/language-server-protocol/pull/21#discussion_r115819673.
---
 protocol.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/protocol.md b/protocol.md
index 1f7ff96c7..d231d5400 100644
--- 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.