Merge from emacs-24; up to 2012-12-27T17:59:21Z!rgm@gnu.org
[bpt/emacs.git] / lisp / electric.el
CommitLineData
55535639 1;;; electric.el --- window maker and Command loop for `electric' modes
c0274f38 2
ab422c4d
PE
3;; Copyright (C) 1985-1986, 1995, 2001-2013 Free Software Foundation,
4;; Inc.
9750e079 5
e5167999
ER
6;; Author: K. Shane Hartman
7;; Maintainer: FSF
fd7fa35a 8;; Keywords: extensions
e5167999 9
0d20f9a0
JB
10;; This file is part of GNU Emacs.
11
eb3fa2cf 12;; GNU Emacs is free software: you can redistribute it and/or modify
0d20f9a0 13;; it under the terms of the GNU General Public License as published by
eb3fa2cf
GM
14;; the Free Software Foundation, either version 3 of the License, or
15;; (at your option) any later version.
0d20f9a0
JB
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
eb3fa2cf 23;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
0d20f9a0 24
c8472948 25;;; Commentary:
0d20f9a0 26
3b843809
SM
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.
0d20f9a0 39
c8472948
ER
40;;; Code:
41
0d20f9a0 42;; This loop is the guts for non-standard modes which retain control
f135afd3
RS
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
0d20f9a0
JB
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
f135afd3
RS
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
0d20f9a0
JB
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
06b60517 65 &optional prompt inhibit-quitting
0d20f9a0 66 loop-function loop-state)
f135afd3 67
71296446
JB
68 (let (cmd
69 (err nil)
06b60517 70 (inhibit-quit inhibit-quitting)
f135afd3 71 (prompt-string prompt))
0d20f9a0 72 (while t
ba5bf5f0 73 (if (functionp prompt)
f135afd3
RS
74 (setq prompt-string (funcall prompt)))
75 (if (not (stringp prompt-string))
ba5bf5f0 76 (setq prompt-string (unless (eq prompt-string 'noprompt) "->")))
f135afd3 77 (setq cmd (read-key-sequence prompt-string))
8989a920 78 (setq last-command-event (aref cmd (1- (length cmd)))
f867d8d3 79 this-command (key-binding cmd t)
0d20f9a0 80 cmd this-command)
f867d8d3
RS
81 ;; This makes universal-argument-other-key work.
82 (setq universal-argument-num-events 0)
0d20f9a0 83 (if (or (prog1 quit-flag (setq quit-flag nil))
1e4bd40d 84 (eq last-input-event ?\C-g))
dbc4e1c1 85 (progn (setq unread-command-events nil
0d20f9a0 86 prefix-arg nil)
c80e3b4a 87 ;; If it wasn't canceling a prefix character, then quit.
0d20f9a0
JB
88 (if (or (= (length (this-command-keys)) 1)
89 (not inhibit-quit)) ; safety
90 (progn (ding)
91 (message "Quit")
92 (throw return-tag nil))
93 (setq cmd nil))))
94 (setq current-prefix-arg prefix-arg)
95 (if cmd
96 (condition-case conditions
97 (progn (command-execute cmd)
17c17ec9 98 (setq last-command this-command)
0d20f9a0 99 (if (or (prog1 quit-flag (setq quit-flag nil))
1e4bd40d 100 (eq last-input-event ?\C-g))
dbc4e1c1 101 (progn (setq unread-command-events nil)
0d20f9a0
JB
102 (if (not inhibit-quit)
103 (progn (ding)
104 (message "Quit")
105 (throw return-tag nil))
106 (ding)))))
107 (buffer-read-only (if loop-function
108 (setq err conditions)
109 (ding)
110 (message "Buffer is read-only")
111 (sit-for 2)))
112 (beginning-of-buffer (if loop-function
113 (setq err conditions)
114 (ding)
115 (message "Beginning of Buffer")
116 (sit-for 2)))
117 (end-of-buffer (if loop-function
118 (setq err conditions)
119 (ding)
120 (message "End of Buffer")
121 (sit-for 2)))
122 (error (if loop-function
123 (setq err conditions)
124 (ding)
125 (message "Error: %s"
126 (if (eq (car conditions) 'error)
127 (car (cdr conditions))
128 (prin1-to-string conditions)))
129 (sit-for 2))))
130 (ding))
131 (if loop-function (funcall loop-function loop-state err))))
132 (ding)
133 (throw return-tag nil))
134
71296446 135;; This function is like pop-to-buffer, sort of.
0d20f9a0
JB
136;; The algorithm is
137;; If there is a window displaying buffer
138;; Select it
139;; Else if there is only one window
140;; Split it, selecting the window on the bottom with height being
141;; the lesser of max-height (if non-nil) and the number of lines in
142;; the buffer to be displayed subject to window-min-height constraint.
143;; Else
144;; Switch to buffer in the current window.
145;;
146;; Then if max-height is nil, and not all of the lines in the buffer
f98955ea 147;; are displayed, grab the whole frame.
0d20f9a0
JB
148;;
149;; Returns selected window on buffer positioned at point-min.
150
151(defun Electric-pop-up-window (buffer &optional max-height)
152 (let* ((win (or (get-buffer-window buffer) (selected-window)))
153 (buf (get-buffer buffer))
154 (one-window (one-window-p t))
155 (pop-up-windows t)
c45c149c 156 (pop-up-frames nil))
0d20f9a0
JB
157 (if (not buf)
158 (error "Buffer %s does not exist" buffer)
0d20f9a0
JB
159 (cond ((and (eq (window-buffer win) buf))
160 (select-window win))
161 (one-window
0d20f9a0 162 (pop-to-buffer buffer)
c45c149c 163 (setq win (selected-window)))
0d20f9a0
JB
164 (t
165 (switch-to-buffer buf)))
48238d1d 166 ;; Don't shrink the window, but expand it if necessary.
0d20f9a0 167 (goto-char (point-min))
0e87e61e 168 (unless (= (point-max) (window-end win t))
48238d1d 169 (fit-window-to-buffer win max-height))
0d20f9a0 170 win)))
49116ac0 171
3b843809
SM
172;;; Electric keys.
173
174(defgroup electricity ()
175 "Electric behavior for self inserting keys."
176 :group 'editing)
177
7100ff98
SM
178(defun electric--after-char-pos ()
179 "Return the position after the char we just inserted.
180Returns nil when we can't find this char."
181 (let ((pos (point)))
182 (when (or (eq (char-before) last-command-event) ;; Sanity check.
183 (save-excursion
184 (or (progn (skip-chars-backward " \t")
185 (setq pos (point))
186 (eq (char-before) last-command-event))
187 (progn (skip-chars-backward " \n\t")
188 (setq pos (point))
189 (eq (char-before) last-command-event)))))
190 pos)))
191
3b843809
SM
192;; Electric indentation.
193
2122161f
SM
194;; Autoloading variables is generally undesirable, but major modes
195;; should usually set this variable by adding elements to the default
196;; value, which only works well if the variable is preloaded.
197;;;###autoload
3b843809 198(defvar electric-indent-chars '(?\n)
6f5e57e7
SM
199 "Characters that should cause automatic reindentation.")
200
201(defvar electric-indent-functions nil
202 "Special hook run to decide whether to auto-indent.
203Each function is called with one argument (the inserted char), with
204point right after that char, and it should return t to cause indentation,
205`no-indent' to prevent indentation or nil to let other functions decide.")
3b843809
SM
206
207(defun electric-indent-post-self-insert-function ()
208 ;; FIXME: This reindents the current line, but what we really want instead is
209 ;; to reindent the whole affected text. That's the current line for simple
210 ;; cases, but not all cases. We do take care of the newline case in an
211 ;; ad-hoc fashion, but there are still missing cases such as the case of
212 ;; electric-pair-mode wrapping a region with a pair of parens.
213 ;; There might be a way to get it working by analyzing buffer-undo-list, but
214 ;; it looks challenging.
7100ff98 215 (let (pos)
6f5e57e7 216 (when (and
cfc7d5da 217 electric-indent-mode
6f5e57e7
SM
218 ;; Don't reindent while inserting spaces at beginning of line.
219 (or (not (memq last-command-event '(?\s ?\t)))
220 (save-excursion (skip-chars-backward " \t") (not (bolp))))
221 (setq pos (electric--after-char-pos))
222 (save-excursion
223 (goto-char pos)
224 (let ((act (or (run-hook-with-args-until-success
225 'electric-indent-functions
226 last-command-event)
227 (memq last-command-event electric-indent-chars))))
228 (not
229 (or (memq act '(nil no-indent))
230 ;; In a string or comment.
231 (unless (eq act 'do-indent) (nth 8 (syntax-ppss))))))))
7100ff98
SM
232 ;; For newline, we want to reindent both lines and basically behave like
233 ;; reindent-then-newline-and-indent (whose code we hence copied).
a733fc37 234 (when (< (1- pos) (line-beginning-position))
7100ff98
SM
235 (let ((before (copy-marker (1- pos) t)))
236 (save-excursion
a733fc37 237 (unless (memq indent-line-function
74a10be5 238 '(indent-relative indent-to-left-margin
6f5e57e7 239 indent-relative-maybe))
a733fc37
SM
240 ;; Don't reindent the previous line if the indentation function
241 ;; is not a real one.
242 (goto-char before)
243 (indent-according-to-mode))
7100ff98
SM
244 ;; We are at EOL before the call to indent-according-to-mode, and
245 ;; after it we usually are as well, but not always. We tried to
246 ;; address it with `save-excursion' but that uses a normal marker
247 ;; whereas we need `move after insertion', so we do the
248 ;; save/restore by hand.
249 (goto-char before)
250 ;; Remove the trailing whitespace after indentation because
251 ;; indentation may (re)introduce the whitespace.
252 (delete-horizontal-space t))))
74a10be5
SM
253 (unless (memq indent-line-function '(indent-to-left-margin))
254 (indent-according-to-mode)))))
3b843809
SM
255
256;;;###autoload
257(define-minor-mode electric-indent-mode
06e21633
CY
258 "Toggle on-the-fly reindentation (Electric Indent mode).
259With a prefix argument ARG, enable Electric Indent mode if ARG is
260positive, and disable it otherwise. If called from Lisp, enable
261the mode if ARG is omitted or nil.
262
a075a2c5
GM
263This is a global minor mode. When enabled, it reindents whenever
264the hook `electric-indent-functions' returns non-nil, or you
265insert a character from `electric-indent-chars'."
3b843809
SM
266 :global t
267 :group 'electricity
24f3d7b9
SM
268 (if (not electric-indent-mode)
269 (remove-hook 'post-self-insert-hook
270 #'electric-indent-post-self-insert-function)
271 ;; post-self-insert-hooks interact in non-trivial ways.
272 ;; It turns out that electric-indent-mode generally works better if run
273 ;; late, but still before blink-paren.
274 (add-hook 'post-self-insert-hook
275 #'electric-indent-post-self-insert-function
276 'append)
277 ;; FIXME: Ugly!
278 (let ((bp (memq #'blink-paren-post-self-insert-function
279 (default-value 'post-self-insert-hook))))
280 (when (memq #'electric-indent-post-self-insert-function bp)
281 (setcar bp #'electric-indent-post-self-insert-function)
282 (setcdr bp (cons #'blink-paren-post-self-insert-function
283 (delq #'electric-indent-post-self-insert-function
284 (cdr bp))))))))
3b843809
SM
285
286;; Electric pairing.
287
c51bb5d2
SM
288(defcustom electric-pair-pairs
289 '((?\" . ?\"))
290 "Alist of pairs that should be used regardless of major mode."
a075a2c5
GM
291 :group 'electricity
292 :version "24.1"
c51bb5d2
SM
293 :type '(repeat (cons character character)))
294
3b843809
SM
295(defcustom electric-pair-skip-self t
296 "If non-nil, skip char instead of inserting a second closing paren.
297When inserting a closing paren character right before the same character,
298just skip that character instead, so that hitting ( followed by ) results
299in \"()\" rather than \"())\".
300This can be convenient for people who find it easier to hit ) than C-f."
a075a2c5
GM
301 :group 'electricity
302 :version "24.1"
3b843809
SM
303 :type 'boolean)
304
15c579f0
SM
305(defcustom electric-pair-inhibit-predicate
306 #'electric-pair-default-inhibit
307 "Predicate to prevent insertion of a matching pair.
308The function is called with a single char (the opening char just inserted).
309If it returns non-nil, then `electric-pair-mode' will not insert a matching
310closer."
51af1aa2 311 :version "24.4"
15c579f0
SM
312 :type '(choice
313 (const :tag "Default" electric-pair-default-inhibit)
314 (const :tag "Always pair" ignore)
315 function))
316
317(defun electric-pair-default-inhibit (char)
318 (or
319 ;; I find it more often preferable not to pair when the
320 ;; same char is next.
321 (eq char (char-after))
322 (eq char (char-before (1- (point))))
323 ;; I also find it often preferable not to pair next to a word.
324 (eq (char-syntax (following-char)) ?w)))
325
b1d39ccc
SL
326(defun electric-pair-syntax (command-event)
327 (and electric-pair-mode
328 (let ((x (assq command-event electric-pair-pairs)))
329 (cond
330 (x (if (eq (car x) (cdr x)) ?\" ?\())
331 ((rassq command-event electric-pair-pairs) ?\))
332 (t (char-syntax command-event))))))
333
3b843809
SM
334(defun electric-pair-post-self-insert-function ()
335 (let* ((syntax (and (eq (char-before) last-command-event) ; Sanity check.
b1d39ccc 336 (electric-pair-syntax last-command-event)))
3b843809
SM
337 ;; FIXME: when inserting the closer, we should maybe use
338 ;; self-insert-command, although it may prove tricky running
339 ;; post-self-insert-hook recursively, and we wouldn't want to trigger
340 ;; blink-matching-open.
341 (closer (if (eq syntax ?\()
c51bb5d2
SM
342 (cdr (or (assq last-command-event electric-pair-pairs)
343 (aref (syntax-table) last-command-event)))
3b843809
SM
344 last-command-event)))
345 (cond
346 ;; Wrap a pair around the active region.
347 ((and (memq syntax '(?\( ?\" ?\$)) (use-region-p))
348 (if (> (mark) (point))
349 (goto-char (mark))
b5cf7fc4
CY
350 ;; We already inserted the open-paren but at the end of the
351 ;; region, so we have to remove it and start over.
352 (delete-char -1)
353 (save-excursion
3b843809 354 (goto-char (mark))
b5cf7fc4
CY
355 ;; Do not insert after `save-excursion' marker (Bug#11520).
356 (insert-before-markers last-command-event)))
3b843809
SM
357 (insert closer))
358 ;; Backslash-escaped: no pairing, no skipping.
359 ((save-excursion
360 (goto-char (1- (point)))
361 (not (zerop (% (skip-syntax-backward "\\") 2))))
362 nil)
363 ;; Skip self.
364 ((and (memq syntax '(?\) ?\" ?\$))
365 electric-pair-skip-self
366 (eq (char-after) last-command-event))
367 ;; This is too late: rather than insert&delete we'd want to only skip (or
368 ;; insert in overwrite mode). The difference is in what goes in the
369 ;; undo-log and in the intermediate state which might be visible to other
370 ;; post-self-insert-hook. We'll just have to live with it for now.
371 (delete-char 1))
372 ;; Insert matching pair.
373 ((not (or (not (memq syntax `(?\( ?\" ?\$)))
374 overwrite-mode
15c579f0 375 (funcall electric-pair-inhibit-predicate last-command-event)))
3b843809
SM
376 (save-excursion (insert closer))))))
377
c77d37e2
SM
378(defun electric-pair-will-use-region ()
379 (and (use-region-p)
380 (memq (electric-pair-syntax last-command-event) '(?\( ?\" ?\$))))
b1d39ccc 381
3b843809
SM
382;;;###autoload
383(define-minor-mode electric-pair-mode
06e21633
CY
384 "Toggle automatic parens pairing (Electric Pair mode).
385With a prefix argument ARG, enable Electric Pair mode if ARG is
386positive, and disable it otherwise. If called from Lisp, enable
387the mode if ARG is omitted or nil.
388
389Electric Pair mode is a global minor mode. When enabled, typing
390an open parenthesis automatically inserts the corresponding
a075a2c5
GM
391closing parenthesis. \(Likewise for brackets, etc.)
392
393See options `electric-pair-pairs' and `electric-pair-skip-self'."
3b843809
SM
394 :global t
395 :group 'electricity
396 (if electric-pair-mode
b1d39ccc 397 (progn
b1d39ccc
SL
398 (add-hook 'post-self-insert-hook
399 #'electric-pair-post-self-insert-function)
c77d37e2
SM
400 (add-hook 'self-insert-uses-region-functions
401 #'electric-pair-will-use-region))
3b843809 402 (remove-hook 'post-self-insert-hook
b1d39ccc 403 #'electric-pair-post-self-insert-function)
c77d37e2
SM
404 (remove-hook 'self-insert-uses-region-functions
405 #'electric-pair-will-use-region)))
7100ff98
SM
406
407;; Automatically add newlines after/before/around some chars.
408
409(defvar electric-layout-rules '()
410 "List of rules saying where to automatically insert newlines.
411Each rule has the form (CHAR . WHERE) where CHAR is the char
412that was just inserted and WHERE specifies where to insert newlines
a075a2c5
GM
413and can be: nil, `before', `after', `around', or a function of no
414arguments that returns one of those symbols.")
7100ff98
SM
415
416(defun electric-layout-post-self-insert-function ()
417 (let* ((rule (cdr (assq last-command-event electric-layout-rules)))
418 pos)
419 (when (and rule
420 (setq pos (electric--after-char-pos))
421 ;; Not in a string or comment.
422 (not (nth 8 (save-excursion (syntax-ppss pos)))))
423 (let ((end (copy-marker (point) t)))
424 (goto-char pos)
f58e0fd5 425 (pcase (if (functionp rule) (funcall rule) rule)
7100ff98
SM
426 ;; FIXME: we used `newline' down here which called
427 ;; self-insert-command and ran post-self-insert-hook recursively.
428 ;; It happened to make electric-indent-mode work automatically with
429 ;; electric-layout-mode (at the cost of re-indenting lines
430 ;; multiple times), but I'm not sure it's what we want.
f58e0fd5 431 (`before (goto-char (1- pos)) (skip-chars-backward " \t")
c51bb5d2 432 (unless (bolp) (insert "\n")))
f58e0fd5
SM
433 (`after (insert "\n")) ; FIXME: check eolp before inserting \n?
434 (`around (save-excursion
c51bb5d2
SM
435 (goto-char (1- pos)) (skip-chars-backward " \t")
436 (unless (bolp) (insert "\n")))
437 (insert "\n"))) ; FIXME: check eolp before inserting \n?
7100ff98
SM
438 (goto-char end)))))
439
440;;;###autoload
441(define-minor-mode electric-layout-mode
e1ac4066
GM
442 "Automatically insert newlines around some chars.
443With a prefix argument ARG, enable Electric Layout mode if ARG is
444positive, and disable it otherwise. If called from Lisp, enable
a075a2c5
GM
445the mode if ARG is omitted or nil.
446The variable `electric-layout-rules' says when and how to insert newlines."
7100ff98
SM
447 :global t
448 :group 'electricity
449 (if electric-layout-mode
450 (add-hook 'post-self-insert-hook
451 #'electric-layout-post-self-insert-function)
452 (remove-hook 'post-self-insert-hook
453 #'electric-layout-post-self-insert-function)))
454
c0274f38
ER
455(provide 'electric)
456
c8472948 457;;; electric.el ends here