From 8201ac7d4e126631ac7f28519195184e21454791 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 7 Sep 2009 08:47:48 +0000 Subject: Add template auto-insert hook --- lib/pg-dev.el | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'lib/pg-dev.el') 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 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 -- cgit v1.2.3