info stream

GitOrigin-RevId: 5d4cb01c250768ca00e15368b9c616b467e4f9ba

services/web/frontend/js/features/ide-react/components/editor/python/pyodide-worker-client.ts

@@ -5,7 +5,7 @@ import type {
 } from './pyodide-worker-messages'
 
 export type OutputCallback = (
-  stream: 'stdout' | 'stderr',
+  stream: 'stdout' | 'stderr' | 'info',
   line: string,
   fileId: string,
   executionId: string

services/web/frontend/js/features/ide-react/components/editor/python/pyodide-worker-messages.ts

@@ -28,7 +28,7 @@ export type LoadingFailedEvent = { type: 'loading-failed'; error: string }
 
 export type OutputLineEvent = {
   type: 'output-line'
-  stream: 'stdout' | 'stderr'
+  stream: 'stdout' | 'stderr' | 'info'
   line: string
   fileId: string
   executionId: string

services/web/frontend/js/features/ide-react/components/editor/python/python-output-pane.tsx

@@ -74,9 +74,12 @@ export default function PythonOutputPane() {
         {error && (
           <div className="ide-redesign-python-output-pane-error">{error}</div>
         )}
-        {output.map((line, index) => (
-          <div className="ide-redesign-python-output-pane-line" key={index}>
-            {line}
+        {output.map((entry, index) => (
+          <div
+            className={`ide-redesign-python-output-pane-line ide-redesign-python-output-pane-line-${entry.stream}`}
+            key={index}
+          >
+            {entry.line}
           </div>
         ))}
       </div>

services/web/frontend/js/features/ide-react/components/editor/python/python-runner.ts

@@ -21,8 +21,13 @@ export type ExecutionContext = {
 
 type Listener = () => void
 
+export type OutputLine = {
+  stream: 'stdout' | 'stderr' | 'info'
+  line: string
+}
+
 export type PythonRunnerState = {
-  output: string[]
+  output: OutputLine[]
   status: ExecutionStatus
   error: string | null
 }
@@ -116,11 +121,13 @@ export class PythonRunner {
             this.updateState({ status: 'finished' })
         }
       },
-      onOutput: (_stream, line, fileId, executionId) => {
+      onOutput: (stream, line, fileId, executionId) => {
         if (fileId !== this.fileId || this.activeExecutionId !== executionId) {
           return
         }
-        this.updateState({ output: appendCapped(this.state.output, line) })
+        this.updateState({
+          output: appendCapped(this.state.output, { stream, line }),
+        })
       },
     })
   }
@@ -185,7 +192,10 @@ export class PythonRunner {
       status: 'loading',
       output:
         this.state.status === 'running'
-          ? appendCapped(this.state.output, 'Execution interrupted')
+          ? appendCapped(this.state.output, {
+              stream: 'info',
+              line: 'Execution interrupted',
+            })
           : this.state.output,
     })
   }
@@ -198,8 +208,11 @@ export class PythonRunner {
   }
 }
 
-function appendCapped(existing: string[], line: string): string[] {
-  const updated = [...existing, line]
+function appendCapped(
+  existing: OutputLine[],
+  entry: OutputLine
+): OutputLine[] {
+  const updated = [...existing, entry]
   return updated.length > MAX_OUTPUT_LINES
     ? updated.slice(-MAX_OUTPUT_LINES)
     : updated