@@ -57,21 +57,26 @@ export type ExecutionState =
5757 *
5858 * Status = 'unknown' | 'starting' | 'idle' | 'busy' | 'terminating' | 'restarting' | 'autorestarting' | 'dead';
5959 */
60- /* eslint-disable react/jsx-key */
60+
6161export const KERNEL_STATES : Map < ExecutionState , ReactElement > = new Map ( [
62- [ 'connecting' , < PlusCircleIcon /> ] ,
63- [ 'connected-unknown' , < CircleCurrentColorIcon color = "lightgray" /> ] ,
64- [ 'connected-starting' , < CircleYellowIcon /> ] ,
65- [ 'connected-idle' , < CircleGreenIcon /> ] ,
66- [ 'connected-busy' , < CircleOrangeIcon /> ] ,
67- [ 'connected-terminating' , < CircleWhiteIcon /> ] ,
68- [ 'connected-restarting' , < CirclePurpleIcon /> ] ,
69- [ 'connected-autorestarting' , < CircleHollowRedIcon /> ] ,
70- [ 'connected-dead' , < CircleRedIcon /> ] ,
71- [ 'disconnecting' , < CircleBrownIcon /> ] ,
72- [ 'undefined' , < CircleBlackIcon /> ] ,
62+ [ 'connecting' , < PlusCircleIcon key = "connecting" /> ] ,
63+ [
64+ 'connected-unknown' ,
65+ < CircleCurrentColorIcon key = "connected-unknown" color = "lightgray" /> ,
66+ ] ,
67+ [ 'connected-starting' , < CircleYellowIcon key = "connected-starting" /> ] ,
68+ [ 'connected-idle' , < CircleGreenIcon key = "connected-idle" /> ] ,
69+ [ 'connected-busy' , < CircleOrangeIcon key = "connected-busy" /> ] ,
70+ [ 'connected-terminating' , < CircleWhiteIcon key = "connected-terminating" /> ] ,
71+ [ 'connected-restarting' , < CirclePurpleIcon key = "connected-restarting" /> ] ,
72+ [
73+ 'connected-autorestarting' ,
74+ < CircleHollowRedIcon key = "connected-autorestarting" /> ,
75+ ] ,
76+ [ 'connected-dead' , < CircleRedIcon key = "connected-dead" /> ] ,
77+ [ 'disconnecting' , < CircleBrownIcon key = "disconnecting" /> ] ,
78+ [ 'undefined' , < CircleBlackIcon key = "undefined" /> ] ,
7379] ) ;
74- /* eslint-enable react/jsx-key */
7580
7681export const toKernelState = (
7782 connectionStatus : ConnectionStatus ,
0 commit comments