diff options
author | Dave Davenport <qball@gmpclient.org> | 2019-04-16 12:52:53 +0200 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2019-04-16 12:52:53 +0200 |
commit | 5b96be66ae5bfbb88020c208df62c4fb783ba8fc (patch) | |
tree | bb121fbdc16038b74c7205e9dc5bac0dfc908590 /doc/default_theme.rasi | |
parent | 29c83b362304a1165ee31733026a44f40f6b19c5 (diff) |
[View] Move overlay into the theme system instead of weird addon.
It is now a child in the inputbar.
Fixes: #950
Diffstat (limited to 'doc/default_theme.rasi')
-rw-r--r-- | doc/default_theme.rasi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi index d7e3b305..4a1a382c 100644 --- a/doc/default_theme.rasi +++ b/doc/default_theme.rasi @@ -119,7 +119,7 @@ inputbar { spacing: 0px ; text-color: var(normal-foreground); padding: 1px ; - children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; + children: [ prompt,textbox-prompt-colon,entry,overlay,case-indicator ]; } case-indicator { spacing: 0; |