@@ -92,7 +92,7 @@ export class PyRepl extends BaseEvalElement {
92
92
extensions . push ( customTheme ) ;
93
93
}
94
94
95
- let startState = EditorState . create ( {
95
+ const startState = EditorState . create ( {
96
96
doc : this . code . trim ( ) ,
97
97
extensions : extensions
98
98
} ) ;
@@ -102,19 +102,19 @@ export class PyRepl extends BaseEvalElement {
102
102
parent : this . editorNode
103
103
} ) ;
104
104
105
- let mainDiv = document . createElement ( 'div' ) ;
105
+ const mainDiv = document . createElement ( 'div' ) ;
106
106
addClasses ( mainDiv , [ "parentBox" , "group" , "flex" , "flex-col" , "mt-2" , "mx-8" , "relative" ] )
107
107
// add Editor to main PyScript div
108
108
109
109
// Butons DIV
110
- var eDiv = document . createElement ( 'div' ) ;
111
- addClasses ( eDiv , "buttons-box opacity-0 group-hover:opacity-100 relative top -0 right-0 flex flex-row-reverse space-x-reverse space-x-4 font-mono text-white text-sm font-bold leading-6 dev-buttons-group relative z-10 top-4 " . split ( " " ) )
110
+ const eDiv = document . createElement ( 'div' ) ;
111
+ addClasses ( eDiv , "buttons-box opacity-0 group-hover:opacity-100 relative right -0 top-4 z-10 flex flex-row-reverse space-x-reverse space-x-4 font-mono text-white text-sm font-bold leading-6 dev-buttons-group" . split ( " " ) )
112
112
eDiv . setAttribute ( "role" , "group" ) ;
113
113
114
114
// Play Button
115
115
this . btnRun = document . createElement ( 'button' ) ;
116
116
this . btnRun . innerHTML = '<svg id="" class="svelte-fa svelte-ps5qeg" style="height:20px;width:20px;vertical-align:-.125em;transform-origin:center;overflow:visible;color:green" viewBox="0 0 384 512" aria-hidden="true" role="img" xmlns="http://www.w3.org/2000/svg"><g transform="translate(192 256)" transform-origin="96 0"><g transform="translate(0,0) scale(1,1)"><path d="M361 215C375.3 223.8 384 239.3 384 256C384 272.7 375.3 288.2 361 296.1L73.03 472.1C58.21 482 39.66 482.4 24.52 473.9C9.377 465.4 0 449.4 0 432V80C0 62.64 9.377 46.63 24.52 38.13C39.66 29.64 58.21 29.99 73.03 39.04L361 215z" fill="currentColor" transform="translate(-192 -256)"></path></g></g></svg>' ;
117
- let buttonClasses = [ "mr-2" , "block" ] ;
117
+ const buttonClasses = [ "mr-2" , "block" ] ;
118
118
addClasses ( this . btnRun , buttonClasses ) ;
119
119
eDiv . appendChild ( this . btnRun ) ;
120
120
0 commit comments