emacs: update settings for promela-mode

2 files changed, 9 insertions, 8 deletions

diff --git a/emacs b/emacs
index fc1afa7..b6df919 100644
--- a/emacs
+++ b/emacs
@@ -371,14 +371,15 @@ If this is set during find-file, flyspell mode gets enabled automaticaly.")
 ;; promela-mode
 (when (require 'promela-mode nil 'noerror)
   (setq auto-mode-alist
-        (append
-         (list (cons "\\.promela$" 'promela-mode)
-               (cons "\\.spin$" 'promela-mode)
-               (cons "\\.pml$" 'promela-mode)
-               (cons "\\.prm$" 'promela-mode)
-               (cons "\\.porm$" 'promela-mode)
-               )
-         auto-mode-alist)))
+        (append (list '("\\.promela\\'" . promela-mode)
+                      '("\\.spin\\'" . promela-mode)
+                      '("\\.pml\\'" . promela-mode)
+                      '("\\.prm\\'" . promela-mode)
+                      '("\\.porm\\'" . promela-mode))
+                auto-mode-alist)
+        promela-block-indent 2
+        promela-selection-indent 0
+        promela-selection-option-indent 3))
 
 ;; dired+ mode
 (when (require 'dired-x nil 'noerror)
diff --git a/emacs.elc b/emacs.elc
index 0aa03be..4c295b1 100644
--- a/emacs.elc
+++ b/emacs.elc