ui changes

EshaanAgg · Aug 9, 2024 · ae4890d · ae4890d
1 parent 67339c9
commit ae4890d
Show file tree

Hide file tree

Showing 9 changed files with 6,718 additions and 10,582 deletions.
diff --git a/benchexec/tablegenerator/react-table/build/main.min.css b/benchexec/tablegenerator/react-table/build/main.min.css
diff --git a/benchexec/tablegenerator/react-table/build/main.min.js b/benchexec/tablegenerator/react-table/build/main.min.js
diff --git a/benchexec/tablegenerator/react-table/src/App.scss b/benchexec/tablegenerator/react-table/src/App.scss
@@ -52,6 +52,12 @@ $border-color: rgb(173, 173, 173);
 $hover-color: darken(white, 20%);
 
 //------------------common------------------
+.footer {
+  display: flex;
+  justify-content: center;
+  align-items: center;
+}
+
 .correct {
   color: green;
 }
@@ -449,7 +455,6 @@ $content-height: calc(100vh - 43px); // height of .menu sums up to 43px
 
   #benchmark_setup {
     width: 100%;
-    overflow-x: scroll;
 
     .fixedRowTitle {
       text-align: left;
@@ -460,7 +465,9 @@ $content-height: calc(100vh - 43px); // height of .menu sums up to 43px
 
     .stickCheckbox {
       position: sticky;
+      top: 0;
       left: 0;
+      width: max-content;
     }
 
     table {
@@ -509,7 +516,7 @@ $content-height: calc(100vh - 43px); // height of .menu sums up to 43px
       }
 
       tr:hover {
-        background-color: mix($hover-color, white, 66%);
+        background-color: mix($hover-color, white, 50%);
       }
 
       th {

diff --git a/benchexec/tablegenerator/react-table/src/components/Overview.js b/benchexec/tablegenerator/react-table/src/components/Overview.js
@@ -462,6 +462,26 @@ export default class Overview extends React.Component {
             )}
           </div>
         </div>
+
+        {/* Footer */}
+        {
+          // Do not display the footer on table and info pages
+          ["table", "info"].includes(this.state.active) ? null : (
+            <div className="footer">
+              <p className="footer-content">
+                Generated by{" "}
+                <a
+                  className="link"
+                  href="https://github.com/sosy-lab/benchexec"
+                  target="_blank"
+                  rel="noopener noreferrer"
+                >
+                  BenchExec {this.props.data.version}
+                </a>
+              </p>
+            </div>
+          )
+        }
       </Router>
     );
   }

diff --git a/benchexec/tablegenerator/react-table/src/components/StatisticsTable.js b/benchexec/tablegenerator/react-table/src/components/StatisticsTable.js
@@ -124,13 +124,11 @@ const StatisticsTable = ({ switchToQuantile, tableData, hiddenCols }) => {
                 style: {
                   margin: 0,
                   padding: 0,
-                  borderLeft: index !== 0 ? "1px solid grey" : "none",
+                  borderLeft: index !== 0 ? "1px solid #CCC" : "none",
                   borderRight:
                     index !== headerGroup.headers.length - 1
-                      ? "1px solid grey"
+                      ? "1px solid #CCC"
                       : "none",
-                  borderTop: "2px solid grey",
-                  borderBottom: "2px solid grey",
                   height: "3rem",
                 },
               })}

diff --git a/benchexec/tablegenerator/react-table/src/components/Summary.js b/benchexec/tablegenerator/react-table/src/components/Summary.js
@@ -72,7 +72,6 @@ const ToolNameAndVersion = ({ tool, version, project_url, version_url }) => {
 const Summary = ({
   tools,
   tableHeader,
-  version,
   selectColumn,
   stats: defaultStats,
   onStatsReady,
@@ -241,22 +240,21 @@ const Summary = ({
   return (
     <div id="summary">
       <div id="benchmark_setup">
-        <form
-          id="stickyform"
-          className={`fixedRowTitle ${isTitleColSticky ? "stickCheckbox" : ""}`}
-        >
-          <label title="Fix the first column" htmlFor="fixed-row-title">
-            Fixed row title:
-          </label>
-          <input
-            id="fixed-row-title"
-            name="fixed"
-            type="checkbox"
-            style={{ width: 20, height: 20 }}
-            checked={isTitleColSticky}
-            onChange={({ target }) => setTitleColSticky(target.checked)}
-          />
-        </form>
+        <div className={`${isTitleColSticky ? "stickCheckbox" : ""}`}>
+          <form id="stickyform" className="fixedRowTitle">
+            <label title="Fix the first column" htmlFor="fixed-row-title">
+              Fixed row title:
+            </label>
+            <input
+              id="fixed-row-title"
+              name="fixed"
+              type="checkbox"
+              style={{ width: 20, height: 20 }}
+              checked={isTitleColSticky}
+              onChange={({ target }) => setTitleColSticky(target.checked)}
+            />
+          </form>
+        </div>
 
         <table
           {...getTableProps()}
@@ -279,8 +277,6 @@ const Summary = ({
                         ...(col.id === "columnselect" && {
                           height: "3rem",
                           backgroundColor: "#EEE",
-                          borderTop: "2px solid grey",
-                          borderBottom: "2px solid grey",
                         }),
                         ...(col.stats && {
                           height: "2.3rem",
@@ -352,18 +348,6 @@ const Summary = ({
           </tbody>
         </table>
       </div>
-
-      <p>
-        Generated by{" "}
-        <a
-          className="link"
-          href="https://github.com/sosy-lab/benchexec"
-          target="_blank"
-          rel="noopener noreferrer"
-        >
-          BenchExec {version}
-        </a>
-      </p>
     </div>
   );
 };