From 481a654b2eb6ed2c495593fab0f0dd79c439ec7c Mon Sep 17 00:00:00 2001 From: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> Date: Wed, 20 May 2026 19:15:19 +0000 Subject: [PATCH] fix: uncomment pg_space definition to resolve NameError Co-Authored-By: Ricardo Enciso --- ui/main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ui/main.py b/ui/main.py index a319640..1cee3b4 100644 --- a/ui/main.py +++ b/ui/main.py @@ -126,7 +126,7 @@ def get_global_css(): pg_home = st.Page("app.py", title="Home") pg_dbinfo = st.Page("pages/1_System_Information.py", title="System Information") pg_statistics = st.Page("pages/2_Statistics_Management.py", title="Statistics Management") -#pg_space = st.Page("pages/3_Space.py", title="Space") +pg_space = st.Page("pages/3_Space.py", title="Space") #pg_dbql = st.Page("pages/4_Database_Query_Logging.py", title="Database Query Logging") #pg_performance = st.Page("pages/5_Performance_Assessment.py", title="Performance Assessment") #pg_schema = st.Page("pages/6_Schema_Design.py", title="Schema Design")