diff options
| author | Dave Davenport <qball@gmpclient.org> | 2019-12-26 14:39:51 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2019-12-26 14:39:51 +0100 |
| commit | 0a4426af294dfdc22cd58ad27157b19894656476 (patch) | |
| tree | 35475c8c564e551562aba92d17b59e92aaae74b2 /doc | |
| parent | f3bb043df09190063665176d4afb712340c4f716 (diff) | |
Add placeholder to default theme.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/default_theme.rasi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi index 345749c0..ecf2190b 100644 --- a/doc/default_theme.rasi +++ b/doc/default_theme.rasi @@ -138,6 +138,8 @@ case-indicator { entry { spacing: 0; text-color: var(normal-foreground); + placeholder-color: grey; + placeholder: "Type to filter"; } prompt { spacing: 0; |