Added reset plot button css

sosy-lab · Apr 14, 2024 · 1db81bc · 1db81bc
1 parent 709536d
commit 1db81bc
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 6 deletions.
diff --git a/benchexec/tablegenerator/react-table/src/App.scss b/benchexec/tablegenerator/react-table/src/App.scss
@@ -841,6 +841,9 @@ $content-height: calc(100vh - 43px); // height of .menu sums up to 43px
   }
 }
 
+//------------------plot------------------
+$plot-select-button-height: 25px;
+
 .quantilePlot {
   margin: 20px;
 
@@ -1001,12 +1004,17 @@ $content-height: calc(100vh - 43px); // height of .menu sums up to 43px
     margin: 0.4em 1em;
     margin-left: 0;
     border: 1px solid #c3c3c3;
-    height: 25px;
+    height: $plot-select-button-height;
     padding-left: 10px;
     border-radius: 3px;
     cursor: pointer;
   }
 
+  &-button {
+    height: $plot-select-button-height;
+    margin: 0.4em 1em;
+  }
+
   &.disabled,
   .disabled {
     color: rgba(0, 0, 0, 0.4);

diff --git a/benchexec/tablegenerator/react-table/src/utils/plot.js b/benchexec/tablegenerator/react-table/src/utils/plot.js
@@ -61,11 +61,8 @@ const renderSetting = (
  **/
 const renderResetButton = (resetHandler) => {
   return (
-    <button
-      onClick={() => resetHandler()}
-      style={{ height: 25, margin: "0.4em 1em" }}
-    >
-      Reset Modifications
+    <button className="setting-button" onClick={() => resetHandler()}>
+      Reset plot
     </button>
   );
 };