annotate lisp/userlock.el @ 5773:94a6b8fbd56e

Use a face, show more context around open parenthesis, #'blink-matching-open lisp/ChangeLog addition: 2013-12-17 Aidan Kehoe <kehoea@parhasard.net> * simple.el (blink-matching-open): When showing the opening parenthesis in the minibiffer, use the isearch face for it, in case there are multiple parentheses in the text shown. When writing moderately involved macros, it's often not enough just to show the backquote context before the parenthesis (e.g. @,.`). Skip over that when searching for useful context in the same way we skip over space and tab. * simple.el (message): * simple.el (lmessage): If there are no ARGS, don't call #'format. This allows extent information to be passed through to the minibuffer. It's probably better still to update #'format to preserve extent info.
author Aidan Kehoe <kehoea@parhasard.net>
date Tue, 17 Dec 2013 20:49:52 +0200
parents 308d34e9f07d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
1 ;;; userlock.el --- handle file access contention between multiple users
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
2
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
3 ;; Copyright (C) 1985, 1986, 1993 Free Software Foundation, inc.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
4
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
5 ;; Maintainer: FSF
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
6 ;; Keywords: internal
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
7
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
8 ;; This file is part of XEmacs.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
9
5402
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 444
diff changeset
10 ;; XEmacs is free software: you can redistribute it and/or modify it
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 444
diff changeset
11 ;; under the terms of the GNU General Public License as published by the
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 444
diff changeset
12 ;; Free Software Foundation, either version 3 of the License, or (at your
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 444
diff changeset
13 ;; option) any later version.
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
14
5402
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 444
diff changeset
15 ;; XEmacs is distributed in the hope that it will be useful, but WITHOUT
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 444
diff changeset
16 ;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 444
diff changeset
17 ;; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 444
diff changeset
18 ;; for more details.
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
19
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
20 ;; You should have received a copy of the GNU General Public License
5402
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 444
diff changeset
21 ;; along with XEmacs. If not, see <http://www.gnu.org/licenses/>.
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
22
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
23 ;;; Synched up with: FSF 19.34.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
24
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
25 ;;; Commentary:
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
26
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
27 ;; This file is autoloaded to handle certain conditions
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
28 ;; detected by the file-locking code within XEmacs.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
29 ;; The two entry points are `ask-user-about-lock' and
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
30 ;; `ask-user-about-supersession-threat'.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
31
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
32 ;;; Code:
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
33
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
34 (define-error 'file-locked "File is locked" 'file-error) ; XEmacs
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
35
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
36 (defun ask-user-about-lock-minibuf (filename other-user)
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
37 (save-window-excursion
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
38 (let (answer)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
39 (while (null answer)
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
40 (message "%s is locking %s: action (s, q, p, ?)? " other-user filename)
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
41 (let ((tem (let ((inhibit-quit t)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
42 (cursor-in-echo-area t))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
43 (prog1 (downcase (read-char))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
44 (setq quit-flag nil)))))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
45 (if (= tem help-char)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
46 (ask-user-about-lock-help)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
47 (setq answer (assoc tem '((?s . t)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
48 (?q . yield)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
49 (?\C-g . yield)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
50 (?p . nil)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
51 (?? . help))))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
52 (cond ((null answer)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
53 (beep)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
54 (message "Please type q, s, or p; or ? for help")
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
55 (sit-for 3))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
56 ((eq (cdr answer) 'help)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
57 (ask-user-about-lock-help)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
58 (setq answer nil))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
59 ((eq (cdr answer) 'yield)
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
60 (signal 'file-locked (list "File is locked" filename other-user)))))))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
61 (cdr answer))))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
62
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
63 (defun ask-user-about-lock-help ()
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
64 (with-output-to-temp-buffer "*Help*"
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
65 (princ "It has been detected that you want to modify a file that someone else has
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
66 already started modifying in EMACS.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
67
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
68 You can <s>teal the file; The other user becomes the
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
69 intruder if (s)he ever unmodifies the file and then changes it again.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
70 You can <p>roceed; you edit at your own (and the other user's) risk.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
71 You can <q>uit; don't modify this file.")
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
72 (save-excursion
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
73 (set-buffer standard-output)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
74 (help-mode))))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
75
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
76 (define-error 'file-supersession "File changed on disk" 'file-error) ; XEmacs
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
77
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
78 (defun ask-user-about-supersession-threat-minibuf (filename)
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
79 (save-window-excursion
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
80 (let (answer)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
81 (while (null answer)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
82 (message "%s changed on disk; really edit the buffer? (y, n, r or C-h) "
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
83 (file-name-nondirectory filename))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
84 (let ((tem (downcase (let ((cursor-in-echo-area t))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
85 (read-char)))))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
86 (setq answer
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
87 (if (= tem help-char)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
88 'help
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
89 (cdr (assoc tem '((?n . yield)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
90 (?\C-g . yield)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
91 (?y . proceed)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
92 (?r . revert)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
93 (?? . help))))))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
94 (cond ((null answer)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
95 (beep)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
96 (message "Please type y, n or r; or ? for help")
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
97 (sit-for 3))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
98 ((eq answer 'help)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
99 (ask-user-about-supersession-help)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
100 (setq answer nil))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
101 ((eq answer 'revert)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
102 (revert-buffer nil (not (buffer-modified-p)))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
103 ; ask confirmation iff buffer modified
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
104 (signal 'file-supersession
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
105 (list "File reverted" filename)))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
106 ((eq answer 'yield)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
107 (signal 'file-supersession
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
108 (list "File changed on disk" filename))))))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
109 (message
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
110 "File on disk now will become a backup file if you save these changes.")
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
111 (setq buffer-backed-up nil))))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
112
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
113 (defun ask-user-about-supersession-help ()
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
114 (with-output-to-temp-buffer "*Help*"
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
115 (princ "You want to modify a buffer whose disk file has changed
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
116 since you last read it in or saved it with this buffer.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
117
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
118 If you say `y' to go ahead and modify this buffer,
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
119 you risk ruining the work of whoever rewrote the file.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
120 If you say `r' to revert, the contents of the buffer are refreshed
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
121 from the file on disk.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
122 If you say `n', the change you started to make will be aborted.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
123
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
124 Usually, you should type `n' and then `M-x revert-buffer',
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
125 to get the latest version of the file, then make the change again.")
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
126 (save-excursion
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
127 (set-buffer standard-output)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
128 (help-mode))))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
129
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
130 ;;; dialog-box versions [XEmacs]
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
131
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
132 (defun ask-user-about-lock-dbox (filename other-user)
442
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
133 (let ((echo-keystrokes 0))
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
134 (make-dialog-box
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
135 'question
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
136 :question (format "%s is locking %s\n
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
137 It has been detected that you want to modify a file that
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
138 someone else has already started modifying in XEmacs."
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
139 other-user filename)
442
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
140 :buttons
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
141 '(["Steal Lock\n\nThe other user will\nbecome the intruder" steal t]
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
142 ["Proceed\n\nEdit file at your own\n\(and the other user's) risk"
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
143 proceed t]
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
144 nil
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
145 ["Abort\n\nDon't modify the buffer\n" yield t]))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
146 (catch 'aual-done
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
147 (while t
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
148 (let ((event (next-command-event)))
442
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
149 (cond ((and (misc-user-event-p event)
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
150 (eq (event-object event) 'proceed))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
151 (throw 'aual-done nil))
442
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
152 ((and (misc-user-event-p event)
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
153 (eq (event-object event) 'steal))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
154 (throw 'aual-done t))
442
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
155 ((and (misc-user-event-p event)
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
156 (eq (event-object event) 'yield))
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
157 (signal 'file-locked (list "File is locked" filename other-user)))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
158 ((and (misc-user-event-p event)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
159 (eq (event-object event) 'menu-no-selection-hook))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
160 (signal 'quit nil))
442
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
161 ;; safety check, so we're not endlessly stuck when no
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
162 ;; dialog box up
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
163 ((not (popup-up-p))
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
164 (signal 'quit nil))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
165 ((button-release-event-p event) ;; don't beep twice
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
166 nil)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
167 (t
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
168 (beep)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
169 (message "please answer the dialog box"))))))))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
170
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
171 (defun ask-user-about-supersession-threat-dbox (filename)
442
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
172 (let ((echo-keystrokes 0))
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
173 (make-dialog-box
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
174 'question
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
175 :question
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
176 (format "File %s has changed on disk
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
177 since its buffer was last read in or saved.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
178
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
179 Do you really want to edit the buffer? " filename)
442
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
180 :buttons
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
181 '(["Yes\n\nEdit the buffer anyway,\nignoring the disk file"
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
182 proceed t]
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
183 ["No\n\nDon't modify the buffer\n" yield t]
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
184 nil
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
185 ["No\n\nDon't modify the buffer\nbut revert it" revert t]
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
186 ))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
187 (catch 'auast-done
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
188 (while t
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
189 (let ((event (next-command-event)))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
190 (cond ((and (misc-user-event-p event) (eq (event-object event) 'proceed))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
191 (throw 'auast-done nil))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
192 ((and (misc-user-event-p event) (eq (event-object event) 'yield))
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
193 (signal 'file-supersession (list filename)))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
194 ((and (misc-user-event-p event) (eq (event-object event) 'revert))
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
195 (or (equal filename (buffer-file-name))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
196 (error
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
197 "ask-user-about-supersession-threat called bogusly"))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
198 (revert-buffer nil t)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
199 (signal 'file-supersession
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
200 (list filename "(reverted)")))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
201 ((and (misc-user-event-p event)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
202 (eq (event-object event) 'menu-no-selection-hook))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
203 (signal 'quit nil))
442
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
204 ;; safety check, so we're not endlessly stuck when no
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
205 ;; dialog box up
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
206 ((not (popup-up-p))
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
207 (signal 'quit nil))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
208 ((button-release-event-p event) ;; don't beep twice
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
209 nil)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
210 (t
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
211 (beep)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
212 (message "please answer the dialog box"))))))))
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
213
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
214
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
215 ;;; top-level
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
216
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
217 ;;;###autoload
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
218 (defun ask-user-about-lock (filename other-user)
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
219 "Ask user wanting to edit FILENAME, locked by OTHER-USER, what to do.
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
220 This function has a choice of three things to do:
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
221 do (signal 'file-locked (list FILENAME OTHER-USER))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
222 to refrain from editing the file
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
223 return t (grab the lock on the file)
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
224 return nil (edit the file even though it is locked).
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
225 You can rewrite it to use any criteria you like to choose which one to do."
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
226 (discard-input)
442
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
227 (if (should-use-dialog-box-p)
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
228 (ask-user-about-lock-dbox filename other-user)
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
229 (ask-user-about-lock-minibuf filename other-user)))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
230
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
231 ;;;###autoload
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
232 (defun ask-user-about-supersession-threat (filename)
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
233 "Ask user who is about to modify an obsolete buffer what to do.
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
234 This function has two choices: it can return, in which case the modification
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
235 of the buffer will proceed, or it can (signal 'file-supersession (FILENAME)),
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
236 in which case the proposed buffer modification will not be made.
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
237
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
238 You can rewrite this to use any criteria you like to choose which one to do.
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
239 The buffer in question is current when this function is called."
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
240 (discard-input)
442
abe6d1db359e Import from CVS: tag r21-2-36
cvs
parents: 428
diff changeset
241 (if (should-use-dialog-box-p)
444
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
242 (ask-user-about-supersession-threat-dbox filename)
576fb035e263 Import from CVS: tag r21-2-37
cvs
parents: 442
diff changeset
243 (ask-user-about-supersession-threat-minibuf filename)))
428
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
244
3ecd8885ac67 Import from CVS: tag r21-2-22
cvs
parents:
diff changeset
245 ;;; userlock.el ends here