Add separator.pbm tool-bar image
[emacs.git] / lisp / electric.el
blob47cb020108c4836acd85ffad12e7d7b9bd0cbaaa
1 ;;; electric.el --- window maker and Command loop for `electric' modes
3 ;; Copyright (C) 1985-1986, 1995, 2001-2015 Free Software Foundation,
4 ;; Inc.
6 ;; Author: K. Shane Hartman
7 ;; Maintainer: emacs-devel@gnu.org
8 ;; Keywords: extensions
10 ;; This file is part of GNU Emacs.
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.
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.
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/>.
25 ;;; Commentary:
27 ;; "Electric" has been used in Emacs to refer to different things.
28 ;; Among them:
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.
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.
40 ;;; Code:
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.
64 (defun Electric-command-loop (return-tag
65 &optional prompt inhibit-quitting
66 loop-function loop-state)
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))
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.
144 ;; Then if max-height is nil, and not all of the lines in the buffer
145 ;; are displayed, grab the whole frame.
147 ;; Returns selected window on buffer positioned at point-min.
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)))
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 ;; This call is executed even if the window existed before, was
168 ;; reused, ... contradicting a claim in the comment before this
169 ;; function.
170 (fit-window-to-buffer win max-height nil nil nil t))
171 win)))
173 ;;; Electric keys.
175 (defgroup electricity ()
176 "Electric behavior for self inserting keys."
177 :group 'editing)
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)))
193 (defun electric--sort-post-self-insertion-hook ()
194 "Ensure order of electric functions in `post-self-insertion-hook'.
196 Hooks in this variable interact in non-trivial ways, so a
197 relative order must be maintained within it."
198 (setq-default post-self-insert-hook
199 (sort (default-value 'post-self-insert-hook)
200 #'(lambda (fn1 fn2)
201 (< (or (get fn1 'priority) 0)
202 (or (get fn2 'priority) 0))))))
204 ;;; Electric indentation.
206 ;; Autoloading variables is generally undesirable, but major modes
207 ;; should usually set this variable by adding elements to the default
208 ;; value, which only works well if the variable is preloaded.
209 ;;;###autoload
210 (defvar electric-indent-chars '(?\n)
211 "Characters that should cause automatic reindentation.")
213 (defvar electric-indent-functions nil
214 "Special hook run to decide whether to auto-indent.
215 Each function is called with one argument (the inserted char), with
216 point right after that char, and it should return t to cause indentation,
217 `no-indent' to prevent indentation or nil to let other functions decide.")
219 (defvar-local electric-indent-inhibit nil
220 "If non-nil, reindentation is not appropriate for this buffer.
221 This should be set by major modes such as `python-mode' since
222 Python does not lend itself to fully automatic indentation.")
224 (defvar electric-indent-functions-without-reindent
225 '(indent-relative indent-to-left-margin indent-relative-maybe
226 py-indent-line coffee-indent-line org-indent-line yaml-indent-line
227 haskell-indentation-indent-line haskell-indent-cycle haskell-simple-indent
228 yaml-indent-line)
229 "List of indent functions that can't reindent.
230 If `line-indent-function' is one of those, then `electric-indent-mode' will
231 not try to reindent lines. It is normally better to make the major
232 mode set `electric-indent-inhibit', but this can be used as a workaround.")
234 (defun electric-indent-post-self-insert-function ()
235 "Function that `electric-indent-mode' adds to `post-self-insert-hook'.
236 This indents if the hook `electric-indent-functions' returns non-nil,
237 or if a member of `electric-indent-chars' was typed; but not in a string
238 or comment."
239 ;; FIXME: This reindents the current line, but what we really want instead is
240 ;; to reindent the whole affected text. That's the current line for simple
241 ;; cases, but not all cases. We do take care of the newline case in an
242 ;; ad-hoc fashion, but there are still missing cases such as the case of
243 ;; electric-pair-mode wrapping a region with a pair of parens.
244 ;; There might be a way to get it working by analyzing buffer-undo-list, but
245 ;; it looks challenging.
246 (let (pos)
247 (when (and
248 electric-indent-mode
249 ;; Don't reindent while inserting spaces at beginning of line.
250 (or (not (memq last-command-event '(?\s ?\t)))
251 (save-excursion (skip-chars-backward " \t") (not (bolp))))
252 (setq pos (electric--after-char-pos))
253 (save-excursion
254 (goto-char pos)
255 (let ((act (or (run-hook-with-args-until-success
256 'electric-indent-functions
257 last-command-event)
258 (memq last-command-event electric-indent-chars))))
259 (not
260 (or (memq act '(nil no-indent))
261 ;; In a string or comment.
262 (unless (eq act 'do-indent) (nth 8 (syntax-ppss))))))))
263 ;; For newline, we want to reindent both lines and basically behave like
264 ;; reindent-then-newline-and-indent (whose code we hence copied).
265 (let ((at-newline (<= pos (line-beginning-position))))
266 (when at-newline
267 (let ((before (copy-marker (1- pos) t)))
268 (save-excursion
269 (unless (or (memq indent-line-function
270 electric-indent-functions-without-reindent)
271 electric-indent-inhibit)
272 ;; Don't reindent the previous line if the indentation function
273 ;; is not a real one.
274 (goto-char before)
275 (indent-according-to-mode))
276 ;; We are at EOL before the call to indent-according-to-mode, and
277 ;; after it we usually are as well, but not always. We tried to
278 ;; address it with `save-excursion' but that uses a normal marker
279 ;; whereas we need `move after insertion', so we do the
280 ;; save/restore by hand.
281 (goto-char before)
282 (when (eolp)
283 ;; Remove the trailing whitespace after indentation because
284 ;; indentation may (re)introduce the whitespace.
285 (delete-horizontal-space t)))))
286 (unless (and electric-indent-inhibit
287 (not at-newline))
288 (indent-according-to-mode))))))
290 (put 'electric-indent-post-self-insert-function 'priority 60)
292 (defun electric-indent-just-newline (arg)
293 "Insert just a newline, without any auto-indentation."
294 (interactive "*P")
295 (let ((electric-indent-mode nil))
296 (newline arg 'interactive)))
298 ;;;###autoload
299 (define-key global-map "\C-j" 'electric-newline-and-maybe-indent)
300 ;;;###autoload
301 (defun electric-newline-and-maybe-indent ()
302 "Insert a newline.
303 If `electric-indent-mode' is enabled, that's that, but if it
304 is *disabled* then additionally indent according to major mode.
305 Indentation is done using the value of `indent-line-function'.
306 In programming language modes, this is the same as TAB.
307 In some text modes, where TAB inserts a tab, this command indents to the
308 column specified by the function `current-left-margin'."
309 (interactive "*")
310 (if electric-indent-mode
311 (electric-indent-just-newline nil)
312 (newline-and-indent)))
314 ;;;###autoload
315 (define-minor-mode electric-indent-mode
316 "Toggle on-the-fly reindentation (Electric Indent mode).
317 With a prefix argument ARG, enable Electric Indent mode if ARG is
318 positive, and disable it otherwise. If called from Lisp, enable
319 the mode if ARG is omitted or nil.
321 When enabled, this reindents whenever the hook `electric-indent-functions'
322 returns non-nil, or if you insert a character from `electric-indent-chars'.
324 This is a global minor mode. To toggle the mode in a single buffer,
325 use `electric-indent-local-mode'."
326 :global t :group 'electricity
327 :initialize 'custom-initialize-delay
328 :init-value t
329 (if (not electric-indent-mode)
330 (unless (catch 'found
331 (dolist (buf (buffer-list))
332 (with-current-buffer buf
333 (if electric-indent-mode (throw 'found t)))))
334 (remove-hook 'post-self-insert-hook
335 #'electric-indent-post-self-insert-function))
336 (add-hook 'post-self-insert-hook
337 #'electric-indent-post-self-insert-function)
338 (electric--sort-post-self-insertion-hook)))
340 ;;;###autoload
341 (define-minor-mode electric-indent-local-mode
342 "Toggle `electric-indent-mode' only in this buffer."
343 :variable (buffer-local-value 'electric-indent-mode (current-buffer))
344 (cond
345 ((eq electric-indent-mode (default-value 'electric-indent-mode))
346 (kill-local-variable 'electric-indent-mode))
347 ((not (default-value 'electric-indent-mode))
348 ;; Locally enabled, but globally disabled.
349 (electric-indent-mode 1) ; Setup the hooks.
350 (setq-default electric-indent-mode nil) ; But keep it globally disabled.
353 ;;; Electric newlines after/before/around some chars.
355 (defvar electric-layout-rules nil
356 "List of rules saying where to automatically insert newlines.
358 Each rule has the form (CHAR . WHERE) where CHAR is the char that
359 was just inserted and WHERE specifies where to insert newlines
360 and can be: nil, `before', `after', `around', `after-stay', or a
361 function of no arguments that returns one of those symbols.
363 The symbols specify where in relation to CHAR the newline
364 character(s) should be inserted. `after-stay' means insert a
365 newline after CHAR but stay in the same place.")
367 (defun electric-layout-post-self-insert-function ()
368 (let* ((rule (cdr (assq last-command-event electric-layout-rules)))
369 pos)
370 (when (and rule
371 (setq pos (electric--after-char-pos))
372 ;; Not in a string or comment.
373 (not (nth 8 (save-excursion (syntax-ppss pos)))))
374 (let ((end (point-marker))
375 (sym (if (functionp rule) (funcall rule) rule)))
376 (set-marker-insertion-type end (not (eq sym 'after-stay)))
377 (goto-char pos)
378 (pcase sym
379 ;; FIXME: we used `newline' down here which called
380 ;; self-insert-command and ran post-self-insert-hook recursively.
381 ;; It happened to make electric-indent-mode work automatically with
382 ;; electric-layout-mode (at the cost of re-indenting lines
383 ;; multiple times), but I'm not sure it's what we want.
385 ;; FIXME: check eolp before inserting \n?
386 (`before (goto-char (1- pos)) (skip-chars-backward " \t")
387 (unless (bolp) (insert "\n")))
388 (`after (insert "\n"))
389 (`after-stay (save-excursion
390 (let ((electric-layout-rules nil))
391 (newline 1 t))))
392 (`around (save-excursion
393 (goto-char (1- pos)) (skip-chars-backward " \t")
394 (unless (bolp) (insert "\n")))
395 (insert "\n"))) ; FIXME: check eolp before inserting \n?
396 (goto-char end)))))
398 (put 'electric-layout-post-self-insert-function 'priority 40)
400 ;;;###autoload
401 (define-minor-mode electric-layout-mode
402 "Automatically insert newlines around some chars.
403 With a prefix argument ARG, enable Electric Layout mode if ARG is
404 positive, and disable it otherwise. If called from Lisp, enable
405 the mode if ARG is omitted or nil.
406 The variable `electric-layout-rules' says when and how to insert newlines."
407 :global t :group 'electricity
408 (cond (electric-layout-mode
409 (add-hook 'post-self-insert-hook
410 #'electric-layout-post-self-insert-function)
411 (electric--sort-post-self-insertion-hook))
413 (remove-hook 'post-self-insert-hook
414 #'electric-layout-post-self-insert-function))))
416 ;;; Electric quoting.
418 (defcustom electric-quote-comment t
419 "Non-nil means to use electric quoting in program comments."
420 :type 'boolean :safe 'booleanp :group 'electricity)
422 (defcustom electric-quote-string nil
423 "Non-nil means to use electric quoting in program strings."
424 :type 'boolean :safe 'booleanp :group 'electricity)
426 (defcustom electric-quote-paragraph t
427 "Non-nil means to use electric quoting in text paragraphs."
428 :type 'boolean :safe 'booleanp :group 'electricity)
430 (defun electric--insertable-p (string)
431 (or (not buffer-file-coding-system)
432 (eq (coding-system-base buffer-file-coding-system) 'undecided)
433 (not (unencodable-char-position nil nil buffer-file-coding-system
434 nil string))))
436 (defun electric-quote-post-self-insert-function ()
437 "Function that `electric-quote-mode' adds to `post-self-insert-hook'.
438 This requotes when a quoting key is typed."
439 (when (and electric-quote-mode
440 (memq last-command-event '(?\' ?\`)))
441 (let ((start
442 (if (and comment-start comment-use-syntax)
443 (when (or electric-quote-comment electric-quote-string)
444 (let ((syntax (syntax-ppss)))
445 (and (or (and electric-quote-comment (nth 4 syntax))
446 (and electric-quote-string (nth 3 syntax)))
447 (nth 8 syntax))))
448 (and electric-quote-paragraph
449 (derived-mode-p 'text-mode)
450 (or (eq last-command-event ?\`)
451 (save-excursion (backward-paragraph) (point)))))))
452 (when start
453 (save-excursion
454 (if (eq last-command-event ?\`)
455 (cond ((and (electric--insertable-p "“")
456 (search-backward "‘`" (- (point) 2) t))
457 (replace-match "“")
458 (when (and electric-pair-mode
459 (eq (cdr-safe
460 (assq ?‘ electric-pair-text-pairs))
461 (char-after)))
462 (delete-char 1))
463 (setq last-command-event ?“))
464 ((and (electric--insertable-p "‘")
465 (search-backward "`" (1- (point)) t))
466 (replace-match "‘")
467 (setq last-command-event ?‘)))
468 (cond ((and (electric--insertable-p "”")
469 (search-backward "’'" (- (point) 2) t))
470 (replace-match "”")
471 (setq last-command-event ?”))
472 ((and (electric--insertable-p "’")
473 (search-backward "'" (1- (point)) t))
474 (replace-match "’")
475 (setq last-command-event ?’)))))))))
477 (put 'electric-quote-post-self-insert-function 'priority 10)
479 ;;;###autoload
480 (define-minor-mode electric-quote-mode
481 "Toggle on-the-fly requoting (Electric Quote mode).
482 With a prefix argument ARG, enable Electric Quote mode if
483 ARG is positive, and disable it otherwise. If called from Lisp,
484 enable the mode if ARG is omitted or nil.
486 When enabled, as you type this replaces \\=` with \\=‘, \\=' with \\=’,
487 \\=`\\=` with “, and \\='\\=' with ”. This occurs only in comments, strings,
488 and text paragraphs, and these are selectively controlled with
489 `electric-quote-comment', `electric-quote-string', and
490 `electric-quote-paragraph'.
492 This is a global minor mode. To toggle the mode in a single buffer,
493 use `electric-quote-local-mode'."
494 :global t :group 'electricity
495 :initialize 'custom-initialize-delay
496 :init-value nil
497 (if (not electric-quote-mode)
498 (unless (catch 'found
499 (dolist (buf (buffer-list))
500 (with-current-buffer buf
501 (if electric-quote-mode (throw 'found t)))))
502 (remove-hook 'post-self-insert-hook
503 #'electric-quote-post-self-insert-function))
504 (add-hook 'post-self-insert-hook
505 #'electric-quote-post-self-insert-function)
506 (electric--sort-post-self-insertion-hook)))
508 ;;;###autoload
509 (define-minor-mode electric-quote-local-mode
510 "Toggle `electric-quote-mode' only in this buffer."
511 :variable (buffer-local-value 'electric-quote-mode (current-buffer))
512 (cond
513 ((eq electric-quote-mode (default-value 'electric-quote-mode))
514 (kill-local-variable 'electric-quote-mode))
515 ((not (default-value 'electric-quote-mode))
516 ;; Locally enabled, but globally disabled.
517 (electric-quote-mode 1) ; Setup the hooks.
518 (setq-default electric-quote-mode nil) ; But keep it globally disabled.
521 (provide 'electric)
523 ;;; electric.el ends here