daily pastebin goal
90%
SHARE
TWEET

Untitled

a guest Feb 16th, 2019 69 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. diff -up ./emacs/caml-font.el.orig ./emacs/caml-font.el
  2. --- ./emacs/caml-font.el.orig   2008-01-11 17:13:16.000000000 +0100
  3. +++ ./emacs/caml-font.el    2008-12-01 10:30:03.000000000 +0100
  4. @@ -80,11 +80,12 @@
  5.      (cond
  6.       (in-string 'font-lock-string-face)
  7.       (in-comment
  8. -      (goto-char start)
  9. -      (cond
  10. -       ((looking-at "(\\*\\*/\\*\\*)") 'caml-font-stop-face)
  11. -       ((looking-at "(\\*\\*[^*]")     'caml-font-doccomment-face)
  12. -       (t                              'font-lock-comment-face))))))
  13. +      (save-excursion
  14. +        (goto-char start)
  15. +        (cond
  16. +         ((looking-at "(\\*\\*/\\*\\*)") 'caml-font-stop-face)
  17. +         ((looking-at "(\\*\\*[^*]")     'caml-font-doccomment-face)
  18. +         (t                              'font-lock-comment-face)))))))
  19.  
  20.  
  21.  ;; font-lock commands are similar for caml-mode and inferior-caml-mode
  22. diff -up ./emacs/caml.el.orig ./emacs/caml.el
  23. --- ./emacs/caml.el.orig    2008-12-01 10:27:52.000000000 +0100
  24. +++ ./emacs/caml.el 2008-12-01 10:29:13.000000000 +0100
  25. @@ -411,10 +411,10 @@ have caml-electric-indent on, which see.
  26.    ; backslash is an escape sequence
  27.    (modify-syntax-entry ?\\ "\\" caml-mode-syntax-table)
  28.    ; ( is first character of comment start
  29. -  (modify-syntax-entry ?\( "()1" caml-mode-syntax-table)
  30. +  (modify-syntax-entry ?\( "()1n" caml-mode-syntax-table)
  31.    ; * is second character of comment start,
  32.    ; and first character of comment end
  33. -  (modify-syntax-entry ?*  ". 23" caml-mode-syntax-table)
  34. +  (modify-syntax-entry ?*  ". 23n" caml-mode-syntax-table)
  35.    ; ) is last character of comment end
  36.    (modify-syntax-entry ?\) ")(4" caml-mode-syntax-table)
  37.    ; backquote was a string-like delimiter (for character literals)
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top