diff --git a/gui/src/app/FileEditor/TextEditor.tsx b/gui/src/app/FileEditor/TextEditor.tsx index 0156df67..2e93f5f7 100644 --- a/gui/src/app/FileEditor/TextEditor.tsx +++ b/gui/src/app/FileEditor/TextEditor.tsx @@ -228,7 +228,10 @@ const ToolbarItemComponent: FunctionComponent<{ item: ToolbarItem }> = ({ } } else if (item.type === "text") { return ( - + {item.label}    ); diff --git a/gui/src/app/Scripting/ScriptEditor.tsx b/gui/src/app/Scripting/ScriptEditor.tsx index 97ec153f..83b3b8c9 100644 --- a/gui/src/app/Scripting/ScriptEditor.tsx +++ b/gui/src/app/Scripting/ScriptEditor.tsx @@ -145,19 +145,19 @@ const makeToolbar = (o: { let label: string; let color: string; if (status === "loading") { - label = `Loading ${name}...`; + label = `loading ${name}...`; color = "blue"; } else if (status === "installing") { - label = `Installing packages for ${name}...`; + label = `installing packages for ${name}...`; color = "blue"; } else if (status === "running") { - label = "Running..."; + label = "running..."; color = "blue"; } else if (status === "completed") { - label = "Completed"; + label = "completed"; color = "green"; } else if (status === "failed") { - label = "Failed"; + label = "failed"; color = "red"; } else { label = ""; diff --git a/gui/src/localStyles.css b/gui/src/localStyles.css index 1024392e..1e33b1d0 100644 --- a/gui/src/localStyles.css +++ b/gui/src/localStyles.css @@ -87,6 +87,7 @@ .EditorMenuBar { background-color: lightgray; height: 25px; + padding-top: 5px; } .EditorWithToolbar {