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 | |
| 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')
| -rw-r--r-- | doc/default_theme.rasi | 2 | ||||
| -rw-r--r-- | doc/old-theme-convert-output.rasi | 2 |
2 files changed, 2 insertions, 2 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; diff --git a/doc/old-theme-convert-output.rasi b/doc/old-theme-convert-output.rasi index 26736af9..169f07e4 100644 --- a/doc/old-theme-convert-output.rasi +++ b/doc/old-theme-convert-output.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; |