Add periodic notification refresh setting

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

Author: Copilot

package.json

@@ -297,6 +297,12 @@
 					"default": "off",
 					"description": "%githubPullRequests.notifications.description%"
 				},
+				"githubPullRequests.notificationsRefreshInterval": {
+					"type": "number",
+					"default": 600,
+					"minimum": 60,
+					"description": "%githubPullRequests.notificationsRefreshInterval.description%"
+				},
 				"githubPullRequests.fileListLayout": {
 					"type": "string",
 					"enum": [

package.nls.json

@@ -35,6 +35,7 @@
 	"githubPullRequests.queries.createdByMe": "Created By Me",
 	"githubPullRequests.defaultMergeMethod.description": "The method to use when merging pull requests.",
 	"githubPullRequests.notifications.description": "If GitHub notifications should be shown to the user.",
+	"githubPullRequests.notificationsRefreshInterval.description": "The interval in seconds at which to refresh GitHub notifications. Default is 600 seconds (10 minutes). Minimum is 60 seconds.",
 	"githubPullRequests.fileListLayout.description": "The layout to use when displaying changed files list.",
 	"githubPullRequests.hideViewedFiles.description": "Hide files that have been marked as viewed in the pull request changes tree.",
 	"githubPullRequests.defaultDeletionMethod.selectLocalBranch.description": "When true, the option to delete the local branch will be selected by default when deleting a branch from a pull request.",

src/common/settingKeys.ts

@@ -62,6 +62,7 @@ export const EXPERIMENTAL_CHAT = 'experimental.chat';
 export const EXPERIMENTAL_USE_QUICK_CHAT = 'experimental.useQuickChat';
 export const EXPERIMENTAL_NOTIFICATIONS_PAGE_SIZE = 'experimental.notificationsViewPageSize';
 export const EXPERIMENTAL_NOTIFICATIONS_SCORE = 'experimental.notificationsScore';
+export const NOTIFICATIONS_REFRESH_INTERVAL = 'notificationsRefreshInterval';
 export const WEBVIEW_REFRESH_INTERVAL = 'webviewRefreshInterval';
 
 // git

src/notifications/notificationsManager.ts

@@ -9,7 +9,7 @@ import { NotificationsProvider } from './notificationsProvider';
 import { commands, contexts } from '../common/executeCommands';
 import { Disposable } from '../common/lifecycle';
 import Logger from '../common/logger';
-import { NOTIFICATION_SETTING, NotificationVariants, PR_SETTINGS_NAMESPACE } from '../common/settingKeys';
+import { NOTIFICATION_SETTING, NOTIFICATIONS_REFRESH_INTERVAL, NotificationVariants, PR_SETTINGS_NAMESPACE } from '../common/settingKeys';
 import { EventType, TimelineEvent } from '../common/timelineEvent';
 import { toNotificationUri } from '../common/uri';
 import { CredentialStore } from '../github/credentials';
@@ -70,6 +70,13 @@ export class NotificationsManager extends Disposable implements vscode.TreeDataP
 					this._startPolling();
 				}
 			}
+			if (e.affectsConfiguration(`${PR_SETTINGS_NAMESPACE}.${NOTIFICATIONS_REFRESH_INTERVAL}`)) {
+				if (this.isPRNotificationsOn() && this._pollingHandler) {
+					// Restart polling with new interval
+					this._stopPolling();
+					this._startPolling();
+				}
+			}
 		}));
 		this._register(PullRequestOverviewPanel.onVisible(e => {
 			this.markPrNotificationsAsRead(e);
@@ -412,6 +419,10 @@ export class NotificationsManager extends Disposable implements vscode.TreeDataP
 		return (vscode.workspace.getConfiguration(PR_SETTINGS_NAMESPACE).get<NotificationVariants>(NOTIFICATION_SETTING) === 'pullRequests');
 	}
 
+	private _getRefreshInterval(): number {
+		return vscode.workspace.getConfiguration(PR_SETTINGS_NAMESPACE).get<number>(NOTIFICATIONS_REFRESH_INTERVAL, 600);
+	}
+
 	private async _pollForNewNotifications() {
 		this._pageCount = 1;
 		this._dateTime = new Date();
@@ -423,33 +434,34 @@ export class NotificationsManager extends Disposable implements vscode.TreeDataP
 			return;
 		}
 
-		// Adapt polling interval if it has changed.
-		if (response.pollInterval !== this._pollingDuration) {
-			this._pollingDuration = response.pollInterval;
-			if (this._pollingHandler && this.isPRNotificationsOn()) {
-				Logger.appendLine('Notifications: Clearing interval', NotificationsManager.ID);
-				clearInterval(this._pollingHandler);
-				Logger.appendLine(`Notifications: Starting new polling interval with ${this._pollingDuration}`, NotificationsManager.ID);
-				this._startPolling();
-			}
-		}
+		// Note: We ignore the pollInterval from GitHub's response and use the user-configured interval instead
 		if (response.lastModified !== this._pollingLastModified) {
 			this._pollingLastModified = response.lastModified;
 			this._onDidChangeTreeData.fire();
 		}
 		// this._onDidChangeNotifications.fire(oldPRNodesToUpdate);
 	}
 
+	private _stopPolling() {
+		if (this._pollingHandler) {
+			Logger.appendLine('Notifications: Clearing interval', NotificationsManager.ID);
+			clearInterval(this._pollingHandler);
+			this._pollingHandler = null;
+		}
+	}
+
 	private _startPolling() {
 		if (!this.isPRNotificationsOn()) {
 			return;
 		}
+		const refreshInterval = this._getRefreshInterval();
+		Logger.appendLine(`Notifications: Starting polling with interval ${refreshInterval} seconds`, NotificationsManager.ID);
 		this._pollForNewNotifications();
 		this._pollingHandler = setInterval(
 			function (notificationProvider: NotificationsManager) {
 				notificationProvider._pollForNewNotifications();
 			},
-			this._pollingDuration * 1000,
+			refreshInterval * 1000,
 			this
 		);
 		this._register({ dispose: () => clearInterval(this._pollingHandler!) });