Better string font lock (catch scaped quotes).

diff --git a/misc/factor.el b/misc/factor.el
index 5d937c14ca5f6ed3b4fc99dd4c00e509d325d0ee..fe050d18f29aff1fb227e8df9877640b19143ff7 100644 (file)
--- a/misc/factor.el
+++ b/misc/factor.el
@@ -114,8 +114,7 @@
     ("^!.*$" . font-lock-comment-face)
     (" !.*$" . font-lock-comment-face)
     ("( .* )" . font-lock-comment-face)
-    ("\"[^ ][^\"]*\"" . font-lock-string-face)
-    ("\"\"" . font-lock-string-face)
+    ("\"\\(\\\\\"\\|[^\"]\\)*\"" . font-lock-string-face)
     ("\\(P\\|SBUF\\)\"" 1 font-lock-keyword-face)
     ,@(mapcar #'(lambda (w) (cons (concat "\\(^\\| \\)\\(" w "\\)\\($\\| \\)")
                              '(2 font-lock-keyword-face)))