Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Unify table on the home page #1065

Open
wants to merge 15 commits into
base: main
Choose a base branch
from
2 changes: 1 addition & 1 deletion benchexec/tablegenerator/react-table/build/main.min.css

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion benchexec/tablegenerator/react-table/build/main.min.js

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion benchexec/tablegenerator/react-table/build/vendors.min.js

Large diffs are not rendered by default.

4 changes: 1 addition & 3 deletions benchexec/tablegenerator/react-table/scripts/start.js
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,6 @@
//
// SPDX-License-Identifier: Apache-2.0

"use strict";
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is removing this intentional?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No sir. Will revert!

Copy link
Contributor Author

@EshaanAgg EshaanAgg Jul 29, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Apparently, it's an ESLint recommendation to remove the same, as the "use strict" directive is useless outside of ES modules and does not work for standalone scripts.
image


const fs = require("fs");
const path = require("path");

Expand All @@ -18,7 +16,7 @@ if (dataParam) {

fs.copyFileSync(
path.resolve(__dirname, "../", dataParam),
path.resolve(process.env.DATA)
path.resolve(process.env.DATA),
);
}

Expand Down
15 changes: 14 additions & 1 deletion benchexec/tablegenerator/react-table/src/App.scss
Original file line number Diff line number Diff line change
Expand Up @@ -460,8 +460,21 @@ $content-height: calc(100vh - 43px); // height of .menu sums up to 43px
font-weight: bold;
}

th {
background-color: white;

&.sticky {
position: sticky !important;
left: 0;
z-index: 11;
}
}

tr:nth-child(even) {
background-color: mix($hover-color, white, 33%);
th {
background-color: mix($hover-color, white, 33%);
}
}

tr:hover {
Expand Down Expand Up @@ -513,9 +526,9 @@ $content-height: calc(100vh - 43px); // height of .menu sums up to 43px
}

.selectColumns {
display: block;
text-overflow: ellipsis;
overflow: hidden;
border: #555;
}
}
}
Expand Down
Loading