Mercurial > emacs
annotate lisp/compare-w.el @ 4211:b2e422a86641
(Ftext_property_not_all): Fix typo in decl.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Wed, 21 Jul 1993 22:25:42 +0000 |
parents | d38c94145afe |
children | 76fb8b35df3f |
rev | line source |
---|---|
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
1 ;;; compare-w.el --- compare text between windows for Emacs. |
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
2 |
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
3 ;; Copyright (C) 1986, 1989, 1993 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 | |
20 ;; along with GNU Emacs; see the file COPYING. If not, write to | |
21 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
22 | |
2307
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2011
diff
changeset
|
23 ;;; Commentary: |
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2011
diff
changeset
|
24 |
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2011
diff
changeset
|
25 ;; 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
|
26 ;; 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
|
27 ;; 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
|
28 ;; whitespace differences, or case differences, or both. |
10e417efb12a
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2011
diff
changeset
|
29 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
30 ;;; Code: |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
662
diff
changeset
|
31 |
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
32 (defvar compare-windows-whitespace "[ \t\n]+" |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
33 "*Regexp that defines whitespace sequences for \\[compare-windows]. |
257 | 34 Changes in whitespace are optionally ignored. |
35 | |
36 The value of `compare-windows-whitespace' may instead be a function; this | |
37 function is called in each buffer, with point at the current scanning point. | |
38 The function's job is to categorize any whitespace around (including before) | |
39 point; it should also advance past any whitespace. | |
40 | |
41 The function is passed one argument, the point where `compare-windows' | |
42 was originally called; it should not consider any text before that point. | |
43 If the function returns the same value for both buffers, then the | |
44 whitespace is considered to match, and is skipped.") | |
45 | |
46 (defvar compare-ignore-case nil | |
47 "*Non-nil means \\[compare-windows] ignores case differences.") | |
48 | |
49 ;;;###autoload | |
50 (defun compare-windows (ignore-whitespace) | |
51 "Compare text in current window with text in next window. | |
52 Compares the text starting at point in each window, | |
53 moving over text in each one as far as they match. | |
54 | |
55 A prefix arg means ignore changes in whitespace. | |
56 The variable `compare-windows-whitespace' controls how whitespace is skipped. | |
57 If `compare-ignore-case' is non-nil, changes in case are also ignored." | |
58 (interactive "P") | |
59 (let* (p1 p2 maxp1 maxp2 b1 b2 w2 | |
60 success size | |
61 (opoint1 (point)) | |
62 opoint2 | |
63 (skip-whitespace (if ignore-whitespace | |
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
64 compare-windows-whitespace))) |
257 | 65 (setq p1 (point) b1 (current-buffer)) |
66 (setq w2 (next-window (selected-window))) | |
67 (if (eq w2 (selected-window)) | |
68 (error "No other window")) | |
69 (setq p2 (window-point w2) | |
70 b2 (window-buffer w2)) | |
71 (setq opoint2 p2) | |
72 (setq maxp1 (point-max)) | |
73 (save-excursion | |
74 (set-buffer b2) | |
75 (setq maxp2 (point-max))) | |
76 | |
77 (setq success t) | |
78 (while success | |
79 (setq success nil) | |
80 ;; if interrupted, show how far we've gotten | |
81 (goto-char p1) | |
82 (set-window-point w2 p2) | |
83 | |
84 ;; If both buffers have whitespace next to point, | |
85 ;; optionally skip over it. | |
86 | |
87 (and skip-whitespace | |
88 (save-excursion | |
89 (let (p1a p2a w1 w2 result1 result2) | |
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
90 (setq result1 |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
91 (if (stringp skip-whitespace) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
92 (compare-windows-skip-whitespace opoint1) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
93 (funcall skip-whitespace opoint1))) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
94 (setq p1a (point)) |
257 | 95 (set-buffer b2) |
96 (goto-char p2) | |
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
97 (setq result2 |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
98 (if (stringp skip-whitespace) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
99 (compare-windows-skip-whitespace opoint2) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
100 (funcall skip-whitespace opoint2))) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
101 (setq p2a (point)) |
257 | 102 (and result1 result2 (eq result1 result2) |
103 (setq p1 p1a | |
104 p2 p2a))))) | |
105 | |
106 ;; Try advancing comparing 1000 chars at a time. | |
107 ;; When that fails, go 500 chars at a time, and so on. | |
108 (let ((size 1000) | |
2011
eea183a35396
(compare-windows): Use compare-buffer-substrings.
Richard M. Stallman <rms@gnu.org>
parents:
845
diff
changeset
|
109 success-1 |
eea183a35396
(compare-windows): Use compare-buffer-substrings.
Richard M. Stallman <rms@gnu.org>
parents:
845
diff
changeset
|
110 (case-fold-search compare-ignore-case)) |
257 | 111 (while (> size 0) |
112 (setq success-1 t) | |
2011
eea183a35396
(compare-windows): Use compare-buffer-substrings.
Richard M. Stallman <rms@gnu.org>
parents:
845
diff
changeset
|
113 ;; Try comparing SIZE chars at a time, repeatedly, till that fails. |
257 | 114 (while success-1 |
115 (setq size (min size (- maxp1 p1) (- maxp2 p2))) | |
116 (setq success-1 | |
117 (and (> size 0) | |
2011
eea183a35396
(compare-windows): Use compare-buffer-substrings.
Richard M. Stallman <rms@gnu.org>
parents:
845
diff
changeset
|
118 (= 0 (compare-buffer-substrings b2 p2 (+ size p2) |
eea183a35396
(compare-windows): Use compare-buffer-substrings.
Richard M. Stallman <rms@gnu.org>
parents:
845
diff
changeset
|
119 b1 p1 (+ size p1))))) |
257 | 120 (if success-1 |
121 (setq p1 (+ p1 size) p2 (+ p2 size) | |
122 success t))) | |
2011
eea183a35396
(compare-windows): Use compare-buffer-substrings.
Richard M. Stallman <rms@gnu.org>
parents:
845
diff
changeset
|
123 ;; If SIZE chars don't match, try fewer. |
257 | 124 (setq size (/ size 2))))) |
125 | |
126 (goto-char p1) | |
127 (set-window-point w2 p2) | |
128 (if (= (point) opoint1) | |
129 (ding)))) | |
584 | 130 |
4072
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
131 ;; 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
|
132 ;; 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
|
133 ;; 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
|
134 ;; 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
|
135 ;; 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
|
136 ;; Value is non-nil if whitespace is found. |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
137 (defun compare-windows-skip-whitespace (start) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
138 (let ((end (point)) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
139 (opoint (point))) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
140 (while (and (looking-at compare-windows-whitespace) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
141 (<= end (match-end 0)) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
142 ;; This match goes past END, so advance END. |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
143 (progn (setq end (match-end 0)) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
144 (> (point) start))) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
145 ;; keep going back until whitespace |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
146 ;; doesn't extend to or past end |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
147 (forward-char -1)) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
148 (goto-char end) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
149 (/= end opoint))) |
d38c94145afe
(compare-windows-skip-whitespace): New function.
Richard M. Stallman <rms@gnu.org>
parents:
2307
diff
changeset
|
150 |
584 | 151 (provide 'compare-w) |
152 | |
662
8a533acedb77
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
153 ;;; compare-w.el ends here |