Reset auto-refresh timer when manual refresh occurs

Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>

Author: Copilot

src/@types/vscode.proposed.chatSessionsProvider.d.ts

@@ -95,6 +95,11 @@ declare module 'vscode' {
 		 */
 		description?: string | MarkdownString;
 
+		/**
+		 * An optional badge that provides additional context about the chat session.
+		 */
+		badge?: string | MarkdownString;
+
 		/**
 		 * An optional status indicating the current state of the session.
 		 */

src/view/prsTreeDataProvider.ts

@@ -197,12 +197,20 @@ export class PullRequestsTreeDataProvider extends Disposable implements vscode.T
 		this._autoRefreshTimer = setInterval(() => {
 			Logger.appendLine('Auto-refreshing pull requests queries', 'PullRequestsTreeDataProvider');
 			this.prsTreeModel.forceClearCache();
-			this.refreshAllQueryResults(true);
+			this.tryReset(true);
+			this.fireRefresh();
 		}, intervalMs);
 
 		Logger.appendLine(`Auto-refresh enabled with interval of ${actualIntervalMinutes} minutes`, 'PullRequestsTreeDataProvider');
 	}
 
+	private resetAutoRefreshTimer(): void {
+		// Only reset if auto-refresh is currently enabled
+		if (this._autoRefreshTimer) {
+			this.setupAutoRefresh();
+		}
+	}
+
 	private filterNotificationsToKnown(notifications: PullRequestModel[]): PullRequestModel[] {
 		return notifications.filter(notification => {
 			if (!this.prsTreeModel.hasPullRequest(notification)) {
@@ -414,9 +422,7 @@ export class PullRequestsTreeDataProvider extends Disposable implements vscode.T
 		}
 	}
 
-	private refreshAllQueryResults(reset?: boolean) {
-		this.tryReset(!!reset);
-
+	private fireRefresh() {
 		if (!this._children || this._children.length === 0) {
 			this._onDidChangeTreeData.fire();
 			return;
@@ -429,6 +435,15 @@ export class PullRequestsTreeDataProvider extends Disposable implements vscode.T
 		this.refreshQueryResultsForFolder();
 	}
 
+	private refreshAllQueryResults(reset?: boolean) {
+		this.tryReset(!!reset);
+
+		// Reset the auto-refresh timer whenever a refresh is triggered
+		this.resetAutoRefreshTimer();
+
+		this.fireRefresh();
+	}
+
 	private refreshQueryResultsForFolder(manager?: WorkspaceFolderNode, reset?: boolean) {
 		if (!manager && this._children[0] instanceof WorkspaceFolderNode) {
 			// Not permitted. There're multiple folder nodes, therefore must specify which one to refresh