From f992e0e21a66b5de4725b07fcf618b81fd486d12 Mon Sep 17 00:00:00 2001
From: Dave Davenport <qball@gmpclient.org>
Date: Sun, 5 Nov 2017 12:56:41 +0100
Subject: Add the prompt colon to the default theme.

 - Fix dumping of theme localization of the decimal-point. Force it to
be always a '.'.
---
 doc/old-theme-convert-output.rasi | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'doc/old-theme-convert-output.rasi')

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;
+}
-- 
cgit v1.2.3