Fix c-invalidate-state-cache on narrowed buffers.
[bpt/emacs.git] / lisp / electric.el
CommitLineData
55535639 1;;; electric.el --- window maker and Command loop for `electric' modes
c0274f38 2
ba318903 3;; Copyright (C) 1985-1986, 1995, 2001-2014 Free Software Foundation,
ab422c4d 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
JB
80 cmd this-command)
81 (if (or (prog1 quit-flag (setq quit-flag nil))
1e4bd40d 82 (eq last-input-event ?\C-g))
dbc4e1c1 83 (progn (setq unread-command-events nil
0d20f9a0 84 prefix-arg nil)
c80e3b4a 85 ;; If it wasn't canceling a prefix character, then quit.
0d20f9a0
JB
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)
17c17ec9 96 (setq last-command this-command)
0d20f9a0 97 (if (or (prog1 quit-flag (setq quit-flag nil))
1e4bd40d 98 (eq last-input-event ?\C-g))
dbc4e1c1 99 (progn (setq unread-command-events nil)
0d20f9a0
JB
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
71296446 133;; This function is like pop-to-buffer, sort of.
0d20f9a0
JB
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
f98955ea 145;; are displayed, grab the whole frame.
0d20f9a0
JB
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)
c45c149c 154 (pop-up-frames nil))
0d20f9a0
JB
155 (if (not buf)
156 (error "Buffer %s does not exist" buffer)
0d20f9a0
JB
157 (cond ((and (eq (window-buffer win) buf))
158 (select-window win))
159 (one-window
0d20f9a0 160 (pop-to-buffer buffer)
c45c149c 161 (setq win (selected-window)))
0d20f9a0
JB
162 (t
163 (switch-to-buffer buf)))
48238d1d 164 ;; Don't shrink the window, but expand it if necessary.
0d20f9a0 165 (goto-char (point-min))
0e87e61e 166 (unless (= (point-max) (window-end win t))
48238d1d 167 (fit-window-to-buffer win max-height))
0d20f9a0 168 win)))
49116ac0 169
3b843809
SM
170;;; Electric keys.
171
172(defgroup electricity ()
173 "Electric behavior for self inserting keys."
174 :group 'editing)
175
7100ff98
SM
176(defun electric--after-char-pos ()
177 "Return the position after the char we just inserted.
178Returns 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
3b8d5131
JT
190(defun electric--sort-post-self-insertion-hook ()
191 "Ensure order of electric functions in `post-self-insertion-hook'.
192
193Hooks in this variable interact in non-trivial ways, so a
194relative order must be maintained within it."
195 (setq-default post-self-insert-hook
196 (sort (default-value 'post-self-insert-hook)
197 #'(lambda (fn1 fn2)
198 (< (or (get fn1 'priority) 0)
199 (or (get fn2 'priority) 0))))))
200
2abb4e65 201;;; Electric indentation.
3b843809 202
2122161f
SM
203;; Autoloading variables is generally undesirable, but major modes
204;; should usually set this variable by adding elements to the default
205;; value, which only works well if the variable is preloaded.
206;;;###autoload
3b843809 207(defvar electric-indent-chars '(?\n)
6f5e57e7
SM
208 "Characters that should cause automatic reindentation.")
209
210(defvar electric-indent-functions nil
211 "Special hook run to decide whether to auto-indent.
212Each function is called with one argument (the inserted char), with
213point right after that char, and it should return t to cause indentation,
214`no-indent' to prevent indentation or nil to let other functions decide.")
3b843809 215
2abb4e65
SM
216(defvar-local electric-indent-inhibit nil
217 "If non-nil, reindentation is not appropriate for this buffer.
218This should be set by major modes such as `python-mode' since
219Python does not lend itself to fully automatic indentation.")
220
a35287ea
SM
221(defvar electric-indent-functions-without-reindent
222 '(indent-relative indent-to-left-margin indent-relative-maybe
223 py-indent-line coffee-indent-line org-indent-line
224 haskell-indentation-indent-line haskell-indent-cycle haskell-simple-indent)
225 "List of indent functions that can't reindent.
226If `line-indent-function' is one of those, then `electric-indent-mode' will
227not try to reindent lines. It is normally better to make the major
228mode set `electric-indent-inhibit', but this can be used as a workaround.")
229
3b843809
SM
230(defun electric-indent-post-self-insert-function ()
231 ;; FIXME: This reindents the current line, but what we really want instead is
232 ;; to reindent the whole affected text. That's the current line for simple
233 ;; cases, but not all cases. We do take care of the newline case in an
234 ;; ad-hoc fashion, but there are still missing cases such as the case of
235 ;; electric-pair-mode wrapping a region with a pair of parens.
236 ;; There might be a way to get it working by analyzing buffer-undo-list, but
237 ;; it looks challenging.
7100ff98 238 (let (pos)
6f5e57e7 239 (when (and
cfc7d5da 240 electric-indent-mode
6f5e57e7
SM
241 ;; Don't reindent while inserting spaces at beginning of line.
242 (or (not (memq last-command-event '(?\s ?\t)))
243 (save-excursion (skip-chars-backward " \t") (not (bolp))))
244 (setq pos (electric--after-char-pos))
245 (save-excursion
246 (goto-char pos)
247 (let ((act (or (run-hook-with-args-until-success
248 'electric-indent-functions
249 last-command-event)
250 (memq last-command-event electric-indent-chars))))
251 (not
252 (or (memq act '(nil no-indent))
253 ;; In a string or comment.
254 (unless (eq act 'do-indent) (nth 8 (syntax-ppss))))))))
7100ff98
SM
255 ;; For newline, we want to reindent both lines and basically behave like
256 ;; reindent-then-newline-and-indent (whose code we hence copied).
2abb4e65 257 (when (<= pos (line-beginning-position))
7100ff98
SM
258 (let ((before (copy-marker (1- pos) t)))
259 (save-excursion
2abb4e65 260 (unless (or (memq indent-line-function
a35287ea 261 electric-indent-functions-without-reindent)
2abb4e65 262 electric-indent-inhibit)
a733fc37
SM
263 ;; Don't reindent the previous line if the indentation function
264 ;; is not a real one.
265 (goto-char before)
266 (indent-according-to-mode))
7100ff98
SM
267 ;; We are at EOL before the call to indent-according-to-mode, and
268 ;; after it we usually are as well, but not always. We tried to
269 ;; address it with `save-excursion' but that uses a normal marker
270 ;; whereas we need `move after insertion', so we do the
271 ;; save/restore by hand.
272 (goto-char before)
0ade65b5
SM
273 (when (eolp)
274 ;; Remove the trailing whitespace after indentation because
275 ;; indentation may (re)introduce the whitespace.
276 (delete-horizontal-space t)))))
a35287ea
SM
277 (unless (and electric-indent-inhibit
278 (> pos (line-beginning-position)))
74a10be5 279 (indent-according-to-mode)))))
3b843809 280
3b8d5131
JT
281(put 'electric-indent-post-self-insert-function 'priority 60)
282
feca4e2d
SM
283(defun electric-indent-just-newline (arg)
284 "Insert just a newline, without any auto-indentation."
285 (interactive "*P")
286 (let ((electric-indent-mode nil))
287 (newline arg 'interactive)))
288
3b843809
SM
289;;;###autoload
290(define-minor-mode electric-indent-mode
06e21633
CY
291 "Toggle on-the-fly reindentation (Electric Indent mode).
292With a prefix argument ARG, enable Electric Indent mode if ARG is
293positive, and disable it otherwise. If called from Lisp, enable
294the mode if ARG is omitted or nil.
295
a075a2c5
GM
296This is a global minor mode. When enabled, it reindents whenever
297the hook `electric-indent-functions' returns non-nil, or you
298insert a character from `electric-indent-chars'."
feca4e2d 299 :global t :group 'electricity
da048127
SM
300 :initialize 'custom-initialize-delay
301 :init-value t
24f3d7b9 302 (if (not electric-indent-mode)
25158c76
SM
303 (progn
304 (when (eq (lookup-key global-map [?\C-j])
305 'electric-indent-just-newline)
306 (define-key global-map [?\C-j] 'newline-and-indent))
307 (remove-hook 'post-self-insert-hook
308 #'electric-indent-post-self-insert-function))
309 (when (eq (lookup-key global-map [?\C-j]) 'newline-and-indent)
310 (define-key global-map [?\C-j] 'electric-indent-just-newline))
24f3d7b9 311 (add-hook 'post-self-insert-hook
3b8d5131
JT
312 #'electric-indent-post-self-insert-function)
313 (electric--sort-post-self-insertion-hook)))
3b843809 314
a35287ea
SM
315;;;###autoload
316(define-minor-mode electric-indent-local-mode
317 "Toggle `electric-indent-mode' only in this buffer."
318 :variable (buffer-local-value 'electric-indent-mode (current-buffer))
319 (cond
320 ((eq electric-indent-mode (default-value 'electric-indent-mode))
321 (kill-local-variable 'electric-indent-mode))
322 ((not (default-value 'electric-indent-mode))
323 ;; Locally enabled, but globally disabled.
324 (electric-indent-mode 1) ; Setup the hooks.
325 (setq-default electric-indent-mode nil) ; But keep it globally disabled.
326 )))
327
2abb4e65 328;;; Electric newlines after/before/around some chars.
7100ff98 329
3b8d5131 330(defvar electric-layout-rules nil
7100ff98 331 "List of rules saying where to automatically insert newlines.
3b8d5131
JT
332
333Each rule has the form (CHAR . WHERE) where CHAR is the char that
334was just inserted and WHERE specifies where to insert newlines
335and can be: nil, `before', `after', `around', `after-stay', or a
336function of no arguments that returns one of those symbols.
337
338The symbols specify where in relation to CHAR the newline
339character(s) should be inserted. `after-stay' means insert a
340newline after CHAR but stay in the same place.")
7100ff98
SM
341
342(defun electric-layout-post-self-insert-function ()
343 (let* ((rule (cdr (assq last-command-event electric-layout-rules)))
344 pos)
345 (when (and rule
346 (setq pos (electric--after-char-pos))
347 ;; Not in a string or comment.
348 (not (nth 8 (save-excursion (syntax-ppss pos)))))
3b8d5131
JT
349 (let ((end (copy-marker (point)))
350 (sym (if (functionp rule) (funcall rule) rule)))
351 (set-marker-insertion-type end (not (eq sym 'after-stay)))
7100ff98 352 (goto-char pos)
3b8d5131 353 (pcase sym
7100ff98
SM
354 ;; FIXME: we used `newline' down here which called
355 ;; self-insert-command and ran post-self-insert-hook recursively.
356 ;; It happened to make electric-indent-mode work automatically with
357 ;; electric-layout-mode (at the cost of re-indenting lines
358 ;; multiple times), but I'm not sure it's what we want.
3b8d5131
JT
359 ;;
360 ;; FIXME: check eolp before inserting \n?
f58e0fd5 361 (`before (goto-char (1- pos)) (skip-chars-backward " \t")
3b8d5131
JT
362 (unless (bolp) (insert "\n")))
363 (`after (insert "\n"))
364 (`after-stay (save-excursion
365 (let ((electric-layout-rules nil))
366 (newline 1 t))))
f58e0fd5 367 (`around (save-excursion
3b8d5131
JT
368 (goto-char (1- pos)) (skip-chars-backward " \t")
369 (unless (bolp) (insert "\n")))
370 (insert "\n"))) ; FIXME: check eolp before inserting \n?
7100ff98
SM
371 (goto-char end)))))
372
3b8d5131
JT
373(put 'electric-layout-post-self-insert-function 'priority 40)
374
7100ff98
SM
375;;;###autoload
376(define-minor-mode electric-layout-mode
e1ac4066
GM
377 "Automatically insert newlines around some chars.
378With a prefix argument ARG, enable Electric Layout mode if ARG is
379positive, and disable it otherwise. If called from Lisp, enable
a075a2c5
GM
380the mode if ARG is omitted or nil.
381The variable `electric-layout-rules' says when and how to insert newlines."
feca4e2d 382 :global t :group 'electricity
3b8d5131
JT
383 (cond (electric-layout-mode
384 (add-hook 'post-self-insert-hook
385 #'electric-layout-post-self-insert-function)
386 (electric--sort-post-self-insertion-hook))
387 (t
388 (remove-hook 'post-self-insert-hook
389 #'electric-layout-post-self-insert-function))))
7100ff98 390
c0274f38
ER
391(provide 'electric)
392
c8472948 393;;; electric.el ends here