diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-11-05 12:56:41 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-11-05 12:56:41 +0100 |
| commit | f992e0e21a66b5de4725b07fcf618b81fd486d12 (patch) | |
| tree | bfee765952828642edff689ac0387cb4f61fa0ec /doc/old-theme-convert-output.rasi | |
| parent | bfd8e25436cd7db61386a70913a887cffc185dfa (diff) | |
Add the prompt colon to the default theme.
- Fix dumping of theme localization of the decimal-point. Force it to
be always a '.'.
Diffstat (limited to 'doc/old-theme-convert-output.rasi')
| -rw-r--r-- | doc/old-theme-convert-output.rasi | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/doc/old-theme-convert-output.rasi b/doc/old-theme-convert-output.rasi index fb2c578d..77c00ebf 100644 --- a/doc/old-theme-convert-output.rasi +++ b/doc/old-theme-convert-output.rasi @@ -116,9 +116,10 @@ button selected { text-color: @selected-normal-foreground; } inputbar { - spacing: 3px ; + spacing: 0px ; text-color: @normal-foreground; padding: 1px ; + children: [ prompt,textbox-prompt-colon,entry,case-indicator ]; } case-indicator { spacing: 0; @@ -132,3 +133,9 @@ prompt { spacing: 0; text-color: @normal-foreground; } +textbox-prompt-colon { + expand: false; + str: ":"; + margin: 0px 0.3000em 0.0000em 0.0000em ; + text-color: inherit; +} |