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