diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:47:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:47:48 +0000 |
| commit | 8201ac7d4e126631ac7f28519195184e21454791 (patch) | |
| tree | 8dabe117347be96256f7b858e5886c4adf9102c0 /lib/pg-dev.el | |
| parent | f282ac0c5d1f525f605cc382d6f1534ee135d9b7 (diff) | |
Add template auto-insert hook
Diffstat (limited to 'lib/pg-dev.el')
| -rw-r--r-- | lib/pg-dev.el | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/lib/pg-dev.el b/lib/pg-dev.el index 33879230..5a636f31 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -1,6 +1,6 @@ ;;; pg-dev.el --- Developer settings for Proof General ;; -;; Copyright (C) 2008 LFCS Edinburgh. +;; Copyright (C) 2008, 2009 LFCS Edinburgh. ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> and others ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; @@ -19,7 +19,8 @@ (with-no-warnings (setq proof-general-debug t)) -;; Use checkdoc, eldoc, Flyspell, whitespace cleanup: +;; Use checkdoc, eldoc, Flyspell, whitespace, copyright update +;; and byte compilation on save: (add-hook 'emacs-lisp-mode-hook '(lambda () @@ -31,9 +32,14 @@ 'emacs-lisp-byte-compile-and-load) (add-hook 'write-file-functions 'whitespace-write-file-hook nil t) + (add-hook 'before-save-hook + 'copyright-update nil t) (add-hook 'after-save-hook 'emacs-lisp-byte-compile-and-load))) +;; Fill in template for new files + +(add-hook 'find-file-hook 'auto-insert) ;; Configure indentation for our macros |