Method schedule_mago_lint

src/diagnostics/mod.rs:1434–1437

Schedule a Mago lint run for a single file. Only the most recent file is kept: if the user switches files or types rapidly, earlier requests are superseded.

(&self, uri: String)

    /// Only the most recent file is kept: if the user switches files or
    /// types rapidly, earlier requests are superseded.
    fn schedule_mago_lint(&self, uri: String) {
        *self.mago_lint_pending_uri.lock() = Some(uri);
        self.mago_lint_notify.notify_one();
    }

    /// Long-lived background task that runs `mago lint` on pending files.
    ///