changeset 4121:4780e4b6e99d

gui converter: create shorter output for colors
author Thomas Waldmann <tw AT waldmann-edv DOT de>
date Sat, 20 Sep 2008 21:57:37 +0200
parents 9c1842ceee62
children d15389e4b4a9
files MoinMoin/converter/text_html_text_moin_wiki.py
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/MoinMoin/converter/text_html_text_moin_wiki.py	Sat Sep 20 21:49:22 2008 +0200
+++ b/MoinMoin/converter/text_html_text_moin_wiki.py	Sat Sep 20 21:57:37 2008 +0200
@@ -998,6 +998,8 @@
             match = re.match(r"rgb\((\d+),\s*(\d+),\s*(\d+)\)", value)
             if match:
                 value = '#%X%X%X' % (int(match.group(1)), int(match.group(2)), int(match.group(3)))
+            else:
+                match = re.match(r"#[0-9A-Fa-f]{6}", value)
             if not prefix and match:
                 result = value
             else: