annotate lisp/textmodes/refill.el @ 93111:f84051049637

* intervals.c (temp_set_point, temp_set_point_both): Use EMACS_INT. (set_point, set_point_both): Use EMACS_INT. Remove `buffer' arg, work on current_buffer only instead (that was already the case for some of the code anyway). * buffer.h (set_point, set_point_both): Remove buffer arg, use long int. (temp_set_point, temp_set_point_both): Use EMACS_INT. (SET_PT, SET_PT_BOTH): Adjust. * intervals.h (set_point, temp_set_point, set_point_both) (temp_set_point_both): Remove redundant declarations.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 20 Mar 2008 18:38:34 +0000
parents dc100f64b2b7
children 606f2d163a64 f4a69fedbd46
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
1 ;;; refill.el --- `auto-fill' by refilling paragraphs on changes
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
2
74509
f7702c5f335d Update copyright years.
Glenn Morris <rgm@gnu.org>
parents: 68648
diff changeset
3 ;; Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005,
79719
dc100f64b2b7 Add 2008 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 78482
diff changeset
4 ;; 2006, 2007, 2008 Free Software Foundation, Inc.
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
5
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
6 ;; Author: Dave Love <fx@gnu.org>
52290
5109a6b6910a Maintainer.
Dave Love <fx@gnu.org>
parents: 51335
diff changeset
7 ;; Maintainer: Miles Bader <miles@gnu.org>
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
8 ;; Keywords: wp
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
9
38401
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 33736
diff changeset
10 ;; This file is part of GNU Emacs.
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 33736
diff changeset
11
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 33736
diff changeset
12 ;; GNU Emacs is free software; you can redistribute it and/or modify
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
13 ;; it under the terms of the GNU General Public License as published by
78225
b6d25790aab2 Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 75347
diff changeset
14 ;; the Free Software Foundation; either version 3, or (at your option)
38401
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 33736
diff changeset
15 ;; any later version.
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 33736
diff changeset
16
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 33736
diff changeset
17 ;; GNU Emacs is distributed in the hope that it will be useful,
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
20 ;; GNU General Public License for more details.
38401
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 33736
diff changeset
21
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
22 ;; You should have received a copy of the GNU General Public License
38401
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 33736
diff changeset
23 ;; along with GNU Emacs; see the file COPYING. If not, write to the
64084
a8fa7c632ee4 Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 61288
diff changeset
24 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
a8fa7c632ee4 Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 61288
diff changeset
25 ;; Boston, MA 02110-1301, USA.
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
26
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
27 ;;; Commentary:
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
28
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
29 ;; Provides a mode where paragraphs are refilled after changes in them
32761
f7e7454c16a0 Fix var names in doc.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 32750
diff changeset
30 ;; (using `after-change-functions'). This gives something akin to typical
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
31 ;; word processor-style filling. We restrict refilling due to
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
32 ;; self-insertion to the characters which trigger auto-fill.
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
33
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
34 ;; It partly satisfies a todo item in enriched.el for some value of
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
35 ;; `without slowing down editing too much'. It doesn't attempt to do
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
36 ;; anything (using `window-size-change-functions'?) about resizing
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
37 ;; windows -- who cares?
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
38
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
39 ;; This implementation is probably fragile and missing some special
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
40 ;; cases -- not extensively tested. Yanking paragraph breaks, for
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
41 ;; instance, won't DTRT by refilling all the relevant paragraphs.
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
42
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
43 ;; You could do it a bit more efficiently (and robustly?) with just an
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
44 ;; auto-fill function, but that doesn't cope with changes other than
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
45 ;; through self-insertion. (Using auto-fill and after-change
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
46 ;; functions together didn't seem winning.) This could probably
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
47 ;; benefit from a less-general and faster `fill-paragraph-function',
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
48 ;; ideally as a primitive.
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
49
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
50 ;; The work is done in a local post-command hook but only if
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
51 ;; `refill-doit' has been set by the after-change function. Using
32761
f7e7454c16a0 Fix var names in doc.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 32750
diff changeset
52 ;; `post-command-hook' ensures simply that refilling only happens
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
53 ;; once per command.
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
54
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
55 ;; [Per Abrahamsen's maniac.el does a similar thing, but operates from
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
56 ;; post-command-hook. I don't understand the statement in it that
32761
f7e7454c16a0 Fix var names in doc.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 32750
diff changeset
57 ;; after-change-functions don't work for this purpose; perhaps there was
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
58 ;; some Emacs bug at the time. ISTR maniac has problems with
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
59 ;; whitespace at the end of paragraphs.]
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
60
39894
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
61 ;;; Todo/Bugs:
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
62
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
63 ;; - When deleting the first word on a line, the space after that word tends
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
64 ;; to become part of the fill-prefix, causing either wrong filling of the
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
65 ;; remaining text, or causing the cursor to move unexpectedly. Ex:
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
66 ;; Start with
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
67 ;; I>< blabla
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
68 ;;
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
69 ;; and hit backspace. We end up with
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
70 ;;
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
71 ;; ><blabla
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
72 ;; instead of
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
73 ;; >< blabla
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
74 ;;
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
75 ;; Other example. Start with
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
76 ;;
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
77 ;; Foo bar blablabla asdgf
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
78 ;; word>< asdfas dfasdfasd
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
79 ;; asd asdfa sdfasd sdf
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
80 ;;
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
81 ;; and hit M-backspace. We end up with
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
82 ;;
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
83 ;; Foo bar blablabla asdgf
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
84 ;; ><asdfas dfasdfasd asd
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
85 ;; asdfa sdfasd sdf
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
86
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
87 ;;; Code:
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
88
59709
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
89 (eval-when-compile (require 'cl))
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
90
48415
3f0b3e6d23fb (defgroup refill): New group.
Markus Rost <rost@math.uni-bielefeld.de>
parents: 42263
diff changeset
91 (defgroup refill nil
3f0b3e6d23fb (defgroup refill): New group.
Markus Rost <rost@math.uni-bielefeld.de>
parents: 42263
diff changeset
92 "Refilling paragraphs on changes."
3f0b3e6d23fb (defgroup refill): New group.
Markus Rost <rost@math.uni-bielefeld.de>
parents: 42263
diff changeset
93 :group 'fill)
3f0b3e6d23fb (defgroup refill): New group.
Markus Rost <rost@math.uni-bielefeld.de>
parents: 42263
diff changeset
94
33660
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
95 (defvar refill-ignorable-overlay nil
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
96 "Portion of the most recently filled paragraph not needing filling.
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
97 This is used to optimize refilling.")
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
98 (make-variable-buffer-local 'refill-ignorable-overlay)
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
99
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
100 (defun refill-adjust-ignorable-overlay (overlay afterp beg end &optional len)
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
101 "Adjust OVERLAY to not include the about-to-be-modified region."
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
102 (when (not afterp)
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
103 (save-excursion
33660
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
104 (goto-char beg)
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
105 (forward-line -1)
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
106 (if (<= (point) (overlay-start overlay))
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
107 ;; Just get OVERLAY out of the way
51335
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
108 (move-overlay overlay (point-min) (point-min))
49599
5ade352e8d1c Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48415
diff changeset
109 ;; Make overlay contain only the region
33660
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
110 (move-overlay overlay (overlay-start overlay) (point))))))
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
111
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
112 (defun refill-fill-paragraph-at (pos &optional arg)
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
113 "Like `fill-paragraph' at POS, but don't delete whitespace at paragraph end."
51335
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
114 (save-excursion
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
115 (goto-char pos)
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
116 ;; FIXME: forward-paragraph seems to disregard `use-hard-newlines',
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
117 ;; leading to excessive refilling and wrong choice of fill-prefix.
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
118 ;; might be a bug in my paragraphs.el.
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
119 (forward-paragraph)
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
120 (skip-syntax-backward "-")
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
121 (let ((end (point))
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
122 (beg (progn (backward-paragraph) (point)))
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
123 (obeg (overlay-start refill-ignorable-overlay))
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
124 (oend (overlay-end refill-ignorable-overlay)))
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
125 (unless (> beg pos) ;Don't fill if point is outside the paragraph.
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
126 (goto-char pos)
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
127 (if (and (>= beg obeg) (< beg oend))
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
128 ;; Limit filling to the modified tail of the paragraph.
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
129 (let ( ;; When adaptive-fill-mode is enabled, the filling
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
130 ;; functions will attempt to set the fill prefix from
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
131 ;; the fake paragraph bounds we pass in, so set it
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
132 ;; ourselves first, using the real paragraph bounds.
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
133 (fill-prefix
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
134 (if (and adaptive-fill-mode
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
135 (or (null fill-prefix) (string= fill-prefix "")))
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
136 (fill-context-prefix beg end)
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
137 fill-prefix))
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
138 ;; Turn off adaptive-fill-mode temporarily
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
139 (adaptive-fill-mode nil))
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
140 (save-restriction
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
141 (if use-hard-newlines
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
142 (fill-region oend end arg)
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
143 (fill-region-as-paragraph oend end arg)))
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
144 (move-overlay refill-ignorable-overlay obeg (point)))
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
145 ;; Fill the whole paragraph
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
146 (save-restriction
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
147 (if use-hard-newlines
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
148 (fill-region beg end arg)
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
149 (fill-region-as-paragraph beg end arg)))
816e3b31173a (refill-adjust-ignorable-overlay): Don't hardcode pint-min == 1.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 51292
diff changeset
150 (move-overlay refill-ignorable-overlay beg (point)))))))
33660
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
151
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
152 (defun refill-fill-paragraph (arg)
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
153 "Like `fill-paragraph' but don't delete whitespace at paragraph end."
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
154 (refill-fill-paragraph-at (point) arg))
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
155
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
156 (defvar refill-doit nil
51292
c41cc5ded813 (refill-fill-paragraph-at): Avoid refilling the following paragraph.
Richard M. Stallman <rms@gnu.org>
parents: 50440
diff changeset
157 "Non-nil tells `refill-post-command-function' to do its processing.
32761
f7e7454c16a0 Fix var names in doc.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 32750
diff changeset
158 Set by `refill-after-change-function' in `after-change-functions' and
33660
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
159 unset by `refill-post-command-function' in `post-command-hook', and
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
160 sometimes `refill-pre-command-function' in `pre-command-hook'. This
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
161 ensures refilling is only done once per command that causes a change,
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
162 regardless of the number of after-change calls from commands doing
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
163 complex processing.")
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
164 (make-variable-buffer-local 'refill-doit)
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
165
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
166 (defun refill-after-change-function (beg end len)
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
167 "Function for `after-change-functions' which just sets `refill-doit'."
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
168 (unless undo-in-progress
33660
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
169 (setq refill-doit end)))
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
170
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
171 (defun refill-post-command-function ()
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
172 "Post-command function to do refilling (conditionally)."
33660
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
173 (when refill-doit ; there was a change
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
174 ;; There's probably scope for more special cases here...
59709
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
175 (case this-command
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
176 (self-insert-command
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
177 ;; Treat self-insertion commands specially, since they don't
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
178 ;; always reset `refill-doit' -- for self-insertion commands that
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
179 ;; *don't* cause a refill, we want to leave it turned on so that
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
180 ;; any subsequent non-modification command will cause a refill.
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
181 (when (aref auto-fill-chars (char-before))
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
182 ;; Respond to the same characters as auto-fill (other than
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
183 ;; newline, covered below).
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
184 (refill-fill-paragraph-at refill-doit)
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
185 (setq refill-doit nil)))
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
186 ((quoted-insert fill-paragraph fill-region) nil)
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
187 ((newline newline-and-indent open-line indent-new-comment-line
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
188 reindent-then-newline-and-indent)
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
189 ;; Don't zap what was just inserted.
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
190 (save-excursion
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
191 (beginning-of-line) ; for newline-and-indent
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
192 (skip-chars-backward "\n")
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
193 (save-restriction
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
194 (narrow-to-region (point-min) (point))
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
195 (refill-fill-paragraph-at refill-doit)))
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
196 (widen)
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
197 (save-excursion
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
198 (skip-chars-forward "\n")
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
199 (save-restriction
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
200 (narrow-to-region (line-beginning-position) (point-max))
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
201 (refill-fill-paragraph-at refill-doit))))
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
202 (t
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
203 (refill-fill-paragraph-at refill-doit)))
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
204 (setq refill-doit nil)))
33660
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
205
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
206 (defun refill-pre-command-function ()
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
207 "Pre-command function to do refilling (conditionally)."
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
208 (when (and refill-doit (not (eq this-command 'self-insert-command)))
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
209 ;; A previous setting of `refill-doit' didn't result in a refill,
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
210 ;; because it was a self-insert-command. Since the next command is
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
211 ;; something else, do the refill now.
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
212 (refill-fill-paragraph-at refill-doit)
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
213 (setq refill-doit nil)))
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
214
59709
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
215 (defvar refill-saved-state nil)
32960
0756037b6de5 (refill-late-fill-paragraph-function): New
Dave Love <fx@gnu.org>
parents: 32767
diff changeset
216
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
217 ;;;###autoload
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
218 (define-minor-mode refill-mode
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
219 "Toggle Refill minor mode.
78482
80e300a489d6 Replace `iff' in doc-strings and comments.
Glenn Morris <rgm@gnu.org>
parents: 78225
diff changeset
220 With prefix arg, turn Refill mode on if arg is positive, otherwise turn it off.
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
221
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
222 When Refill mode is on, the current paragraph will be formatted when
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
223 changes are made within it. Self-inserting characters only cause
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
224 refilling if they would cause auto-filling."
61288
6363fa77031a (refill-mode): Specify :group.
Lute Kamstra <lute@gnu.org>
parents: 59709
diff changeset
225 :group 'refill
6363fa77031a (refill-mode): Specify :group.
Lute Kamstra <lute@gnu.org>
parents: 59709
diff changeset
226 :lighter " Refill"
6363fa77031a (refill-mode): Specify :group.
Lute Kamstra <lute@gnu.org>
parents: 59709
diff changeset
227 :keymap '(("\177" . backward-delete-char-untabify))
42263
ea39d5799d38 (refill-mode): Don't barf when redundantly turning refill-mode off.
Miles Bader <miles@gnu.org>
parents: 39894
diff changeset
228 ;; Remove old state if necessary
ea39d5799d38 (refill-mode): Don't barf when redundantly turning refill-mode off.
Miles Bader <miles@gnu.org>
parents: 39894
diff changeset
229 (when refill-ignorable-overlay
ea39d5799d38 (refill-mode): Don't barf when redundantly turning refill-mode off.
Miles Bader <miles@gnu.org>
parents: 39894
diff changeset
230 (delete-overlay refill-ignorable-overlay)
ea39d5799d38 (refill-mode): Don't barf when redundantly turning refill-mode off.
Miles Bader <miles@gnu.org>
parents: 39894
diff changeset
231 (kill-local-variable 'refill-ignorable-overlay))
59709
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
232 (when (local-variable-p 'refill-saved-state)
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
233 (dolist (x refill-saved-state)
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
234 (set (make-local-variable (car x)) (cdr x)))
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
235 (kill-local-variable 'refill-saved-state))
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
236 (if refill-mode
32761
f7e7454c16a0 Fix var names in doc.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 32750
diff changeset
237 (progn
f7e7454c16a0 Fix var names in doc.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 32750
diff changeset
238 (add-hook 'after-change-functions 'refill-after-change-function nil t)
f7e7454c16a0 Fix var names in doc.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 32750
diff changeset
239 (add-hook 'post-command-hook 'refill-post-command-function nil t)
33660
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
240 (add-hook 'pre-command-hook 'refill-pre-command-function nil t)
59709
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
241 (set (make-local-variable 'refill-saved-state)
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
242 (mapcar (lambda (s) (cons s (symbol-value s)))
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
243 '(fill-paragraph-function auto-fill-function)))
42263
ea39d5799d38 (refill-mode): Don't barf when redundantly turning refill-mode off.
Miles Bader <miles@gnu.org>
parents: 39894
diff changeset
244 ;; This provides the test for recursive paragraph filling.
32761
f7e7454c16a0 Fix var names in doc.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 32750
diff changeset
245 (set (make-local-variable 'fill-paragraph-function)
f7e7454c16a0 Fix var names in doc.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 32750
diff changeset
246 'refill-fill-paragraph)
39894
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
247 ;; When using justification, doing DEL on 2 spaces should remove
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
248 ;; both, otherwise, the subsequent refill will undo the DEL.
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
249 (set (make-local-variable 'backward-delete-char-untabify-method)
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
250 'hungry)
33660
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
251 (setq refill-ignorable-overlay (make-overlay 1 1 nil nil t))
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
252 (overlay-put refill-ignorable-overlay 'modification-hooks
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
253 '(refill-adjust-ignorable-overlay))
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
254 (overlay-put refill-ignorable-overlay 'insert-behind-hooks
b22657305a2c (refill-ignorable-overlay): New variable.
Miles Bader <miles@gnu.org>
parents: 32960
diff changeset
255 '(refill-adjust-ignorable-overlay))
32761
f7e7454c16a0 Fix var names in doc.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 32750
diff changeset
256 (auto-fill-mode 0))
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
257 (remove-hook 'after-change-functions 'refill-after-change-function t)
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
258 (remove-hook 'post-command-hook 'refill-post-command-function t)
39894
b27f7112ce6f (refill-mode): Bind DEL to backward-delete-char-untabify.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38401
diff changeset
259 (kill-local-variable 'backward-delete-char-untabify-method)))
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
260
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
261 (provide 'refill)
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
262
59709
73def390d890 (refill-post-command-function):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
263 ;; arch-tag: 2c4ce9e8-1daa-4a3b-b6f8-fd6ac5bf6138
32750
dd36de87245d *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
264 ;;; refill.el ends here