Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
|
@@ -15,9 +15,6 @@ df = pd.read_csv("benchmark_overview_data.csv")
|
|
| 15 |
# Display DataFrame in a nicely formatted table using AgGrid
|
| 16 |
st.write("### Benchmark Details Table")
|
| 17 |
|
| 18 |
-
# Display DataFrame in a nicely formatted table using AgGrid
|
| 19 |
-
st.write("### Benchmark Details Table")
|
| 20 |
-
|
| 21 |
# Add a selectbox for filtering by evaluated task or showing all
|
| 22 |
task_options = ["All"] + list(df["Evaluated task"].unique())
|
| 23 |
selected_task = st.selectbox("Select an Evaluated Task", options=task_options)
|
|
@@ -32,6 +29,14 @@ else:
|
|
| 32 |
builder = GridOptionsBuilder.from_dataframe(filtered_data)
|
| 33 |
builder.configure_default_column(resizable=True, wrapText=True, autoHeight=False) # Disable autoHeight
|
| 34 |
builder.configure_grid_options(domLayout='normal', rowHeight=40) # Set fixed row height
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 35 |
options = builder.build()
|
| 36 |
|
| 37 |
AgGrid(filtered_data, gridOptions=options, height=600, fit_columns_on_grid_load=True, theme="streamlit") # Display filtered or full data
|
|
|
|
|
|
| 15 |
# Display DataFrame in a nicely formatted table using AgGrid
|
| 16 |
st.write("### Benchmark Details Table")
|
| 17 |
|
|
|
|
|
|
|
|
|
|
| 18 |
# Add a selectbox for filtering by evaluated task or showing all
|
| 19 |
task_options = ["All"] + list(df["Evaluated task"].unique())
|
| 20 |
selected_task = st.selectbox("Select an Evaluated Task", options=task_options)
|
|
|
|
| 29 |
builder = GridOptionsBuilder.from_dataframe(filtered_data)
|
| 30 |
builder.configure_default_column(resizable=True, wrapText=True, autoHeight=False) # Disable autoHeight
|
| 31 |
builder.configure_grid_options(domLayout='normal', rowHeight=40) # Set fixed row height
|
| 32 |
+
|
| 33 |
+
# Make the Benchmark column bold
|
| 34 |
+
cell_style = {"Benchmark": {'fontWeight': 'bold'}}
|
| 35 |
+
builder.configure_columns(filtered_data.columns.tolist(), cellStyle=cell_style)
|
| 36 |
+
|
| 37 |
+
# Allow clicking and viewing full cell content
|
| 38 |
+
builder.configure_default_column(enableCellTextSelection=True)
|
| 39 |
options = builder.build()
|
| 40 |
|
| 41 |
AgGrid(filtered_data, gridOptions=options, height=600, fit_columns_on_grid_load=True, theme="streamlit") # Display filtered or full data
|
| 42 |
+
|