From 76a1306a28745265fb991b1701673d5e8d3f3dcd Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Sat, 15 Jun 2024 00:32:21 +0100
Subject: [PATCH] Mark Python output as out of date, too.

---
 src/app.tsx | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/src/app.tsx b/src/app.tsx
index 7511fd0..0b5e32f 100644
--- a/src/app.tsx
+++ b/src/app.tsx
@@ -332,11 +332,17 @@ function AppContent() {
     tabsWithPanels.push(tabAndPanel({
       key: 'python-output',
       title: 'Python Output',
+      titleStyle: productsOutOfDate ? { textDecoration: 'line-through' } : {},
       content:
-        <Box
-          className='terminal-output'
-          sx={{ paddingX: 2, paddingY: 1 }}
-        >{TerminalOutput('python-output', pythonOutput)}</Box>
+        <Box sx={{ display: 'flex', flexDirection: 'column', height: '100%' }}>
+          {productsOutOfDate && <Alert variant='soft' color='warning' sx={{ borderRadius: 0 }}>
+            The Python output is out of date. Run the program again to refresh it.
+          </Alert>}
+          <Box
+            className='terminal-output'
+            sx={{ flexGrow: 1, paddingX: 2, paddingY: 1 }}
+          >{TerminalOutput('python-output', pythonOutput)}</Box>
+        </Box>
     }));
 
   useEffect(() => {