@@ -15,6 +15,7 @@ import {
15
15
Popover ,
16
16
Spin ,
17
17
Tabs ,
18
+ Tooltip ,
18
19
Typography ,
19
20
} from "antd" ;
20
21
import { Map as ImmutableMap , List , OrderedMap } from "immutable" ;
@@ -134,7 +135,7 @@ export const KernelSelector: React.FC<KernelSelectorProps> = React.memo(
134
135
const priority : number = kernels_by_name
135
136
?. get ( name )
136
137
?. getIn ( [ "metadata" , "cocalc" , "priority" ] ) as number ;
137
- return (
138
+ const btn = (
138
139
< Button
139
140
key = { `kernel-${ lang } -${ name } ` }
140
141
onClick = { ( ) => {
@@ -145,7 +146,7 @@ export const KernelSelector: React.FC<KernelSelectorProps> = React.memo(
145
146
how : "click-button-in-dialog" ,
146
147
} ) ;
147
148
} }
148
- style = { { marginBottom : "5px" , height : "35px" } }
149
+ style = { { height : "35px" } }
149
150
>
150
151
< Logo
151
152
kernel = { name }
@@ -156,6 +157,15 @@ export const KernelSelector: React.FC<KernelSelectorProps> = React.memo(
156
157
< KernelStar priority = { priority } />
157
158
</ Button >
158
159
) ;
160
+ const cocalc = kernels_by_name ?. getIn ( [ name , "metadata" , "cocalc" ] ) ;
161
+ if ( cocalc == null ) {
162
+ return btn ;
163
+ }
164
+ return (
165
+ < Tooltip color = "white" title = { render_suggested_link ( cocalc ) } >
166
+ { btn }
167
+ </ Tooltip >
168
+ ) ;
159
169
}
160
170
161
171
function render_suggested ( ) {
@@ -338,8 +348,9 @@ export const KernelSelector: React.FC<KernelSelectorProps> = React.memo(
338
348
return (
339
349
< Descriptions bordered column = { 1 } style = { SELECTION_STYLE } >
340
350
< Descriptions . Item label = { "Quick select" } >
341
- < div >
342
- Your most recently selected kernel { render_kernel_button ( name ) }
351
+ < div style = { { display : "flex" , alignItems : "center" } } >
352
+ Your most recently selected kernel{ " " }
353
+ < div style = { { width : "15px" } } /> { render_kernel_button ( name ) }
343
354
</ div >
344
355
</ Descriptions . Item >
345
356
< Descriptions . Item label = { "Make default" } >
@@ -492,7 +503,9 @@ export const KernelSelector: React.FC<KernelSelectorProps> = React.memo(
492
503
function render_head ( ) : Rendered {
493
504
return (
494
505
< div >
495
- < div style = { { float : "right" } } >
506
+ < div
507
+ style = { { float : "right" , display : "flex" , alignItems : "center" } }
508
+ >
496
509
{ renderCloseButton ( ) }
497
510
{ renderRefreshButton ( ) }
498
511
</ div >
0 commit comments