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