You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// Default refresh interval (in milliseconds) for polling the current Git status (NOTE: this value should be the same value as in the plugin settings schema):
17
18
constDEFAULT_REFRESH_INTERVAL=3000;// ms
@@ -33,6 +34,11 @@ export class GitExtension implements IGitExtension {
33
34
})
34
35
.catch(reason=>{
35
36
console.error(`Fail to get the server root path.\n${reason}`);
37
+
showErrorMessage(
38
+
'Internal Error:',
39
+
`Fail to get the server root path.\n\n${reason}`,
40
+
[Dialog.warnButton({label: 'DISMISS'})]
41
+
);
36
42
});
37
43
38
44
letinterval: number;
@@ -1014,10 +1020,22 @@ export class GitExtension implements IGitExtension {
0 commit comments