summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorDave Davenport <qball@gmpclient.org>2020-01-16 19:11:59 +0100
committerDave Davenport <qball@gmpclient.org>2020-01-16 19:12:03 +0100
commitf8be880b45ca69f8e5a29a484018c0d6f4a38265 (patch)
tree00e65bcf9d1155c862f8c1db5c431bcdd09eb3b7 /doc
parent7a6fcb20f45c2b4751c30cb46be5e8f28e56e3d3 (diff)
Add total num + filtered num to default theme.
Diffstat (limited to 'doc')
-rw-r--r--doc/default_theme.rasi12
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;