@@ -69,10 +69,10 @@ const sumAnalysesResults = (analysesResults: AnalysisResults[]) =>
6969
7070const QueryInfo = ( queryResult : RemoteQueryResult ) => (
7171 < >
72- < VerticalSpace />
72+ < VerticalSpace size = { 1 } />
7373 { queryResult . totalResultCount } results in { queryResult . totalRepositoryCount } repositories
7474 ({ queryResult . executionDuration } ), { queryResult . executionTimestamp }
75- < VerticalSpace />
75+ < VerticalSpace size = { 1 } />
7676 < span className = "vscode-codeql__query-file" > { octicons . file }
7777 < a className = "vscode-codeql__query-file-link" href = "#" onClick = { ( ) => openQueryFile ( queryResult ) } >
7878 { queryResult . queryFileName }
@@ -97,7 +97,7 @@ const SummaryTitleWithResults = ({
9797
9898 return (
9999 < div className = "vscode-codeql__query-summary-container" >
100- < SectionTitle text = { ` Repositories with results ($ {queryResult . affectedRepositoryCount } ):` } / >
100+ < SectionTitle > Repositories with results ({ queryResult . affectedRepositoryCount } ):</ SectionTitle >
101101 {
102102 showDownloadButton && < DownloadButton
103103 text = "Download all"
@@ -109,7 +109,7 @@ const SummaryTitleWithResults = ({
109109
110110const SummaryTitleNoResults = ( ) => (
111111 < div className = "vscode-codeql__query-summary-container" >
112- < SectionTitle text = " No results found" / >
112+ < SectionTitle > No results found</ SectionTitle >
113113 </ div >
114114) ;
115115
@@ -128,7 +128,7 @@ const SummaryItemDownload = ({
128128
129129 if ( analysisResults . status === 'InProgress' ) {
130130 return < >
131- < HorizontalSpace />
131+ < HorizontalSpace size = { 2 } />
132132 < DownloadSpinner />
133133 </ > ;
134134 }
@@ -196,16 +196,16 @@ const Summary = ({
196196
197197const AnalysesResultsTitle = ( { totalAnalysesResults, totalResults } : { totalAnalysesResults : number , totalResults : number } ) => {
198198 if ( totalAnalysesResults === totalResults ) {
199- return < SectionTitle text = { ` ${ totalAnalysesResults } results` } / >;
199+ return < SectionTitle > { totalAnalysesResults } results</ SectionTitle > ;
200200 }
201201
202- return < SectionTitle text = { ` ${ totalAnalysesResults } /$ {totalResults } results` } / >;
202+ return < SectionTitle > { totalAnalysesResults } /{ totalResults } results</ SectionTitle > ;
203203} ;
204204
205205const AnalysesResultsDescription = ( { totalAnalysesResults, totalResults } : { totalAnalysesResults : number , totalResults : number } ) => {
206206 if ( totalAnalysesResults < totalResults ) {
207207 return < >
208- < VerticalSpace />
208+ < VerticalSpace size = { 1 } />
209209 Some results haven't been downloaded automatically because of their size or because enough were downloaded already.
210210 Download them manually from the list above if you want to see them here.
211211 </ > ;
@@ -223,8 +223,7 @@ const AnalysesResults = ({ analysesResults, totalResults }: { analysesResults: A
223223
224224 return (
225225 < >
226- < VerticalSpace />
227- < VerticalSpace />
226+ < VerticalSpace size = { 2 } />
228227 < AnalysesResultsTitle
229228 totalAnalysesResults = { totalAnalysesResults }
230229 totalResults = { totalResults } />
@@ -263,7 +262,7 @@ export function RemoteQueries(): JSX.Element {
263262 try {
264263 return < div >
265264 < ThemeProvider >
266- < ViewTitle title = { queryResult . queryTitle } / >
265+ < ViewTitle > { queryResult . queryTitle } </ ViewTitle >
267266 < QueryInfo { ...queryResult } />
268267 < Summary queryResult = { queryResult } analysesResults = { analysesResults } />
269268 < AnalysesResults analysesResults = { analysesResults } totalResults = { queryResult . totalResultCount } />
0 commit comments