diff options
author | Dave Davenport <qball@gmpclient.org> | 2020-01-16 19:11:59 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2020-01-16 19:12:03 +0100 |
commit | f8be880b45ca69f8e5a29a484018c0d6f4a38265 (patch) | |
tree | 00e65bcf9d1155c862f8c1db5c431bcdd09eb3b7 /doc | |
parent | 7a6fcb20f45c2b4751c30cb46be5e8f28e56e3d3 (diff) |
Add total num + filtered num to default theme.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/default_theme.rasi | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi index ecf2190b..81a4bbbb 100644 --- a/doc/default_theme.rasi +++ b/doc/default_theme.rasi @@ -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; |