Add a setting to increase PR refresh rate (#6911)

* Add a setting to increase PR refresh rate
Fixes #6909

* units

Author: alexr00

package.json

@@ -481,6 +481,11 @@
 					"markdownDescription": "%githubPullRequests.experimental.useQuickChat.description%",
 					"default": false
 				},
+				"githubPullRequests.webviewRefreshInterval": {
+					"type": "number",
+					"markdownDescription": "%githubPullRequests.webviewRefreshInterval.description%",
+					"default": 60
+				},
 				"githubIssues.ignoreMilestones": {
 					"type": "array",
 					"default": [],

package.nls.json

@@ -90,6 +90,7 @@
 	"githubPullRequests.experimental.notificationsView.description": "Enables the notifications view, which shows a list of your GitHub notifications. When combined with `#githubPullRequests.experimental.chat#`, you can have Copilot sort and summarize your notifications. View will not show in a Codespace accessed from the browser.",
 	"githubPullRequests.experimental.notificationsMarkPullRequests.description": "Adds an action in the Notifications view to mark pull requests with no non-empty reviews, comments, or commits since you last viewed the pull request as read.",
 	"githubPullRequests.experimental.useQuickChat.description": "Controls whether the Copilot \"Summarize\" commands in the Pull Requests, Issues, and Notifications views will use quick chat. Only has an effect if `#githubPullRequests.experimental.chat#` is enabled.",
+	"githubPullRequests.webviewRefreshInterval.description": "The interval, in seconds, at which the pull request and issues webviews are refreshed when the webview is the active tab.",
 	"githubIssues.ignoreMilestones.description": "An array of milestones titles to never show issues from.",
 	"githubIssues.createIssueTriggers.description": "Strings that will cause the 'Create issue from comment' code action to show.",
 	"githubIssues.createIssueTriggers.items": "String that enables the 'Create issue from comment' code action. Should not contain whitespace.",

src/common/settingKeys.ts

@@ -57,6 +57,7 @@ export const EXPERIMENTAL_USE_QUICK_CHAT = 'experimental.useQuickChat';
 export const EXPERIMENTAL_NOTIFICATIONS = 'experimental.notificationsView';
 export const EXPERIMENTAL_NOTIFICATIONS_PAGE_SIZE = 'experimental.notificationsViewPageSize';
 export const EXPERIMENTAL_NOTIFICATIONS_SCORE = 'experimental.notificationsScore';
+export const WEBVIEW_REFRESH_INTERVAL = 'webviewRefreshInterval';
 
 // git
 export const GIT = 'git';

src/github/issueOverview.ts

@@ -8,6 +8,7 @@ import * as vscode from 'vscode';
 import { openPullRequestOnGitHub } from '../commands';
 import { COPILOT_ACCOUNTS, IComment } from '../common/comment';
 import Logger from '../common/logger';
+import { WEBVIEW_REFRESH_INTERVAL } from '../common/settingKeys';
 import { ITelemetry } from '../common/telemetry';
 import { CommentEvent, EventType, TimelineEvent } from '../common/timelineEvent';
 import { asPromise, formatError } from '../common/utils';
@@ -132,13 +133,26 @@ export class IssueOverviewPanel<TItem extends IssueModel = IssueModel> extends W
 		this.pollForUpdates(true);
 	}
 
+	private getRefreshInterval(): number {
+		return vscode.workspace.getConfiguration().get<number>(`githubPullRequests.${WEBVIEW_REFRESH_INTERVAL}`) || 60;
+	}
+
+	private refreshIntervalSetting: vscode.Disposable | undefined;
 	private pollForUpdates(shorterTimeout: boolean = false): void {
 		const webview = shorterTimeout || vscode.window.tabGroups.all.find(group => group.activeTab?.input instanceof vscode.TabInputWebview && group.activeTab.input.viewType.endsWith(this.type));
-		const timeoutDuration = 1000 * 60 * (webview ? 1 : 5);
-		setTimeout(async () => {
+		const timeoutDuration = 1000 * (webview ? this.getRefreshInterval() : (5 * 60));
+		const timeout = setTimeout(async () => {
 			await this.refreshPanel();
 			this.pollForUpdates();
 		}, timeoutDuration);
+		if (!this.refreshIntervalSetting) {
+			this.refreshIntervalSetting = vscode.workspace.onDidChangeConfiguration(e => {
+				if (e.affectsConfiguration(`githubPullRequests.${WEBVIEW_REFRESH_INTERVAL}`)) {
+					clearTimeout(timeout);
+					this.pollForUpdates(true);
+				}
+			});
+		}
 	}
 
 	public async refreshPanel(): Promise<void> {