File tree 1 file changed +10
-4
lines changed
1 file changed +10
-4
lines changed Original file line number Diff line number Diff line change @@ -332,11 +332,17 @@ function AppContent() {
332
332
tabsWithPanels . push ( tabAndPanel ( {
333
333
key : 'python-output' ,
334
334
title : 'Python Output' ,
335
+ titleStyle : productsOutOfDate ? { textDecoration : 'line-through' } : { } ,
335
336
content :
336
- < Box
337
- className = 'terminal-output'
338
- sx = { { paddingX : 2 , paddingY : 1 } }
339
- > { TerminalOutput ( 'python-output' , pythonOutput ) } </ Box >
337
+ < Box sx = { { display : 'flex' , flexDirection : 'column' , height : '100%' } } >
338
+ { productsOutOfDate && < Alert variant = 'soft' color = 'warning' sx = { { borderRadius : 0 } } >
339
+ The Python output is out of date. Run the program again to refresh it.
340
+ </ Alert > }
341
+ < Box
342
+ className = 'terminal-output'
343
+ sx = { { flexGrow : 1 , paddingX : 2 , paddingY : 1 } }
344
+ > { TerminalOutput ( 'python-output' , pythonOutput ) } </ Box >
345
+ </ Box >
340
346
} ) ) ;
341
347
342
348
useEffect ( ( ) => {
You can’t perform that action at this time.
0 commit comments