Mercurial > emacs
annotate lisp/compare-w.el @ 42811:cf0c0ef57504
*** empty log message ***
| author | Jason Rumney <jasonr@gnu.org> |
|---|---|
| date | Thu, 17 Jan 2002 19:29:24 +0000 |
| parents | 253f761ad37b |
| children | f6eb1080b681 |
| rev | line source |
|---|---|
|
38412
253f761ad37b
Some fixes to follow coding conventions in files maintained by FSF.
Pavel Jan?k <Pavel@Janik.cz>
parents:
24948
diff
changeset
|
1 ;;; compare-w.el --- compare text between windows for Emacs |
|
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
2 |
| 16987 | 3 ;; Copyright (C) 1986, 1989, 1993, 1997 Free Software Foundation, Inc. |
| 845 | 4 |
|
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
5 ;; Maintainer: FSF |
| 257 | 6 |
| 7 ;; This file is part of GNU Emacs. | |
| 8 | |
| 9 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
| 10 ;; it under the terms of the GNU General Public License as published by | |
|
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
11 ;; the Free Software Foundation; either version 2, or (at your option) |
| 257 | 12 ;; any later version. |
| 13 | |
| 14 ;; GNU Emacs is distributed in the hope that it will be useful, | |
| 15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 17 ;; GNU General Public License for more details. | |
| 18 | |
| 19 ;; You should have received a copy of the GNU General Public License | |
| 14169 | 20 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
| 21 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
| 22 ;; Boston, MA 02111-1307, USA. | |
| 257 | 23 |
|
2307
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2011
diff
changeset
|
24 ;;; Commentary: |
|
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2011
diff
changeset
|
25 |
|
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2011
diff
changeset
|
26 ;; This package provides one entry point, compare-windows. It compares |
|
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2011
diff
changeset
|
27 ;; text starting from point in two adjacent windows, advancing point |
|
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2011
diff
changeset
|
28 ;; until it finds a difference. Option variables permit you to ignore |
|
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2011
diff
changeset
|
29 ;; whitespace differences, or case differences, or both. |
|
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2011
diff
changeset
|
30 |
|
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
31 ;;; Code: |
|
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
32 |
| 21088 | 33 (defgroup compare-w nil |
| 34 "Compare text between windows." | |
| 35 :prefix "compare-" | |
| 36 :group 'tools) | |
| 37 | |
| 38 (defcustom compare-windows-whitespace "[ \t\n]+" | |
|
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
39 "*Regexp that defines whitespace sequences for \\[compare-windows]. |
| 257 | 40 Changes in whitespace are optionally ignored. |
| 41 | |
| 42 The value of `compare-windows-whitespace' may instead be a function; this | |
| 43 function is called in each buffer, with point at the current scanning point. | |
| 44 The function's job is to categorize any whitespace around (including before) | |
| 45 point; it should also advance past any whitespace. | |
| 46 | |
| 47 The function is passed one argument, the point where `compare-windows' | |
| 48 was originally called; it should not consider any text before that point. | |
| 49 If the function returns the same value for both buffers, then the | |
| 21088 | 50 whitespace is considered to match, and is skipped." |
| 51 :type '(choice regexp function) | |
| 52 :group 'compare-w) | |
| 257 | 53 |
| 21088 | 54 (defcustom compare-ignore-case nil |
| 55 "*Non-nil means \\[compare-windows] ignores case differences." | |
| 56 :type 'boolean | |
| 57 :group 'compare-w) | |
| 257 | 58 |
| 59 ;;;###autoload | |
| 60 (defun compare-windows (ignore-whitespace) | |
| 61 "Compare text in current window with text in next window. | |
| 62 Compares the text starting at point in each window, | |
| 63 moving over text in each one as far as they match. | |
| 64 | |
|
10031
324e027f01bc
(compare-windows): Push mark in both buffers at start.
Richard M. Stallman <rms@gnu.org>
parents:
7701
diff
changeset
|
65 This command pushes the mark in each window |
|
324e027f01bc
(compare-windows): Push mark in both buffers at start.
Richard M. Stallman <rms@gnu.org>
parents:
7701
diff
changeset
|
66 at the prior location of point in that window. |
|
324e027f01bc
(compare-windows): Push mark in both buffers at start.
Richard M. Stallman <rms@gnu.org>
parents:
7701
diff
changeset
|
67 If both windows display the same buffer, |
|
324e027f01bc
(compare-windows): Push mark in both buffers at start.
Richard M. Stallman <rms@gnu.org>
parents:
7701
diff
changeset
|
68 the mark is pushed twice in that buffer: |
|
324e027f01bc
(compare-windows): Push mark in both buffers at start.
Richard M. Stallman <rms@gnu.org>
parents:
7701
diff
changeset
|
69 first in the other window, then in the selected window. |
|
324e027f01bc
(compare-windows): Push mark in both buffers at start.
Richard M. Stallman <rms@gnu.org>
parents:
7701
diff
changeset
|
70 |
| 257 | 71 A prefix arg means ignore changes in whitespace. |
| 72 The variable `compare-windows-whitespace' controls how whitespace is skipped. | |
| 73 If `compare-ignore-case' is non-nil, changes in case are also ignored." | |
| 74 (interactive "P") | |
| 75 (let* (p1 p2 maxp1 maxp2 b1 b2 w2 | |
|
16986
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
76 (progress 1) |
| 257 | 77 (opoint1 (point)) |
| 78 opoint2 | |
|
16986
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
79 (skip-func (if ignore-whitespace |
|
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
80 (if (stringp compare-windows-whitespace) |
|
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
81 'compare-windows-skip-whitespace |
|
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
82 compare-windows-whitespace)))) |
| 257 | 83 (setq p1 (point) b1 (current-buffer)) |
|
24948
970c0b904d35
(compare-windows): Try to find the next window in
Andreas Schwab <schwab@suse.de>
parents:
21088
diff
changeset
|
84 (setq w2 (next-window (selected-window))) |
|
970c0b904d35
(compare-windows): Try to find the next window in
Andreas Schwab <schwab@suse.de>
parents:
21088
diff
changeset
|
85 (if (eq w2 (selected-window)) |
|
970c0b904d35
(compare-windows): Try to find the next window in
Andreas Schwab <schwab@suse.de>
parents:
21088
diff
changeset
|
86 (setq w2 (next-window (selected-window) nil 'visible))) |
| 257 | 87 (if (eq w2 (selected-window)) |
| 88 (error "No other window")) | |
| 89 (setq p2 (window-point w2) | |
| 90 b2 (window-buffer w2)) | |
| 91 (setq opoint2 p2) | |
| 92 (setq maxp1 (point-max)) | |
| 93 (save-excursion | |
| 94 (set-buffer b2) | |
|
10031
324e027f01bc
(compare-windows): Push mark in both buffers at start.
Richard M. Stallman <rms@gnu.org>
parents:
7701
diff
changeset
|
95 (push-mark p2 t) |
| 257 | 96 (setq maxp2 (point-max))) |
|
10031
324e027f01bc
(compare-windows): Push mark in both buffers at start.
Richard M. Stallman <rms@gnu.org>
parents:
7701
diff
changeset
|
97 (push-mark) |
| 257 | 98 |
|
16986
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
99 (while (> progress 0) |
| 257 | 100 ;; If both buffers have whitespace next to point, |
| 101 ;; optionally skip over it. | |
| 102 | |
|
16986
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
103 (and skip-func |
| 257 | 104 (save-excursion |
| 105 (let (p1a p2a w1 w2 result1 result2) | |
|
16986
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
106 (setq result1 (funcall skip-func opoint1)) |
|
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
107 (setq p1a (point)) |
| 257 | 108 (set-buffer b2) |
| 109 (goto-char p2) | |
|
16986
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
110 (setq result2 (funcall skip-func opoint2)) |
|
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
111 (setq p2a (point)) |
| 16987 | 112 (if (or (stringp compare-windows-whitespace) |
|
7701
ec15948b9458
(compare-windows): Make leading whitespace equivalent
Richard M. Stallman <rms@gnu.org>
parents:
5005
diff
changeset
|
113 (and result1 result2 (eq result1 result2))) |
|
ec15948b9458
(compare-windows): Make leading whitespace equivalent
Richard M. Stallman <rms@gnu.org>
parents:
5005
diff
changeset
|
114 (setq p1 p1a |
|
ec15948b9458
(compare-windows): Make leading whitespace equivalent
Richard M. Stallman <rms@gnu.org>
parents:
5005
diff
changeset
|
115 p2 p2a))))) |
| 257 | 116 |
|
16986
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
117 (let ((size (min (- maxp1 p1) (- maxp2 p2))) |
|
2011
eea183a35396
(compare-windows): Use compare-buffer-substrings.
Richard M. Stallman <rms@gnu.org>
parents:
845
diff
changeset
|
118 (case-fold-search compare-ignore-case)) |
|
16986
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
119 (setq progress (compare-buffer-substrings b2 p2 (+ size p2) |
|
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
120 b1 p1 (+ size p1))) |
|
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
121 (setq progress (if (zerop progress) size (1- (abs progress)))) |
|
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
122 (setq p1 (+ p1 progress) p2 (+ p2 progress))) |
|
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
123 ;; Advance point now rather than later, in case we're interrupted. |
|
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
124 (goto-char p1) |
|
dc0cd1c70c87
(compare-windows): Make more efficient use of
Karl Heuer <kwzh@gnu.org>
parents:
14169
diff
changeset
|
125 (set-window-point w2 p2)) |
| 257 | 126 |
| 127 (if (= (point) opoint1) | |
| 128 (ding)))) | |
| 584 | 129 |
|
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
130 ;; Move forward over whatever might be called whitespace. |
|
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
131 ;; compare-windows-whitespace is a regexp that matches whitespace. |
|
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
132 ;; Match it at various starting points before the original point |
|
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
133 ;; and find the latest point at which a match ends. |
|
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
134 ;; Don't try starting points before START, though. |
|
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
135 ;; Value is non-nil if whitespace is found. |
|
4925
76fb8b35df3f
(compare-windows-skip-whitespace): Return t
Richard M. Stallman <rms@gnu.org>
parents:
4072
diff
changeset
|
136 |
|
76fb8b35df3f
(compare-windows-skip-whitespace): Return t
Richard M. Stallman <rms@gnu.org>
parents:
4072
diff
changeset
|
137 ;; If there is whitespace before point, but none after, |
|
76fb8b35df3f
(compare-windows-skip-whitespace): Return t
Richard M. Stallman <rms@gnu.org>
parents:
4072
diff
changeset
|
138 ;; then return t, but don't advance point. |
|
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
139 (defun compare-windows-skip-whitespace (start) |
|
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
140 (let ((end (point)) |
|
4925
76fb8b35df3f
(compare-windows-skip-whitespace): Return t
Richard M. Stallman <rms@gnu.org>
parents:
4072
diff
changeset
|
141 (beg (point)) |
|
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
142 (opoint (point))) |
|
5005
c762abae3964
(compare-windows-skip-whitespace): Swap the two
Richard M. Stallman <rms@gnu.org>
parents:
4925
diff
changeset
|
143 (while (or (and (looking-at compare-windows-whitespace) |
|
4925
76fb8b35df3f
(compare-windows-skip-whitespace): Return t
Richard M. Stallman <rms@gnu.org>
parents:
4072
diff
changeset
|
144 (<= end (match-end 0)) |
|
76fb8b35df3f
(compare-windows-skip-whitespace): Return t
Richard M. Stallman <rms@gnu.org>
parents:
4072
diff
changeset
|
145 ;; This match goes past END, so advance END. |
|
76fb8b35df3f
(compare-windows-skip-whitespace): Return t
Richard M. Stallman <rms@gnu.org>
parents:
4072
diff
changeset
|
146 (progn (setq end (match-end 0)) |
|
5005
c762abae3964
(compare-windows-skip-whitespace): Swap the two
Richard M. Stallman <rms@gnu.org>
parents:
4925
diff
changeset
|
147 (> (point) start))) |
|
c762abae3964
(compare-windows-skip-whitespace): Swap the two
Richard M. Stallman <rms@gnu.org>
parents:
4925
diff
changeset
|
148 (and (/= (point) start) |
|
c762abae3964
(compare-windows-skip-whitespace): Swap the two
Richard M. Stallman <rms@gnu.org>
parents:
4925
diff
changeset
|
149 ;; Consider at least the char before point, |
|
c762abae3964
(compare-windows-skip-whitespace): Swap the two
Richard M. Stallman <rms@gnu.org>
parents:
4925
diff
changeset
|
150 ;; unless it is also before START. |
|
c762abae3964
(compare-windows-skip-whitespace): Swap the two
Richard M. Stallman <rms@gnu.org>
parents:
4925
diff
changeset
|
151 (= (point) opoint))) |
|
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
152 ;; keep going back until whitespace |
|
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
153 ;; doesn't extend to or past end |
|
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
154 (forward-char -1)) |
|
4925
76fb8b35df3f
(compare-windows-skip-whitespace): Return t
Richard M. Stallman <rms@gnu.org>
parents:
4072
diff
changeset
|
155 (setq beg (point)) |
|
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
156 (goto-char end) |
|
4925
76fb8b35df3f
(compare-windows-skip-whitespace): Return t
Richard M. Stallman <rms@gnu.org>
parents:
4072
diff
changeset
|
157 (or (/= beg opoint) |
|
76fb8b35df3f
(compare-windows-skip-whitespace): Return t
Richard M. Stallman <rms@gnu.org>
parents:
4072
diff
changeset
|
158 (/= end opoint)))) |
|
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
159 |
| 584 | 160 (provide 'compare-w) |
| 161 | |
|
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
162 ;;; compare-w.el ends here |
