Add total num + filtered num to default theme.

This commit is contained in:
Dave Davenport 2020-01-16 19:11:59 +01:00
parent 7a6fcb20f4
commit f8be880b45
1 changed files with 11 additions and 1 deletions

View File

@ -125,11 +125,21 @@ button selected {
background-color: var(selected-normal-background);
text-color: var(selected-normal-foreground);
}
num-filtered-rows, num-rows {
text-color: grey;
expand: false;
}
textbox-num-sep {
text-color: grey;
expand: false;
str: "/";
}
inputbar {
padding: 1px ;
spacing: 0px ;
text-color: var(normal-foreground);
children: [ prompt,textbox-prompt-colon,entry,case-indicator ];
children: [ prompt,textbox-prompt-colon,entry, num-filtered-rows, textbox-num-sep, num-rows, case-indicator ];
}
case-indicator {
spacing: 0;