replace TextInput with Input

This commit is contained in:
Will McGugan
2022-10-01 14:43:46 +01:00
parent 9498a7fd43
commit e61eaf7597
11 changed files with 127 additions and 536 deletions

View File

@@ -2,30 +2,25 @@ Screen {
background: $panel;
}
TextInput {
Input {
dock: top;
border: tall $background;
width: 100%;
height: 1;
padding: 0 1;
margin: 1 1 0 1;
background: $boost;
}
TextInput:focus {
border: tall $accent;
margin: 1 0;
}
#results {
width: auto;
min-height: 100%;
padding: 0 1;
padding: 0 1;
}
#results-container {
background: $background 50%;
margin: 1 2;
margin: 0;
height: 100%;
overflow: hidden auto;
border: tall $background;
}
#results-container:focus {
border: tall $accent;
}