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 /lexer | |
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 'lexer')
-rw-r--r-- | lexer/theme-lexer.l | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lexer/theme-lexer.l b/lexer/theme-lexer.l index e7430355..de53f546 100644 --- a/lexer/theme-lexer.l +++ b/lexer/theme-lexer.l @@ -167,7 +167,6 @@ STRING \"{UANYN}*\" HEX [[:xdigit:]] NUMBER [[:digit:]] PNNUMBER [-+]?[[:digit:]]+ -REAL [-+]?[[:digit:]]+(\.[[:digit:]]+)? PX (px) EM (em) CH (ch) |