annotate lisp/emacs-lock.el @ 82453:d04e217671f9

(ada-create-syntax-table): Move set-syntax-table from here to ... (ada-mode): ... here. Do not change global value of comment-multi-line. Call new function ada-initialize-syntax-table-properties and add new function ada-handle-syntax-table-properties to font-lock-mode-hook. (ada-deactivate-properties, ada-initialize-properties): Replace by new functions ... (ada-handle-syntax-table-properties) (ada-initialize-syntax-table-properties) (ada-set-syntax-table-properties): ... to set up syntax-table properties uniformly, independently from whether font-lock-mode is enabled or not. Handle read-only buffers and do not change undo-list when setting syntax-table properties. (ada-after-change-function): Use ada-set-syntax-table-properties.
author Martin Rudalics <rudalics@gmx.at>
date Sat, 18 Aug 2007 08:37:41 +0000
parents 9355f9b7bbff
children 73661ddc7ac7 f55f9811f5d7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
74249
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
1 ;;; emacs-lock.el --- prevents you from exiting Emacs if a buffer is locked
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
2
74439
ddcbd2c1b70d Update copyright years.
Glenn Morris <rgm@gnu.org>
parents: 74249
diff changeset
3 ;; Copyright (C) 1994, 1997, 2001, 2002, 2003, 2004,
75347
e3694f1cb928 Add 2007 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 74439
diff changeset
4 ;; 2005, 2006, 2007 Free Software Foundation, Inc
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
5
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 ;; Author: Tom Wurgler <twurgler@goodyear.com>
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 ;; Created: 12/8/94
18214
34593904dc4e Add some keywords.
Richard M. Stallman <rms@gnu.org>
parents: 18211
diff changeset
8 ;; Keywords: extensions, processes
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
9
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
10 ;; This file is part of GNU Emacs.
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
11
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
12 ;; GNU Emacs is free software; you can redistribute it and/or modify
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; it under the terms of the GNU General Public License as published by
78236
9355f9b7bbff Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 75347
diff changeset
14 ;; the Free Software Foundation; either version 3, or (at your option)
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
15 ;; any later version.
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
16
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
17 ;; GNU Emacs is distributed in the hope that it will be useful,
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; GNU General Public License for more details.
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
21
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 ;; You should have received a copy of the GNU General Public License
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
23 ;; along with GNU Emacs; see the file COPYING. If not, write to the
64091
6fb026ad601f Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 52401
diff changeset
24 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
6fb026ad601f Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 52401
diff changeset
25 ;; Boston, MA 02110-1301, USA.
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;;; Commentary:
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
28
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 ;; This code sets a buffer-local variable to t if toggle-emacs-lock is run,
74249
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
30 ;; then if the user attempts to exit Emacs, the locked buffer name will be
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 ;; displayed and the exit aborted. This is just a way of protecting
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 ;; yourself from yourself. For example, if you have a shell running a big
74249
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
33 ;; program and exiting Emacs would abort that program, you may want to lock
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 ;; that buffer, then if you forget about it after a while, you won't
74249
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
35 ;; accidentally exit Emacs. To unlock the buffer, just goto the buffer and
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ;; run toggle-emacs-lock again.
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
38 ;;; Code:
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
39
18207
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
40 (defvar emacs-lock-from-exiting nil
73761
7d7c934f1c8f (emacs-lock-from-exiting): Fix typo in docstring.
Juanma Barranquero <lekktu@gmail.com>
parents: 68651
diff changeset
41 "Whether Emacs is locked to prevent exiting. See `check-emacs-lock'.")
18207
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
42 (make-variable-buffer-local 'emacs-lock-from-exiting)
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
43
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
44 (defvar emacs-lock-buffer-locked nil
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
45 "Whether a shell or telnet buffer was locked when its process was killed.")
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
46 (make-variable-buffer-local 'emacs-lock-buffer-locked)
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
47 (put 'emacs-lock-buffer-locked 'permanent-local t)
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49 (defun check-emacs-lock ()
18207
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
50 "Check if variable `emacs-lock-from-exiting' is t for any buffer.
74249
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
51 If any locked buffer is found, signal error and display the buffer's name."
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
52 (save-excursion
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
53 (dolist (buffer (buffer-list))
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
54 (set-buffer buffer)
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
55 (when emacs-lock-from-exiting
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
56 (error "Emacs is locked from exit due to buffer: %s" (buffer-name))))))
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 (defun toggle-emacs-lock ()
74249
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
59 "Toggle `emacs-lock-from-exiting' for the current buffer.
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 See `check-emacs-lock'."
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 (interactive)
74249
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
62 (setq emacs-lock-from-exiting (not emacs-lock-from-exiting))
18207
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
63 (if emacs-lock-from-exiting
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
64 (message "Buffer is now locked")
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
65 (message "Buffer is now unlocked")))
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
66
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
67 (defun emacs-lock-check-buffer-lock ()
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
68 "Check if variable `emacs-lock-from-exiting' is t for a buffer.
74249
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
69 If the buffer is locked, signal error and display its name."
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
70 (when emacs-lock-from-exiting
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
71 (error "Buffer `%s' is locked, can't delete it" (buffer-name))))
18207
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
72
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
73 ; These next defuns make it so if you exit a shell that is locked, the lock
74249
13b7163b7bff (toggle-emacs-lock): Doc fix. Simplify.
Juanma Barranquero <lekktu@gmail.com>
parents: 73761
diff changeset
74 ; is shut off for that shell so you can exit Emacs. Same for telnet.
18207
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
75 ; Also, if a shell or a telnet buffer was locked and the process killed,
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
76 ; turn the lock back on again if the process is restarted.
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
77
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
78 (defun emacs-lock-shell-sentinel ()
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
79 (set-process-sentinel
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
80 (get-buffer-process (buffer-name)) (function emacs-lock-clear-sentinel)))
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
81
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
82 (defun emacs-lock-clear-sentinel (proc str)
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
83 (if emacs-lock-from-exiting
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
84 (progn
18211
9364da8606f3 Comment fix.
Karl Heuer <kwzh@gnu.org>
parents: 18207
diff changeset
85 (setq emacs-lock-from-exiting nil)
18207
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
86 (setq emacs-lock-buffer-locked t)
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
87 (message "Buffer is now unlocked"))
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
88 (setq emacs-lock-buffer-locked nil)))
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
89
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
90 (defun emacs-lock-was-buffer-locked ()
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
91 (if emacs-lock-buffer-locked
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
92 (setq emacs-lock-from-exiting t)))
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 (add-hook 'kill-emacs-hook 'check-emacs-lock)
18207
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
95 (add-hook 'kill-buffer-hook 'emacs-lock-check-buffer-lock)
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
96 (add-hook 'shell-mode-hook 'emacs-lock-was-buffer-locked)
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
97 (add-hook 'shell-mode-hook 'emacs-lock-shell-sentinel)
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
98 (add-hook 'telnet-mode-hook 'emacs-lock-was-buffer-locked)
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
99 (add-hook 'telnet-mode-hook 'emacs-lock-shell-sentinel)
10240
72101c74e9e7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100
18207
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
101 (provide 'emacs-lock)
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
102
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 18214
diff changeset
103 ;;; arch-tag: 58e6cb43-7cf0-401a-bcb6-4902a0b8bdc1
18207
3b7e375756d2 Added the string "emacs-lock" to all function
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
104 ;;; emacs-lock.el ends here