1 ;;; electric.el --- window maker and Command loop for `electric' modes
3 ;; Copyright (C) 1985-1986, 1995, 2001-2011 Free Software Foundation, Inc.
5 ;; Author: K. Shane Hartman
7 ;; Keywords: extensions
9 ;; This file is part of GNU Emacs.
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.
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.
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/>.
26 ;; "Electric" has been used in Emacs to refer to different things.
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
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.
41 (eval-when-compile (require 'cl
))
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.
65 (defun Electric-command-loop (return-tag
66 &optional prompt inhibit-quitting
67 loop-function loop-state
)
71 (inhibit-quit inhibit-quitting
)
72 (prompt-string prompt
))
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
)
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
88 ;; If it wasn't cancelling a prefix character, then quit.
89 (if (or (= (length (this-command-keys)) 1)
90 (not inhibit-quit
)) ; safety
93 (throw return-tag nil
))
95 (setq current-prefix-arg prefix-arg
)
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
)
106 (throw return-tag nil
))
108 (buffer-read-only (if loop-function
109 (setq err conditions
)
111 (message "Buffer is read-only")
113 (beginning-of-buffer (if loop-function
114 (setq err conditions
)
116 (message "Beginning of Buffer")
118 (end-of-buffer (if loop-function
119 (setq err conditions
)
121 (message "End of Buffer")
123 (error (if loop-function
124 (setq err conditions
)
127 (if (eq (car conditions
) 'error
)
128 (car (cdr conditions
))
129 (prin1-to-string conditions
)))
132 (if loop-function
(funcall loop-function loop-state err
))))
134 (throw return-tag nil
))
136 ;; This function is like pop-to-buffer, sort of.
138 ;; If there is a window displaying buffer
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.
145 ;; Switch to buffer in the current window.
147 ;; Then if max-height is nil, and not all of the lines in the buffer
148 ;; are displayed, grab the whole frame.
150 ;; Returns selected window on buffer positioned at point-min.
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
))
159 (error "Buffer %s does not exist" buffer
)
160 (cond ((and (eq (window-buffer win
) buf
))
163 (pop-to-buffer buffer
)
164 (setq win
(selected-window)))
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
))
175 (defgroup electricity
()
176 "Electric behavior for self inserting keys."
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."
183 (when (or (eq (char-before) last-command-event
) ;; Sanity check.
185 (or (progn (skip-chars-backward " \t")
187 (eq (char-before) last-command-event
))
188 (progn (skip-chars-backward " \n\t")
190 (eq (char-before) last-command-event
)))))
193 ;; Electric indentation.
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.
199 (defvar electric-indent-chars
'(?
\n)
200 "Characters that should cause automatic reindentation.")
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.
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
)))
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.
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.
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)))))
243 (define-minor-mode electric-indent-mode
244 "Automatically reindent lines of code when inserting particular chars.
245 `electric-indent-chars' specifies the set of chars that should cause reindentation."
248 (if electric-indent-mode
249 (add-hook 'post-self-insert-hook
250 #'electric-indent-post-self-insert-function
)
251 (remove-hook 'post-self-insert-hook
252 #'electric-indent-post-self-insert-function
))
253 ;; FIXME: electric-indent-mode and electric-layout-mode interact
254 ;; in non-trivial ways. It turns out that electric-indent-mode works
255 ;; better if it is run *after* electric-layout-mode's hook.
256 (when (memq #'electric-layout-post-self-insert-function
257 (memq #'electric-indent-post-self-insert-function
258 (default-value 'post-self-insert-hook
)))
259 (remove-hook 'post-self-insert-hook
260 #'electric-layout-post-self-insert-function
)
261 (add-hook 'post-self-insert-hook
262 #'electric-layout-post-self-insert-function
)))
266 (defcustom electric-pair-pairs
268 "Alist of pairs that should be used regardless of major mode."
269 :type
'(repeat (cons character character
)))
271 (defcustom electric-pair-skip-self t
272 "If non-nil, skip char instead of inserting a second closing paren.
273 When inserting a closing paren character right before the same character,
274 just skip that character instead, so that hitting ( followed by ) results
275 in \"()\" rather than \"())\".
276 This can be convenient for people who find it easier to hit ) than C-f."
279 (defun electric-pair-post-self-insert-function ()
280 (let* ((syntax (and (eq (char-before) last-command-event
) ; Sanity check.
281 (let ((x (assq last-command-event electric-pair-pairs
)))
283 (x (if (eq (car x
) (cdr x
)) ?
\" ?\
())
284 ((rassq last-command-event electric-pair-pairs
) ?\
))
285 (t (char-syntax last-command-event
))))))
286 ;; FIXME: when inserting the closer, we should maybe use
287 ;; self-insert-command, although it may prove tricky running
288 ;; post-self-insert-hook recursively, and we wouldn't want to trigger
289 ;; blink-matching-open.
290 (closer (if (eq syntax ?\
()
291 (cdr (or (assq last-command-event electric-pair-pairs
)
292 (aref (syntax-table) last-command-event
)))
293 last-command-event
)))
295 ;; Wrap a pair around the active region.
296 ((and (memq syntax
'(?\
( ?
\" ?\$
)) (use-region-p))
297 (if (> (mark) (point))
299 ;; We already inserted the open-paren but at the end of the region,
300 ;; so we have to remove it and start over.
304 (insert last-command-event
)))
306 ;; Backslash-escaped: no pairing, no skipping.
308 (goto-char (1- (point)))
309 (not (zerop (%
(skip-syntax-backward "\\") 2))))
312 ((and (memq syntax
'(?\
) ?
\" ?\$
))
313 electric-pair-skip-self
314 (eq (char-after) last-command-event
))
315 ;; This is too late: rather than insert&delete we'd want to only skip (or
316 ;; insert in overwrite mode). The difference is in what goes in the
317 ;; undo-log and in the intermediate state which might be visible to other
318 ;; post-self-insert-hook. We'll just have to live with it for now.
320 ;; Insert matching pair.
321 ((not (or (not (memq syntax
`(?\
( ?
\" ?\$
)))
323 ;; I find it more often preferable not to pair when the
324 ;; same char is next.
325 (eq last-command-event
(char-after))
326 (eq last-command-event
(char-before (1- (point))))
327 ;; I also find it often preferable not to pair next to a word.
328 (eq (char-syntax (following-char)) ?w
)))
329 (save-excursion (insert closer
))))))
332 (define-minor-mode electric-pair-mode
333 "Automatically pair-up parens when inserting an open paren."
336 (if electric-pair-mode
337 (add-hook 'post-self-insert-hook
338 #'electric-pair-post-self-insert-function
)
339 (remove-hook 'post-self-insert-hook
340 #'electric-pair-post-self-insert-function
)))
342 ;; Automatically add newlines after/before/around some chars.
344 (defvar electric-layout-rules
'()
345 "List of rules saying where to automatically insert newlines.
346 Each rule has the form (CHAR . WHERE) where CHAR is the char
347 that was just inserted and WHERE specifies where to insert newlines
348 and can be: nil, `before', `after', `around', or a function that returns
349 one of those symbols.")
351 (defun electric-layout-post-self-insert-function ()
352 (let* ((rule (cdr (assq last-command-event electric-layout-rules
)))
355 (setq pos
(electric--after-char-pos))
356 ;; Not in a string or comment.
357 (not (nth 8 (save-excursion (syntax-ppss pos
)))))
358 (let ((end (copy-marker (point) t
)))
360 (case (if (functionp rule
) (funcall rule
) rule
)
361 ;; FIXME: we used `newline' down here which called
362 ;; self-insert-command and ran post-self-insert-hook recursively.
363 ;; It happened to make electric-indent-mode work automatically with
364 ;; electric-layout-mode (at the cost of re-indenting lines
365 ;; multiple times), but I'm not sure it's what we want.
366 (before (goto-char (1- pos
)) (skip-chars-backward " \t")
367 (unless (bolp) (insert "\n")))
368 (after (insert "\n")) ; FIXME: check eolp before inserting \n?
369 (around (save-excursion
370 (goto-char (1- pos
)) (skip-chars-backward " \t")
371 (unless (bolp) (insert "\n")))
372 (insert "\n"))) ; FIXME: check eolp before inserting \n?
376 (define-minor-mode electric-layout-mode
377 "Automatically insert newlines around some chars."
380 (if electric-layout-mode
381 (add-hook 'post-self-insert-hook
382 #'electric-layout-post-self-insert-function
)
383 (remove-hook 'post-self-insert-hook
384 #'electric-layout-post-self-insert-function
)))
388 ;;; electric.el ends here