Changeset 3908

Timestamp:

06/30/09 13:05:04 (5 months ago)

Author:

gls

Message:

Fix minor bug in previous fix (needed to double backslashes)

Files:

• trunk/Fortify/fortify.el (modified) (2 diffs)

trunk/Fortify/fortify.el

@@ -1397 +1397 @@
 
 (defun fortress-render-unknown (str)
-  (concat "\\underline{" (fortress-render-string-contents str) "}"))
+  (if (and (= (length str) 1) (= (elt str 0) ?\r))
+      ""
+    (concat "\\underline{" (fortress-render-string-contents str) "}")))
 
 (defun fortress-render-string-contents (str)
@@ -3168 +3170 @@
    ("|||" "\\mathrel{\\Vvert}" RELATION)
    ("||||" "\\mathrel{\\VVert}" RELATION)
-   ("//" "\\mathrel{/\!\!/}" RELATION)
-   ("///" "\\mathrel{/\!\!/\!\!/}" RELATION)
-   ("////" "\\mathrel{/\!\!/\!\!/\!\!/}" RELATION)
+   ("//" "\\mathrel{/\\!\\!/}" RELATION)
+   ("///" "\\mathrel{/\\!\\!/\\!\\!/}" RELATION)
+   ("////" "\\mathrel{/\\!\\!/\\!\\!/\\!\\!/}" RELATION)
    ("<-" "\\leftarrow" RELATION)
    ("->" "\\rightarrow" RELATION)