Fix rename in comments
This commit is contained in:
@@ -1639,7 +1639,7 @@ const checkForUpdatesCommand = "codeQL.checkForUpdatesToCLI";
|
||||
/**
|
||||
* This text provider lets us open readonly files in the editor.
|
||||
*
|
||||
* TODO: Consolidate this with the 'codeql' text provider in history-tree-data-provider.ts.
|
||||
* TODO: Consolidate this with the 'codeql' text provider in query-history-manager.ts.
|
||||
*/
|
||||
function registerRemoteQueryTextProvider() {
|
||||
workspace.registerTextDocumentContentProvider("remote-query", {
|
||||
|
||||
@@ -68,7 +68,7 @@ import { App } from "../common/app";
|
||||
import { HistoryTreeDataProvider } from "./history-tree-data-provider";
|
||||
|
||||
/**
|
||||
* history-tree-data-provider.ts
|
||||
* query-history-manager.ts
|
||||
* ------------
|
||||
* Managing state of previous queries that we've executed.
|
||||
*
|
||||
|
||||
Reference in New Issue
Block a user