@@ -18,6 +18,43 @@ interface Props {
1818 selectedTable : string ;
1919}
2020
21+ const Container = styled . span `
22+ display: flex;
23+ padding: 0.5em 0;
24+ align-items: center;
25+ top: 0;
26+ background-color: var(--vscode-editorGutter-background);
27+ position: sticky;
28+ z-index: 1;
29+ ` ;
30+
31+ const PaginationButton = styled . button `
32+ padding: 0.3rem;
33+ margin: 0.2rem;
34+ border: 0;
35+ font-size: large;
36+ color: var(--vscode-editor-foreground);
37+ background-color: var(--vscode-editorGutter-background);
38+ cursor: pointer;
39+ opacity: 0.8;
40+
41+ &:hover {
42+ opacity: 1;
43+ }
44+ ` ;
45+
46+ const PageNumberInput = styled . input `
47+ border-radius: 0;
48+ padding: 0.3rem;
49+ margin: 0.2rem;
50+ width: 2rem;
51+ color: var(--vscode-editor-foreground);
52+ border: 0;
53+ border-bottom: 1px solid var(--vscode-editor-foreground);
54+ background-color: var(--vscode-editorGutter-background);
55+ outline: none;
56+ ` ;
57+
2158const OpenQueryLink = styled ( TextButton ) `
2259 text-decoration: none;
2360` ;
@@ -110,9 +147,9 @@ export function ResultTablesHeader(props: Props) {
110147 } , [ queryPath ] ) ;
111148
112149 return (
113- < span className = "vscode-codeql__table-selection-pagination" >
114- < button onClick = { prevPageHandler } > «</ button >
115- < input
150+ < Container >
151+ < PaginationButton onClick = { prevPageHandler } > «</ PaginationButton >
152+ < PageNumberInput
116153 type = "number"
117154 size = { 3 }
118155 value = { selectedPage }
@@ -123,16 +160,16 @@ export function ResultTablesHeader(props: Props) {
123160 onKeyDown = { onKeyDownHandler }
124161 />
125162 < span > / { numPages } </ span >
126- < button value = ">" onClick = { nextPageHandler } >
163+ < PaginationButton value = ">" onClick = { nextPageHandler } >
127164 »
128- </ button >
165+ </ PaginationButton >
129166 < div className = { tableHeaderItemClassName } > { queryName } </ div >
130167 < div className = { tableHeaderItemClassName } >
131168 < OpenQueryLink onClick = { openQueryHandler } >
132169 Open { basename ( queryPath ) }
133170 </ OpenQueryLink >
134171 </ div >
135- </ span >
172+ </ Container >
136173 ) ;
137174}
138175
0 commit comments