diff options
Diffstat (limited to 'generic/pg-assoc.el')
-rw-r--r-- | generic/pg-assoc.el | 32 |
1 files changed, 19 insertions, 13 deletions
diff --git a/generic/pg-assoc.el b/generic/pg-assoc.el index 6a27cd29..b06b4ec5 100644 --- a/generic/pg-assoc.el +++ b/generic/pg-assoc.el @@ -1,12 +1,19 @@ ;;; pg-assoc.el --- Functions for associated buffers -;; -;; Copyright (C) 1994-2008, 2010 LFCS Edinburgh. + +;; This file is part of Proof General. + +;; Portions © Copyright 1994-2012 David Aspinall and University of Edinburgh +;; Portions © Copyright 2003, 2012, 2014 Free Software Foundation, Inc. +;; Portions © Copyright 2001-2017 Pierre Courtieu +;; Portions © Copyright 2010, 2016 Erik Martin-Dorel +;; Portions © Copyright 2011-2013, 2016-2017 Hendrik Tews +;; Portions © Copyright 2015-2017 Clément Pit-Claudel + ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen, ;; Thomas Kleymann and Dilip Sequeira + ;; License: GPL (GNU GENERAL PUBLIC LICENSE) -;; -;; $Id$ -;; + ;;; Commentary: ;; ;; Defines an empty mode inherited by modes of the associated buffers. @@ -16,13 +23,12 @@ (require 'proof-utils) -(eval-and-compile ; defines proof-universal-keys-only-mode-map at compile time - (define-derived-mode proof-universal-keys-only-mode fundamental-mode - proof-general-name "Universal keymaps only" - ;; Doesn't seem to supress TAB, RET - (suppress-keymap proof-universal-keys-only-mode-map 'all) - (proof-define-keys proof-universal-keys-only-mode-map - proof-universal-keys))) +(define-derived-mode proof-universal-keys-only-mode fundamental-mode + proof-general-name "Universal keymaps only" + ;; Doesn't seem to supress TAB, RET + (suppress-keymap proof-universal-keys-only-mode-map 'all) + (proof-define-keys proof-universal-keys-only-mode-map + proof-universal-keys)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; @@ -42,7 +48,7 @@ Some may be dead/nil." ;;;###autoload (defun proof-associated-windows (&optional all-frames) "Return a list of the associated buffers windows. -Dead or nil buffers are not represented in the list. Optional +Dead or nil buffers are not represented in the list. Optional argument ALL-FRAMES has the same meaning than for `get-buffer-window'." (let ((bufs (proof-associated-buffers)) |