GUI: improve colors

CompEpigen · Mar 13, 2024 · 2929322 · 2929322
1 parent 627f1c8
commit 2929322
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/figeno/gui/src/App.js b/figeno/gui/src/App.js
@@ -135,6 +135,7 @@ export default function App() {
       const regions=[];
       for (const r of data.regions){
         const region={id:uuid4(),...r};
+        if (!region.hasOwnProperty("color")) {region.color="#f4a460"}
         regions.push(region);
       }
       setRegionsList(regions);

diff --git a/figeno/gui/src/style.css b/figeno/gui/src/style.css
@@ -60,7 +60,7 @@ input{
   right:30%;*/
   left:50%;
   width:700px;
-  margin-left: -350px;
+  margin-left: -390px;
   top:10%;
   /*left:50px;*/