Method progress_end

src/util.rs:1825–1837

Send a `WorkDoneProgressEnd` notification. After this call the editor removes the progress indicator. `message` is an optional final status line (e.g. "Indexed 5,678 classes").

(&self, token: &NumberOrString, message: Option<String>)

    /// `message` is an optional final status line (e.g. "Indexed 5,678
    /// classes").
    pub(crate) async fn progress_end(&self, token: &NumberOrString, message: Option<String>) {
        use tower_lsp::lsp_types::notification::Progress;

        let Some(client) = &self.client else { return };
        client
            .send_notification::<Progress>(ProgressParams {
                token: token.clone(),
                value: ProgressParamsValue::WorkDone(WorkDoneProgress::End(WorkDoneProgressEnd {
                    message,
                })),
            })
            .await;
    }
}

// ─── Self-keyword helpers ───────────────────────────────────────────────────