Remove unnecessary dismiss button

This commit is contained in:
Jason Reed
2020-02-25 09:26:08 -05:00
parent 54039823d3
commit 9c129f53ea

View File

@@ -310,7 +310,7 @@ async function activateWithInstalledDistribution(ctx: ExtensionContext, distribu
ctx.subscriptions.push(commands.registerCommand('codeQL.quickQuery', async () => displayQuickQuery(ctx, cliServer, databaseUI)));
ctx.subscriptions.push(commands.registerCommand('codeQL.restartQueryServer', async () => {
await qs.restartQueryServer();
const response = await Window.showInformationMessage('CodeQL Query Server restarted', 'Ok', 'Show Log');
const response = await Window.showInformationMessage('CodeQL Query Server restarted', 'Show Log');
if (response === 'Show Log') {
qs.showLog();
}