style the GUI tree widget a bit
Signed-off-by: Brian S. Stephan <bss@incorporeal.org>
This commit is contained in:
parent
22de9ae6d6
commit
069aa27927
|
@ -20,6 +20,12 @@ EditScreen Label {
|
|||
content-align: center middle;
|
||||
}
|
||||
|
||||
#config_tree {
|
||||
border: heavy gray;
|
||||
padding: 1;
|
||||
margin: 1;
|
||||
}
|
||||
|
||||
.hidden {
|
||||
visibility: hidden;
|
||||
}
|
||||
|
|
|
@ -141,7 +141,7 @@ class ConfigEditor(App):
|
|||
"""Compose the UI."""
|
||||
yield Header()
|
||||
yield Footer()
|
||||
yield Tree("Root")
|
||||
yield Tree("Root", id='config_tree')
|
||||
|
||||
def on_mount(self) -> None:
|
||||
"""Load the configuration object into the tree view."""
|
||||
|
|
Loading…
Reference in New Issue