From d943dce11c09d08fe1d85966fd1b08adfe656ca3 Mon Sep 17 00:00:00 2001 From: "Jade (Rose) Rowland" Date: Tue, 30 Sep 2025 00:38:35 -0400 Subject: [PATCH] customize editor --- packages/osc/server.js | 0 website/src/components/Udels/UdelsHeader.jsx | 8 ++-- website/src/repl/components/Header.jsx | 48 ++------------------ website/src/repl/useReplContext.jsx | 5 ++ 4 files changed, 13 insertions(+), 48 deletions(-) mode change 100644 => 100755 packages/osc/server.js diff --git a/packages/osc/server.js b/packages/osc/server.js old mode 100644 new mode 100755 diff --git a/website/src/components/Udels/UdelsHeader.jsx b/website/src/components/Udels/UdelsHeader.jsx index 754716937..8d3c158bb 100644 --- a/website/src/components/Udels/UdelsHeader.jsx +++ b/website/src/components/Udels/UdelsHeader.jsx @@ -4,13 +4,13 @@ export default function UdelsHeader(Props) { const { numWindows, setNumWindows } = Props; return ( -