Mods
This commit is contained in:
parent
1dee91fc28
commit
bb9606bb46
|
@ -51,7 +51,6 @@ class Config:
|
|||
input_caret_color: str = "rgb(18, 18, 18)"
|
||||
settings_json: Path
|
||||
countries_json: Path
|
||||
filter_width: int = 150
|
||||
filter_debouncer_delay: int = 200
|
||||
default_population: int = 100
|
||||
merge_goal: int = 10
|
||||
|
|
|
@ -250,15 +250,14 @@ class Window:
|
|||
Window.mode.currentIndexChanged.connect(Game.update_mode)
|
||||
|
||||
Window.filter = FilterLineEdit()
|
||||
Window.filter.setFixedWidth(Config.filter_width)
|
||||
Window.filter.setPlaceholderText("Filter")
|
||||
Window.filter.mousePressEvent = lambda e: Window.to_top()
|
||||
Window.filter.keyReleaseEvent = lambda e: Filter.filter(e)
|
||||
|
||||
container.addWidget(btn_restart)
|
||||
container.addWidget(Window.speed)
|
||||
container.addWidget(Window.mode)
|
||||
container.addWidget(Window.filter)
|
||||
container.addWidget(btn_restart, 1)
|
||||
container.addWidget(Window.speed, 1)
|
||||
container.addWidget(Window.mode, 1)
|
||||
container.addWidget(Window.filter, 1)
|
||||
|
||||
root.setLayout(container)
|
||||
Window.root.addWidget(root)
|
||||
|
|
Loading…
Reference in New Issue