diff src/elisp/urweb-mode.el @ 2270:1e3ba868f8bf

Merge.
author Ziv Scully <ziv@mit.edu>
date Mon, 19 Oct 2015 14:42:22 -0400
parents e46989ea4ca7
children
line wrap: on
line diff
--- a/src/elisp/urweb-mode.el	Thu Oct 15 00:52:04 2015 -0400
+++ b/src/elisp/urweb-mode.el	Mon Oct 19 14:42:22 2015 -0400
@@ -246,7 +246,7 @@
     ("\\<\\(signature\\)\\s-+\\(\\sw+\\)"
      (1 font-lock-keyword-face)
      (2 (amAttribute font-lock-interface-def-face)))
-    
+
     (,urweb-keywords-regexp . font-lock-keyword-face)
     (,urweb-sql-keywords-regexp . font-lock-sql-face)
     (,urweb-cident-regexp . font-lock-cvariable-face))
@@ -377,7 +377,11 @@
 (add-to-list 'auto-mode-alist '("\\.urs?\\'" . urweb-mode))
 
 ;;;###autoload
-(define-derived-mode urweb-mode fundamental-mode "Ur/Web"
+(defalias 'urweb-mode-derived-from
+  (if (fboundp 'prog-mode) 'prog-mode 'fundamental-mode))
+
+;;;###autoload
+(define-derived-mode urweb-mode urweb-mode-derived-from "Ur/Web"
   "\\<urweb-mode-map>Major mode for editing Ur/Web code.
 This mode runs `urweb-mode-hook' just before exiting.
 \\{urweb-mode-map}"
@@ -409,7 +413,7 @@
   (set-syntax-table urweb-mode-syntax-table)
   (setq local-abbrev-table urweb-mode-abbrev-table)
   ;; A paragraph is separated by blank lines or ^L only.
-  
+
   (set (make-local-variable 'indent-line-function) 'urweb-indent-line)
   (set (make-local-variable 'comment-start) "(* ")
   (set (make-local-variable 'comment-end) " *)")