Many minor fixes to workflow execution algorithms

2023-02-13 03:45:47 +01:00
parent 3d5192a5a7
commit f3292bc43e
18 changed files with 83 additions and 468 deletions
@@ -869,6 +869,7 @@ const Header = (props) => {
        width: "100%",
        position: "fixed",
        minHeight: 60,
+				maxHeight: 60,
        top: 0,
        zIndex: 10000,
        backgroundColor: "inherit",