Skip to content

Commit

Permalink
Fix types
Browse files Browse the repository at this point in the history
  • Loading branch information
geoffxy committed Mar 22, 2024
1 parent 8261754 commit 5c2d4b4
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/brad/ui/manager_impl.py
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@

import brad.ui.static as brad_app
from brad.blueprint import Blueprint
from brad.blueprint.table import Table
from brad.blueprint.manager import BlueprintManager
from brad.config.engine import Engine
from brad.config.file import ConfigFile
Expand Down Expand Up @@ -108,7 +109,7 @@ def get_system_state(filter_tables_for_demo: bool = False) -> SystemState:
# To improve how the UI looks in a screenshot, we filter out some tables
# to reduce the amount of information shown. We keep up to 5 +
# len(txn_tables) around (upper bound).
relevant_tables = []
relevant_tables: List[Table] = []
max_tables = min(5, len(blueprint.tables()))
for table in blueprint.tables():
if table.name in txn_tables or len(relevant_tables) < max_tables:
Expand Down

0 comments on commit 5c2d4b4

Please sign in to comment.