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/default_theme.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/default_theme.rasi')
-rw-r--r-- | doc/default_theme.rasi | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi index ebf9bbbb..0838d7e2 100644 --- a/doc/default_theme.rasi +++ b/doc/default_theme.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; +} |