File tree Expand file tree Collapse file tree 3 files changed +13
-9
lines changed
Expand file tree Collapse file tree 3 files changed +13
-9
lines changed Original file line number Diff line number Diff line change @@ -51,7 +51,10 @@ export type Entry = File | Directory;
5151 */
5252export type DirectoryHierarchyMap = Map < string , Map < string , vscode . FileType > > ;
5353
54- export type ZipFileReference = { sourceArchiveZipPath : string , pathWithinSourceArchive : string } ;
54+ export type ZipFileReference = {
55+ sourceArchiveZipPath : string ;
56+ pathWithinSourceArchive : string ;
57+ } ;
5558
5659/** Encodes a reference to a source file within a zipped source archive into a single URI. */
5760export function encodeSourceArchiveUri ( ref : ZipFileReference ) : vscode . Uri {
@@ -239,7 +242,7 @@ export class ArchiveFileSystemProvider implements vscode.FileSystemProvider {
239242 }
240243
241244 private async _lookupAsFile ( uri : vscode . Uri ) : Promise < File > {
242- let entry = await this . _lookup ( uri ) ;
245+ const entry = await this . _lookup ( uri ) ;
243246 if ( entry instanceof File ) {
244247 return entry ;
245248 }
Original file line number Diff line number Diff line change @@ -15,14 +15,14 @@ import { QueryWithResults } from './run-queries';
1515 */
1616
1717export type QueryHistoryItemOptions = {
18- label ?: string , // user-settable label
19- queryText ?: string , // stored query for quick query
18+ label ?: string ; // user-settable label
19+ queryText ?: string ; // stored query for quick query
2020}
2121
2222/**
2323 * Path to icon to display next to a failed query history item.
2424 */
25- const FAILED_QUERY_HISTORY_ITEM_ICON : string = 'media/red-x.svg' ;
25+ const FAILED_QUERY_HISTORY_ITEM_ICON = 'media/red-x.svg' ;
2626
2727/**
2828 * Tree data provider for the query history view.
@@ -122,7 +122,7 @@ export class QueryHistoryManager {
122122 ctx : ExtensionContext ;
123123 treeView : vscode . TreeView < CompletedQuery > ;
124124 selectedCallback : ( ( item : CompletedQuery ) => void ) | undefined ;
125- lastItemClick : { time : Date , item : CompletedQuery } | undefined ;
125+ lastItemClick : { time : Date ; item : CompletedQuery } | undefined ;
126126
127127 async invokeCallbackOn ( queryHistoryItem : CompletedQuery ) {
128128 if ( this . selectedCallback !== undefined ) {
Original file line number Diff line number Diff line change @@ -139,7 +139,7 @@ export class QueryInfo {
139139 target : this . quickEvalPosition ? {
140140 quickEval : { quickEvalPos : this . quickEvalPosition }
141141 } : {
142- query : { }
142+ query : { }
143143 }
144144 } ;
145145
@@ -176,8 +176,9 @@ export interface QueryWithResults {
176176 readonly options : QueryHistoryItemOptions ;
177177}
178178
179- export async function clearCacheInDatabase ( qs : qsClient . QueryServerClient , dbItem : DatabaseItem ) :
180- Promise < messages . ClearCacheResult > {
179+ export async function clearCacheInDatabase (
180+ qs : qsClient . QueryServerClient , dbItem : DatabaseItem
181+ ) : Promise < messages . ClearCacheResult > {
181182 if ( dbItem . contents === undefined ) {
182183 throw new Error ( 'Can\'t clear the cache in an invalid database.' ) ;
183184 }
You can’t perform that action at this time.
0 commit comments