diff --git a/src/App/App.tsx b/src/App/App.tsx index 7450429..82f94dc 100644 --- a/src/App/App.tsx +++ b/src/App/App.tsx @@ -112,7 +112,7 @@ export function App() { paddingLeft: 1, }}> -
+
diff --git a/src/App/TopPanel.tsx b/src/App/TopPanel.tsx index 56d223c..2acd3ed 100644 --- a/src/App/TopPanel.tsx +++ b/src/App/TopPanel.tsx @@ -102,13 +102,14 @@ export function TopPanel({rt, time, setTime, onInit, onClear, onRaise, ast, mode return <>
{([ - ["and", ], - ["or", ], - ["pseudo", ], - ["transition", ], - ["text", <>T], - ] as [InsertMode, ReactElement][]).map(([m, buttonTxt]) => + ["and", "AND-states", ], + ["or", "OR-states", ], + ["pseudo", "pseudo-states", ], + ["transition", "transitions", ], + ["text", "text", <>T], + ] as [InsertMode, string, ReactElement][]).map(([m, hint, buttonTxt]) => )}