GNOME.org
 

[glibmm] docextract_to_xml.py: Add '⇒ ' to the list of escape sequences.

commit 5dcdf882ed452faa20606c6b47b7394981d1d0b0
Author: José Alburquerque <jaalburquerque gmail com>
Date:   Sun Jun 30 18:01:11 2013 -0400

    docextract_to_xml.py: Add '&rArr;' to the list of escape sequences.
    
        * tools/defs_gen/docextract_to_xml.py: It represents a right arrow and
        some C API documentation uses it.

 tools/defs_gen/docextract_to_xml.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/tools/defs_gen/docextract_to_xml.py b/tools/defs_gen/docextract_to_xml.py
index c94c857..1c770ef 100755
--- a/tools/defs_gen/docextract_to_xml.py
+++ b/tools/defs_gen/docextract_to_xml.py
@@ -39,6 +39,7 @@ def escape_text(unescaped_text):
     escaped_text = string.replace(escaped_text, '&nbsp;', '&#160;')
     escaped_text = string.replace(escaped_text, '&solidus;', '&#47;')
     escaped_text = string.replace(escaped_text, '&pi;', '&#8719;')
+    escaped_text = string.replace(escaped_text, '&rArr;', '&#8658;')
     # This represents a '/' before or after an '*' so replace with slash but
     # with spaces.
     escaped_text = string.replace(escaped_text, '&sol;', ' / ')
[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]