Fix minor mode docstrings for the new meaning of a nil ARG.
[bpt/emacs.git] / lisp / electric.el
1 ;;; electric.el --- window maker and Command loop for `electric' modes
2
3 ;; Copyright (C) 1985-1986, 1995, 2001-2011 Free Software Foundation, Inc.
4
5 ;; Author: K. Shane Hartman
6 ;; Maintainer: FSF
7 ;; Keywords: extensions
8
9 ;; This file is part of GNU Emacs.
10
11 ;; GNU Emacs is free software: you can redistribute it and/or modify
12 ;; it under the terms of the GNU General Public License as published by
13 ;; the Free Software Foundation, either version 3 of the License, or
14 ;; (at your option) any later version.
15
16 ;; GNU Emacs is distributed in the hope that it will be useful,
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 ;; GNU General Public License for more details.
20
21 ;; You should have received a copy of the GNU General Public License
22 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
23
24 ;;; Commentary:
25
26 ;; "Electric" has been used in Emacs to refer to different things.
27 ;; Among them:
28 ;;
29 ;; - electric modes and buffers: modes that typically pop-up in a modal kind of
30 ;; way a transient buffer that automatically disappears as soon as the user
31 ;; is done with it.
32 ;;
33 ;; - electric keys: self inserting keys which additionally perform some side
34 ;; operation which happens to be often convenient at that time. Examples of
35 ;; such side operations are: reindenting code, inserting a newline,
36 ;; ... auto-fill-mode and abbrev-mode can be considered as built-in forms of
37 ;; electric key behavior.
38
39 ;;; Code:
40
41 (eval-when-compile (require 'cl))
42
43 ;; This loop is the guts for non-standard modes which retain control
44 ;; until some event occurs. It is a `do-forever', the only way out is
45 ;; to throw. It assumes that you have set up the keymap, window, and
46 ;; everything else: all it does is read commands and execute them -
47 ;; providing error messages should one occur (if there is no loop
48 ;; function - which see). The required argument is a tag which should
49 ;; expect a value of nil if the user decides to punt. The second
50 ;; argument is the prompt to be used: if nil, use "->", if 'noprompt,
51 ;; don't use a prompt, if a string, use that string as prompt, and if
52 ;; a function of no variable, it will be evaluated in every iteration
53 ;; of the loop and its return value, which can be nil, 'noprompt or a
54 ;; string, will be used as prompt. Given third argument non-nil, it
55 ;; INHIBITS quitting unless the user types C-g at toplevel. This is
56 ;; so user can do things like C-u C-g and not get thrown out. Fourth
57 ;; argument, if non-nil, should be a function of two arguments which
58 ;; is called after every command is executed. The fifth argument, if
59 ;; provided, is the state variable for the function. If the
60 ;; loop-function gets an error, the loop will abort WITHOUT throwing
61 ;; (moral: use unwind-protect around call to this function for any
62 ;; critical stuff). The second argument for the loop function is the
63 ;; conditions for any error that occurred or nil if none.
64
65 (defun Electric-command-loop (return-tag
66 &optional prompt inhibit-quitting
67 loop-function loop-state)
68
69 (let (cmd
70 (err nil)
71 (inhibit-quit inhibit-quitting)
72 (prompt-string prompt))
73 (while t
74 (if (functionp prompt)
75 (setq prompt-string (funcall prompt)))
76 (if (not (stringp prompt-string))
77 (setq prompt-string (unless (eq prompt-string 'noprompt) "->")))
78 (setq cmd (read-key-sequence prompt-string))
79 (setq last-command-event (aref cmd (1- (length cmd)))
80 this-command (key-binding cmd t)
81 cmd this-command)
82 ;; This makes universal-argument-other-key work.
83 (setq universal-argument-num-events 0)
84 (if (or (prog1 quit-flag (setq quit-flag nil))
85 (eq last-input-event ?\C-g))
86 (progn (setq unread-command-events nil
87 prefix-arg nil)
88 ;; If it wasn't cancelling a prefix character, then quit.
89 (if (or (= (length (this-command-keys)) 1)
90 (not inhibit-quit)) ; safety
91 (progn (ding)
92 (message "Quit")
93 (throw return-tag nil))
94 (setq cmd nil))))
95 (setq current-prefix-arg prefix-arg)
96 (if cmd
97 (condition-case conditions
98 (progn (command-execute cmd)
99 (setq last-command this-command)
100 (if (or (prog1 quit-flag (setq quit-flag nil))
101 (eq last-input-event ?\C-g))
102 (progn (setq unread-command-events nil)
103 (if (not inhibit-quit)
104 (progn (ding)
105 (message "Quit")
106 (throw return-tag nil))
107 (ding)))))
108 (buffer-read-only (if loop-function
109 (setq err conditions)
110 (ding)
111 (message "Buffer is read-only")
112 (sit-for 2)))
113 (beginning-of-buffer (if loop-function
114 (setq err conditions)
115 (ding)
116 (message "Beginning of Buffer")
117 (sit-for 2)))
118 (end-of-buffer (if loop-function
119 (setq err conditions)
120 (ding)
121 (message "End of Buffer")
122 (sit-for 2)))
123 (error (if loop-function
124 (setq err conditions)
125 (ding)
126 (message "Error: %s"
127 (if (eq (car conditions) 'error)
128 (car (cdr conditions))
129 (prin1-to-string conditions)))
130 (sit-for 2))))
131 (ding))
132 (if loop-function (funcall loop-function loop-state err))))
133 (ding)
134 (throw return-tag nil))
135
136 ;; This function is like pop-to-buffer, sort of.
137 ;; The algorithm is
138 ;; If there is a window displaying buffer
139 ;; Select it
140 ;; Else if there is only one window
141 ;; Split it, selecting the window on the bottom with height being
142 ;; the lesser of max-height (if non-nil) and the number of lines in
143 ;; the buffer to be displayed subject to window-min-height constraint.
144 ;; Else
145 ;; Switch to buffer in the current window.
146 ;;
147 ;; Then if max-height is nil, and not all of the lines in the buffer
148 ;; are displayed, grab the whole frame.
149 ;;
150 ;; Returns selected window on buffer positioned at point-min.
151
152 (defun Electric-pop-up-window (buffer &optional max-height)
153 (let* ((win (or (get-buffer-window buffer) (selected-window)))
154 (buf (get-buffer buffer))
155 (one-window (one-window-p t))
156 (pop-up-windows t)
157 (pop-up-frames nil))
158 (if (not buf)
159 (error "Buffer %s does not exist" buffer)
160 (cond ((and (eq (window-buffer win) buf))
161 (select-window win))
162 (one-window
163 (pop-to-buffer buffer)
164 (setq win (selected-window)))
165 (t
166 (switch-to-buffer buf)))
167 ;; Don't shrink the window, but expand it if necessary.
168 (goto-char (point-min))
169 (unless (= (point-max) (window-end win t))
170 (fit-window-to-buffer win max-height))
171 win)))
172
173 ;;; Electric keys.
174
175 (defgroup electricity ()
176 "Electric behavior for self inserting keys."
177 :group 'editing)
178
179 (defun electric--after-char-pos ()
180 "Return the position after the char we just inserted.
181 Returns nil when we can't find this char."
182 (let ((pos (point)))
183 (when (or (eq (char-before) last-command-event) ;; Sanity check.
184 (save-excursion
185 (or (progn (skip-chars-backward " \t")
186 (setq pos (point))
187 (eq (char-before) last-command-event))
188 (progn (skip-chars-backward " \n\t")
189 (setq pos (point))
190 (eq (char-before) last-command-event)))))
191 pos)))
192
193 ;; Electric indentation.
194
195 ;; Autoloading variables is generally undesirable, but major modes
196 ;; should usually set this variable by adding elements to the default
197 ;; value, which only works well if the variable is preloaded.
198 ;;;###autoload
199 (defvar electric-indent-chars '(?\n)
200 "Characters that should cause automatic reindentation.")
201
202 (defun electric-indent-post-self-insert-function ()
203 ;; FIXME: This reindents the current line, but what we really want instead is
204 ;; to reindent the whole affected text. That's the current line for simple
205 ;; cases, but not all cases. We do take care of the newline case in an
206 ;; ad-hoc fashion, but there are still missing cases such as the case of
207 ;; electric-pair-mode wrapping a region with a pair of parens.
208 ;; There might be a way to get it working by analyzing buffer-undo-list, but
209 ;; it looks challenging.
210 (let (pos)
211 (when (and (memq last-command-event electric-indent-chars)
212 ;; Don't reindent while inserting spaces at beginning of line.
213 (or (not (memq last-command-event '(?\s ?\t)))
214 (save-excursion (skip-chars-backward " \t") (not (bolp))))
215 (setq pos (electric--after-char-pos))
216 ;; Not in a string or comment.
217 (not (nth 8 (save-excursion (syntax-ppss pos)))))
218 ;; For newline, we want to reindent both lines and basically behave like
219 ;; reindent-then-newline-and-indent (whose code we hence copied).
220 (when (< (1- pos) (line-beginning-position))
221 (let ((before (copy-marker (1- pos) t)))
222 (save-excursion
223 (unless (memq indent-line-function
224 '(indent-relative indent-to-left-margin
225 indent-relative-maybe))
226 ;; Don't reindent the previous line if the indentation function
227 ;; is not a real one.
228 (goto-char before)
229 (indent-according-to-mode))
230 ;; We are at EOL before the call to indent-according-to-mode, and
231 ;; after it we usually are as well, but not always. We tried to
232 ;; address it with `save-excursion' but that uses a normal marker
233 ;; whereas we need `move after insertion', so we do the
234 ;; save/restore by hand.
235 (goto-char before)
236 ;; Remove the trailing whitespace after indentation because
237 ;; indentation may (re)introduce the whitespace.
238 (delete-horizontal-space t))))
239 (unless (memq indent-line-function '(indent-to-left-margin))
240 (indent-according-to-mode)))))
241
242 ;;;###autoload
243 (define-minor-mode electric-indent-mode
244 "Toggle on-the-fly reindentation (Electric Indent mode).
245 With a prefix argument ARG, enable Electric Indent mode if ARG is
246 positive, and disable it otherwise. If called from Lisp, enable
247 the mode if ARG is omitted or nil.
248
249 Electric Indent mode is a global minor mode. When enabled,
250 reindentation is triggered whenever you insert a character listed
251 in `electric-indent-chars'."
252 :global t
253 :group 'electricity
254 (if electric-indent-mode
255 (add-hook 'post-self-insert-hook
256 #'electric-indent-post-self-insert-function)
257 (remove-hook 'post-self-insert-hook
258 #'electric-indent-post-self-insert-function))
259 ;; FIXME: electric-indent-mode and electric-layout-mode interact
260 ;; in non-trivial ways. It turns out that electric-indent-mode works
261 ;; better if it is run *after* electric-layout-mode's hook.
262 (when (memq #'electric-layout-post-self-insert-function
263 (memq #'electric-indent-post-self-insert-function
264 (default-value 'post-self-insert-hook)))
265 (remove-hook 'post-self-insert-hook
266 #'electric-layout-post-self-insert-function)
267 (add-hook 'post-self-insert-hook
268 #'electric-layout-post-self-insert-function)))
269
270 ;; Electric pairing.
271
272 (defcustom electric-pair-pairs
273 '((?\" . ?\"))
274 "Alist of pairs that should be used regardless of major mode."
275 :type '(repeat (cons character character)))
276
277 (defcustom electric-pair-skip-self t
278 "If non-nil, skip char instead of inserting a second closing paren.
279 When inserting a closing paren character right before the same character,
280 just skip that character instead, so that hitting ( followed by ) results
281 in \"()\" rather than \"())\".
282 This can be convenient for people who find it easier to hit ) than C-f."
283 :type 'boolean)
284
285 (defun electric-pair-post-self-insert-function ()
286 (let* ((syntax (and (eq (char-before) last-command-event) ; Sanity check.
287 (let ((x (assq last-command-event electric-pair-pairs)))
288 (cond
289 (x (if (eq (car x) (cdr x)) ?\" ?\())
290 ((rassq last-command-event electric-pair-pairs) ?\))
291 (t (char-syntax last-command-event))))))
292 ;; FIXME: when inserting the closer, we should maybe use
293 ;; self-insert-command, although it may prove tricky running
294 ;; post-self-insert-hook recursively, and we wouldn't want to trigger
295 ;; blink-matching-open.
296 (closer (if (eq syntax ?\()
297 (cdr (or (assq last-command-event electric-pair-pairs)
298 (aref (syntax-table) last-command-event)))
299 last-command-event)))
300 (cond
301 ;; Wrap a pair around the active region.
302 ((and (memq syntax '(?\( ?\" ?\$)) (use-region-p))
303 (if (> (mark) (point))
304 (goto-char (mark))
305 ;; We already inserted the open-paren but at the end of the region,
306 ;; so we have to remove it and start over.
307 (delete-char -1)
308 (save-excursion
309 (goto-char (mark))
310 (insert last-command-event)))
311 (insert closer))
312 ;; Backslash-escaped: no pairing, no skipping.
313 ((save-excursion
314 (goto-char (1- (point)))
315 (not (zerop (% (skip-syntax-backward "\\") 2))))
316 nil)
317 ;; Skip self.
318 ((and (memq syntax '(?\) ?\" ?\$))
319 electric-pair-skip-self
320 (eq (char-after) last-command-event))
321 ;; This is too late: rather than insert&delete we'd want to only skip (or
322 ;; insert in overwrite mode). The difference is in what goes in the
323 ;; undo-log and in the intermediate state which might be visible to other
324 ;; post-self-insert-hook. We'll just have to live with it for now.
325 (delete-char 1))
326 ;; Insert matching pair.
327 ((not (or (not (memq syntax `(?\( ?\" ?\$)))
328 overwrite-mode
329 ;; I find it more often preferable not to pair when the
330 ;; same char is next.
331 (eq last-command-event (char-after))
332 (eq last-command-event (char-before (1- (point))))
333 ;; I also find it often preferable not to pair next to a word.
334 (eq (char-syntax (following-char)) ?w)))
335 (save-excursion (insert closer))))))
336
337 ;;;###autoload
338 (define-minor-mode electric-pair-mode
339 "Toggle automatic parens pairing (Electric Pair mode).
340 With a prefix argument ARG, enable Electric Pair mode if ARG is
341 positive, and disable it otherwise. If called from Lisp, enable
342 the mode if ARG is omitted or nil.
343
344 Electric Pair mode is a global minor mode. When enabled, typing
345 an open parenthesis automatically inserts the corresponding
346 closing parenthesis. \(Likewise for brackets, etc.)"
347 :global t
348 :group 'electricity
349 (if electric-pair-mode
350 (add-hook 'post-self-insert-hook
351 #'electric-pair-post-self-insert-function)
352 (remove-hook 'post-self-insert-hook
353 #'electric-pair-post-self-insert-function)))
354
355 ;; Automatically add newlines after/before/around some chars.
356
357 (defvar electric-layout-rules '()
358 "List of rules saying where to automatically insert newlines.
359 Each rule has the form (CHAR . WHERE) where CHAR is the char
360 that was just inserted and WHERE specifies where to insert newlines
361 and can be: nil, `before', `after', `around', or a function that returns
362 one of those symbols.")
363
364 (defun electric-layout-post-self-insert-function ()
365 (let* ((rule (cdr (assq last-command-event electric-layout-rules)))
366 pos)
367 (when (and rule
368 (setq pos (electric--after-char-pos))
369 ;; Not in a string or comment.
370 (not (nth 8 (save-excursion (syntax-ppss pos)))))
371 (let ((end (copy-marker (point) t)))
372 (goto-char pos)
373 (case (if (functionp rule) (funcall rule) rule)
374 ;; FIXME: we used `newline' down here which called
375 ;; self-insert-command and ran post-self-insert-hook recursively.
376 ;; It happened to make electric-indent-mode work automatically with
377 ;; electric-layout-mode (at the cost of re-indenting lines
378 ;; multiple times), but I'm not sure it's what we want.
379 (before (goto-char (1- pos)) (skip-chars-backward " \t")
380 (unless (bolp) (insert "\n")))
381 (after (insert "\n")) ; FIXME: check eolp before inserting \n?
382 (around (save-excursion
383 (goto-char (1- pos)) (skip-chars-backward " \t")
384 (unless (bolp) (insert "\n")))
385 (insert "\n"))) ; FIXME: check eolp before inserting \n?
386 (goto-char end)))))
387
388 ;;;###autoload
389 (define-minor-mode electric-layout-mode
390 "Automatically insert newlines around some chars."
391 :global t
392 :group 'electricity
393 (if electric-layout-mode
394 (add-hook 'post-self-insert-hook
395 #'electric-layout-post-self-insert-function)
396 (remove-hook 'post-self-insert-hook
397 #'electric-layout-post-self-insert-function)))
398
399 (provide 'electric)
400
401 ;;; electric.el ends here