model name should always appear in full

ASSERT-KTH · Sep 20, 2024 · 434b3b6 · 434b3b6
1 parent a231bd1
commit 434b3b6
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 23 deletions.
diff --git a/webpage/src/components/LeaderboardTable.css b/webpage/src/components/LeaderboardTable.css
@@ -177,38 +177,28 @@
 
 .model-name-cell {
   position: relative;
-  width: 200px; /* Adjust this value as needed */
-  overflow: hidden;
+  width: auto; /* Change from fixed width to auto */
+  min-width: 200px; /* Set a minimum width */
+  max-width: none; /* Remove max-width constraint */
+  white-space: nowrap;
+  overflow: visible; /* Change from hidden to visible */
 }
 
 .model-name-content {
   white-space: nowrap;
-  overflow-x: auto;
-  scrollbar-width: none; /* Firefox */
-  -ms-overflow-style: none; /* Internet Explorer 10+ */
-}
-
-.model-name-content::-webkit-scrollbar {
-  display: none; /* WebKit */
+  overflow: visible; /* Change from auto to visible */
 }
 
+/* Remove these styles as they're no longer needed */
 .model-name-cell:hover .model-name-content {
-  overflow-x: scroll;
-}
-
-/* Show scrollbar on hover for WebKit browsers */
-.model-name-cell:hover .model-name-content::-webkit-scrollbar {
-  display: block;
-  height: 5px;
-}
-
-.model-name-cell:hover .model-name-content::-webkit-scrollbar-thumb {
-  background-color: rgba(0, 0, 0, 0.2);
-  border-radius: 2.5px;
+  overflow-x: visible;
 }
 
+/* Remove scrollbar styles */
+.model-name-cell:hover .model-name-content::-webkit-scrollbar,
+.model-name-cell:hover .model-name-content::-webkit-scrollbar-thumb,
 .model-name-cell:hover .model-name-content::-webkit-scrollbar-track {
-  background-color: rgba(0, 0, 0, 0.1);
+  display: none;
 }
 
 .header-content {

diff --git a/webpage/src/components/LeaderboardTable.js b/webpage/src/components/LeaderboardTable.js
@@ -123,7 +123,9 @@ const LeaderboardTable = () => {
             <div className="model-name-content">{value}</div>
           </div>
         ),
-        disableSortBy: false
+        disableSortBy: false,
+        width: 'auto', // Allow the column to adjust its width
+        minWidth: 100, // Set a minimum width
       },
       {
         Header: `Defects4J (${bugCounts.defects4j || 0} bugs)`,