annotate man/ediff.texi @ 38212:6b14cc47a4f2

Major rewrite. Sections Tags, Emerge, Change Log and Authors moved to maintaining.texi. Some sections reordered. Node Misc for Programs moved to just before the language-specific sections. New node Defuns contains an intro plus the old Defuns node (now renamed Moving by Defuns) as well as Imenu, Which Function, and a node Left Margin Paren to explain the convention about this. New node Parentheses now documents M-x check-parens. It contains subnodes Expressions, Moving by Parens, and Matching. Expressions and Moving by Parens contain the material formerly in Lists and List Commands, but divided up differently. The section Balanced Editing has been deleted. Most of the C indentation customization (all except c-set-style), has been replaced with a reference to the C Modes manual. Documentation now is divided into three subsections. Some rewrites in the Program Indent section about C-u TAB and C-M-q.
author Richard M. Stallman <rms@gnu.org>
date Tue, 26 Jun 2001 13:43:32 +0000
parents d0c11ec0421d
children 10482dd382e7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1 \input texinfo @c -*-texinfo-*-
Dave Love <fx@gnu.org>
parents:
diff changeset
2 @c documentation for Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
3 @c Written by Michael Kifer
Dave Love <fx@gnu.org>
parents:
diff changeset
4
Dave Love <fx@gnu.org>
parents:
diff changeset
5 @comment %**start of header (This is for running Texinfo on a region.)
Dave Love <fx@gnu.org>
parents:
diff changeset
6
Dave Love <fx@gnu.org>
parents:
diff changeset
7 @comment Using ediff.info instead of ediff in setfilename breaks DOS.
Dave Love <fx@gnu.org>
parents:
diff changeset
8 @comment @setfilename ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
9 @comment @setfilename ediff.info
Dave Love <fx@gnu.org>
parents:
diff changeset
10 @setfilename ../info/ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
11
Dave Love <fx@gnu.org>
parents:
diff changeset
12 @settitle Ediff User's Manual
Dave Love <fx@gnu.org>
parents:
diff changeset
13 @synindex vr cp
Dave Love <fx@gnu.org>
parents:
diff changeset
14 @synindex fn cp
Dave Love <fx@gnu.org>
parents:
diff changeset
15 @synindex pg cp
Dave Love <fx@gnu.org>
parents:
diff changeset
16
34144
bf6ed2c46424 Change @dircategory to "Emacs".
Eli Zaretskii <eliz@gnu.org>
parents: 33021
diff changeset
17 @dircategory Emacs
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
18 @direntry
Dave Love <fx@gnu.org>
parents:
diff changeset
19 * Ediff: (ediff). A visual interface for comparing and merging programs.
Dave Love <fx@gnu.org>
parents:
diff changeset
20 @end direntry
Dave Love <fx@gnu.org>
parents:
diff changeset
21
Dave Love <fx@gnu.org>
parents:
diff changeset
22 @iftex
Dave Love <fx@gnu.org>
parents:
diff changeset
23 @finalout
Dave Love <fx@gnu.org>
parents:
diff changeset
24 @end iftex
Dave Love <fx@gnu.org>
parents:
diff changeset
25 @c @smallbook
Dave Love <fx@gnu.org>
parents:
diff changeset
26 @comment %**end of header (This is for running Texinfo on a region.)
Dave Love <fx@gnu.org>
parents:
diff changeset
27
Dave Love <fx@gnu.org>
parents:
diff changeset
28 @ifinfo
Dave Love <fx@gnu.org>
parents:
diff changeset
29 This file documents Ediff, a comprehensive visual interface to Unix diff
Dave Love <fx@gnu.org>
parents:
diff changeset
30 and patch utilities.
Dave Love <fx@gnu.org>
parents:
diff changeset
31
37404
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
32 Copyright 1995, 1996, 1997, 1998, 1999, 2000, 2001 Free Software Foundation, Inc.
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
33
37404
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
34 Permission is granted to copy, distribute and/or modify this document
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
35 under the terms of the GNU Free Documentation License, Version 1.1 or
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
36 any later version published by the Free Software Foundation; with no
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
37 Invariant Sections, with the Front-Cover texts being ``A GNU
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
38 Manual'', and with the Back-Cover Texts as in (a) below. A copy of the
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
39 license is included in the section entitled ``GNU Free Documentation
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
40 License'' in the Emacs manual.
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
41
37404
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
42 (a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
43 this GNU Manual, like GNU software. Copies published by the Free
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
44 Software Foundation raise funds for GNU development.''
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
45
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
46 This document is part of a collection distributed under the GNU Free
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
47 Documentation License. If you want to distribute this document
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
48 separately from the collection, you can do so by adding a copy of the
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
49 license to the document, as described in section 6 of the license.
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
50 @end ifinfo
Dave Love <fx@gnu.org>
parents:
diff changeset
51
Dave Love <fx@gnu.org>
parents:
diff changeset
52 @iftex
Dave Love <fx@gnu.org>
parents:
diff changeset
53 @titlepage
Dave Love <fx@gnu.org>
parents:
diff changeset
54 @title Ediff User's Manual
Dave Love <fx@gnu.org>
parents:
diff changeset
55 @sp 4
Dave Love <fx@gnu.org>
parents:
diff changeset
56 @subtitle Ediff version 2.70
Dave Love <fx@gnu.org>
parents:
diff changeset
57 @sp 1
Dave Love <fx@gnu.org>
parents:
diff changeset
58 @subtitle March 1998
Dave Love <fx@gnu.org>
parents:
diff changeset
59 @sp 5
Dave Love <fx@gnu.org>
parents:
diff changeset
60 @author Michael Kifer
Dave Love <fx@gnu.org>
parents:
diff changeset
61 @page
Dave Love <fx@gnu.org>
parents:
diff changeset
62
Dave Love <fx@gnu.org>
parents:
diff changeset
63 @vskip 0pt plus 1filll
Dave Love <fx@gnu.org>
parents:
diff changeset
64 @noindent
37404
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
65 Copyright @copyright{} 1995, 1996, 1997, 1998, 1999, 2000, 2001 Free Software Foundation, Inc.
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
66
37404
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
67 Permission is granted to copy, distribute and/or modify this document
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
68 under the terms of the GNU Free Documentation License, Version 1.1 or
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
69 any later version published by the Free Software Foundation; with no
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
70 Invariant Sections, with the Front-Cover texts being ``A GNU
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
71 Manual'', and with the Back-Cover Texts as in (a) below. A copy of the
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
72 license is included in the section entitled ``GNU Free Documentation
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
73 License'' in the Emacs manual.
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
74
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
75 (a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
76 this GNU Manual, like GNU software. Copies published by the Free
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
77 Software Foundation raise funds for GNU development.''
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
78
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
79 This document is part of a collection distributed under the GNU Free
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
80 Documentation License. If you want to distribute this document
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
81 separately from the collection, you can do so by adding a copy of the
730f77edf073 Use GNU Free Documentation License.
Gerd Moellmann <gerd@gnu.org>
parents: 36381
diff changeset
82 license to the document, as described in section 6 of the license.
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
83 @end titlepage
Dave Love <fx@gnu.org>
parents:
diff changeset
84 @page
Dave Love <fx@gnu.org>
parents:
diff changeset
85 @end iftex
Dave Love <fx@gnu.org>
parents:
diff changeset
86
Dave Love <fx@gnu.org>
parents:
diff changeset
87 @node Top, Introduction, (dir), (dir)
Dave Love <fx@gnu.org>
parents:
diff changeset
88
Dave Love <fx@gnu.org>
parents:
diff changeset
89
Dave Love <fx@gnu.org>
parents:
diff changeset
90 @menu
Dave Love <fx@gnu.org>
parents:
diff changeset
91 * Introduction:: About Ediff.
Dave Love <fx@gnu.org>
parents:
diff changeset
92 * Major Entry Points:: How to use Ediff.
Dave Love <fx@gnu.org>
parents:
diff changeset
93 * Session Commands:: Ediff commands used within a session.
Dave Love <fx@gnu.org>
parents:
diff changeset
94 * Registry of Ediff Sessions:: Keeping track of multiple Ediff sessions.
Dave Love <fx@gnu.org>
parents:
diff changeset
95 * Session Groups:: Comparing and merging directories.
Dave Love <fx@gnu.org>
parents:
diff changeset
96 * Remote and Compressed Files:: You may want to know about this.
Dave Love <fx@gnu.org>
parents:
diff changeset
97 * Customization:: How to make Ediff work the way YOU want.
Dave Love <fx@gnu.org>
parents:
diff changeset
98 * Credits:: Thanks to those who helped.
Dave Love <fx@gnu.org>
parents:
diff changeset
99 * Index::
Dave Love <fx@gnu.org>
parents:
diff changeset
100 @end menu
Dave Love <fx@gnu.org>
parents:
diff changeset
101
Dave Love <fx@gnu.org>
parents:
diff changeset
102 @node Introduction, Major Entry Points, Top, Top
Dave Love <fx@gnu.org>
parents:
diff changeset
103 @chapter Introduction
Dave Love <fx@gnu.org>
parents:
diff changeset
104
Dave Love <fx@gnu.org>
parents:
diff changeset
105 @cindex Comparing files and buffers
Dave Love <fx@gnu.org>
parents:
diff changeset
106 @cindex Merging files and buffers
Dave Love <fx@gnu.org>
parents:
diff changeset
107 @cindex Patching files and buffers
Dave Love <fx@gnu.org>
parents:
diff changeset
108 @cindex Finding differences
Dave Love <fx@gnu.org>
parents:
diff changeset
109
Dave Love <fx@gnu.org>
parents:
diff changeset
110 Ediff provides a convenient way for simultaneous browsing through
Dave Love <fx@gnu.org>
parents:
diff changeset
111 the differences between a pair (or a triple) of files or buffers
Dave Love <fx@gnu.org>
parents:
diff changeset
112 (which are called @samp{variants} for our purposes). The
Dave Love <fx@gnu.org>
parents:
diff changeset
113 files being compared, file-A, file-B, and file-C (if applicable) are
Dave Love <fx@gnu.org>
parents:
diff changeset
114 shown in separate windows (side by side, one above the another, or in
Dave Love <fx@gnu.org>
parents:
diff changeset
115 separate frames), and the differences are highlighted as you step
Dave Love <fx@gnu.org>
parents:
diff changeset
116 through them. You can also copy difference regions from one buffer to
Dave Love <fx@gnu.org>
parents:
diff changeset
117 another (and recover old differences if you change your mind).
Dave Love <fx@gnu.org>
parents:
diff changeset
118
Dave Love <fx@gnu.org>
parents:
diff changeset
119 Another powerful feature is the ability to merge a pair of files into a
Dave Love <fx@gnu.org>
parents:
diff changeset
120 third buffer. Merging with an ancestor file is also supported.
Dave Love <fx@gnu.org>
parents:
diff changeset
121 Furthermore, Ediff is equipped with directory-level capabilities that
Dave Love <fx@gnu.org>
parents:
diff changeset
122 allow the user to conveniently launch browsing or merging sessions on
Dave Love <fx@gnu.org>
parents:
diff changeset
123 groups of files in two (or three) different directories.
Dave Love <fx@gnu.org>
parents:
diff changeset
124
Dave Love <fx@gnu.org>
parents:
diff changeset
125 In addition, Ediff can apply a patch to a file and then let you step though
Dave Love <fx@gnu.org>
parents:
diff changeset
126 both files, the patched and the original one, simultaneously,
Dave Love <fx@gnu.org>
parents:
diff changeset
127 difference-by-difference. You can even apply a patch right out of a mail
Dave Love <fx@gnu.org>
parents:
diff changeset
128 buffer, i.e., patches received by mail don't even have to be saved. Since
Dave Love <fx@gnu.org>
parents:
diff changeset
129 Ediff lets you copy differences between variants, you can, in effect, apply
Dave Love <fx@gnu.org>
parents:
diff changeset
130 patches selectively (i.e., you can copy a difference region from
Dave Love <fx@gnu.org>
parents:
diff changeset
131 @file{file.orig} to @file{file}, thereby undoing any particular patch that
Dave Love <fx@gnu.org>
parents:
diff changeset
132 you don't like).
Dave Love <fx@gnu.org>
parents:
diff changeset
133
Dave Love <fx@gnu.org>
parents:
diff changeset
134 Ediff even understands multi-file patches and can apply them interactively!
Dave Love <fx@gnu.org>
parents:
diff changeset
135 (Ediff can recognize multi-file patches only if they are in the context
Dave Love <fx@gnu.org>
parents:
diff changeset
136 format or GNU unified format. All other patches are treated as 1-file
33021
9fd41b036b84 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 33019
diff changeset
137 patches. Ediff is [hopefully] using the same algorithm as @code{patch} to
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
138 determine which files need to be patched.)
Dave Love <fx@gnu.org>
parents:
diff changeset
139
Dave Love <fx@gnu.org>
parents:
diff changeset
140 Ediff is aware of version control, which lets you compare
Dave Love <fx@gnu.org>
parents:
diff changeset
141 files with their older versions. Ediff also works with remote and
Dave Love <fx@gnu.org>
parents:
diff changeset
142 compressed files, automatically ftp'ing them over and uncompressing them.
Dave Love <fx@gnu.org>
parents:
diff changeset
143 @xref{Remote and Compressed Files}, for details.
Dave Love <fx@gnu.org>
parents:
diff changeset
144
Dave Love <fx@gnu.org>
parents:
diff changeset
145 This package builds upon ideas borrowed from Emerge, and several of Ediff's
Dave Love <fx@gnu.org>
parents:
diff changeset
146 functions are adaptations from Emerge. Although Ediff subsumes and greatly
Dave Love <fx@gnu.org>
parents:
diff changeset
147 extends Emerge, much of the functionality in Ediff is influenced by Emerge.
Dave Love <fx@gnu.org>
parents:
diff changeset
148 The architecture and the interface are, of course, drastically different.
Dave Love <fx@gnu.org>
parents:
diff changeset
149
Dave Love <fx@gnu.org>
parents:
diff changeset
150 @node Major Entry Points, Session Commands, Introduction, Top
Dave Love <fx@gnu.org>
parents:
diff changeset
151 @chapter Major Entry Points
Dave Love <fx@gnu.org>
parents:
diff changeset
152
Dave Love <fx@gnu.org>
parents:
diff changeset
153 Ediff can be invoked interactively using the following functions, which can
Dave Love <fx@gnu.org>
parents:
diff changeset
154 be run either from the minibuffer or from the menu bar. In the menu bar,
Dave Love <fx@gnu.org>
parents:
diff changeset
155 all Ediff's entry points belong to three submenus of the Tools menu:
Dave Love <fx@gnu.org>
parents:
diff changeset
156 Compare, Merge, and Apply Patch.
Dave Love <fx@gnu.org>
parents:
diff changeset
157
Dave Love <fx@gnu.org>
parents:
diff changeset
158 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
159 @item ediff-files
Dave Love <fx@gnu.org>
parents:
diff changeset
160 @itemx ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
161 @findex ediff-files
Dave Love <fx@gnu.org>
parents:
diff changeset
162 @findex ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
163 Compare two files.
Dave Love <fx@gnu.org>
parents:
diff changeset
164
Dave Love <fx@gnu.org>
parents:
diff changeset
165 @item ediff-buffers
Dave Love <fx@gnu.org>
parents:
diff changeset
166 @findex ediff-buffers
Dave Love <fx@gnu.org>
parents:
diff changeset
167 Compare two buffers.
Dave Love <fx@gnu.org>
parents:
diff changeset
168
Dave Love <fx@gnu.org>
parents:
diff changeset
169 @item ediff-files3
Dave Love <fx@gnu.org>
parents:
diff changeset
170 @itemx ediff3
Dave Love <fx@gnu.org>
parents:
diff changeset
171 @findex ediff-files3
Dave Love <fx@gnu.org>
parents:
diff changeset
172 @findex ediff3
Dave Love <fx@gnu.org>
parents:
diff changeset
173 Compare three files.
Dave Love <fx@gnu.org>
parents:
diff changeset
174
Dave Love <fx@gnu.org>
parents:
diff changeset
175 @item ediff-buffers3
Dave Love <fx@gnu.org>
parents:
diff changeset
176 @findex ediff-buffers3
Dave Love <fx@gnu.org>
parents:
diff changeset
177 Compare three buffers.
Dave Love <fx@gnu.org>
parents:
diff changeset
178
Dave Love <fx@gnu.org>
parents:
diff changeset
179 @item edirs
Dave Love <fx@gnu.org>
parents:
diff changeset
180 @itemx ediff-directories
Dave Love <fx@gnu.org>
parents:
diff changeset
181 @findex edirs
Dave Love <fx@gnu.org>
parents:
diff changeset
182 @findex ediff-directories
Dave Love <fx@gnu.org>
parents:
diff changeset
183 Compare files common to two directories.
Dave Love <fx@gnu.org>
parents:
diff changeset
184 @item edirs3
Dave Love <fx@gnu.org>
parents:
diff changeset
185 @itemx ediff-directories3
Dave Love <fx@gnu.org>
parents:
diff changeset
186 @findex edirs3
Dave Love <fx@gnu.org>
parents:
diff changeset
187 @findex ediff-directories3
Dave Love <fx@gnu.org>
parents:
diff changeset
188 Compare files common to three directories.
Dave Love <fx@gnu.org>
parents:
diff changeset
189 @item edir-revisions
Dave Love <fx@gnu.org>
parents:
diff changeset
190 @itemx ediff-directory-revisions
Dave Love <fx@gnu.org>
parents:
diff changeset
191 @findex ediff-directory-revisions
Dave Love <fx@gnu.org>
parents:
diff changeset
192 @findex edir-revisions
Dave Love <fx@gnu.org>
parents:
diff changeset
193 Compare versions of files in a given directory. Ediff selects only the
Dave Love <fx@gnu.org>
parents:
diff changeset
194 files that are under version control.
Dave Love <fx@gnu.org>
parents:
diff changeset
195 @item edir-merge-revisions
Dave Love <fx@gnu.org>
parents:
diff changeset
196 @itemx ediff-merge-directory-revisions
Dave Love <fx@gnu.org>
parents:
diff changeset
197 @findex edir-merge-revisions
Dave Love <fx@gnu.org>
parents:
diff changeset
198 @findex ediff-merge-directory-revisions
Dave Love <fx@gnu.org>
parents:
diff changeset
199 Merge versions of files in a given directory. Ediff selects only the
Dave Love <fx@gnu.org>
parents:
diff changeset
200 files that are under version control.
Dave Love <fx@gnu.org>
parents:
diff changeset
201 @item edir-merge-revisions-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
202 @itemx ediff-merge-directory-revisions-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
203 @findex edir-merge-revisions-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
204 @findex ediff-merge-directory-revisions-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
205 Merge versions of files in a given directory using other versions as
Dave Love <fx@gnu.org>
parents:
diff changeset
206 ancestors. Ediff selects only the files that are under version control.
Dave Love <fx@gnu.org>
parents:
diff changeset
207
Dave Love <fx@gnu.org>
parents:
diff changeset
208 @item ediff-windows-wordwise
Dave Love <fx@gnu.org>
parents:
diff changeset
209 @findex ediff-windows-wordwise
Dave Love <fx@gnu.org>
parents:
diff changeset
210 Compare windows word-by-word.
Dave Love <fx@gnu.org>
parents:
diff changeset
211
Dave Love <fx@gnu.org>
parents:
diff changeset
212 @item ediff-windows-linewise
Dave Love <fx@gnu.org>
parents:
diff changeset
213 @findex ediff-windows-linewise
Dave Love <fx@gnu.org>
parents:
diff changeset
214 Compare windows line-by-line.
Dave Love <fx@gnu.org>
parents:
diff changeset
215
Dave Love <fx@gnu.org>
parents:
diff changeset
216 @item ediff-regions-wordwise
Dave Love <fx@gnu.org>
parents:
diff changeset
217 @findex ediff-regions-wordwise
Dave Love <fx@gnu.org>
parents:
diff changeset
218 Compare regions word-by-word.
Dave Love <fx@gnu.org>
parents:
diff changeset
219
Dave Love <fx@gnu.org>
parents:
diff changeset
220 @item ediff-regions-linewise
Dave Love <fx@gnu.org>
parents:
diff changeset
221 @findex ediff-regions-linewise
Dave Love <fx@gnu.org>
parents:
diff changeset
222 Compare regions line-by-line.
Dave Love <fx@gnu.org>
parents:
diff changeset
223
Dave Love <fx@gnu.org>
parents:
diff changeset
224 @item ediff-revision
Dave Love <fx@gnu.org>
parents:
diff changeset
225 @findex ediff-revision
Dave Love <fx@gnu.org>
parents:
diff changeset
226 Compare versions of the current buffer, if the buffer is visiting
Dave Love <fx@gnu.org>
parents:
diff changeset
227 a file under version control.
Dave Love <fx@gnu.org>
parents:
diff changeset
228
Dave Love <fx@gnu.org>
parents:
diff changeset
229 @item ediff-patch-file
Dave Love <fx@gnu.org>
parents:
diff changeset
230 @itemx epatch
Dave Love <fx@gnu.org>
parents:
diff changeset
231 @findex ediff-patch-file
Dave Love <fx@gnu.org>
parents:
diff changeset
232 @findex epatch
Dave Love <fx@gnu.org>
parents:
diff changeset
233
Dave Love <fx@gnu.org>
parents:
diff changeset
234 Patch a file or multiple files, then compare. If the patch applies to just
Dave Love <fx@gnu.org>
parents:
diff changeset
235 one file, Ediff will invoke a regular comparison session. If it is a
Dave Love <fx@gnu.org>
parents:
diff changeset
236 multi-file patch, then a session group interface will be used and the user
Dave Love <fx@gnu.org>
parents:
diff changeset
237 will be able to patch the files selectively. @xref{Session Groups}, for
Dave Love <fx@gnu.org>
parents:
diff changeset
238 more details.
Dave Love <fx@gnu.org>
parents:
diff changeset
239
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
240 Since the patch might be in a buffer or a file, you will be asked which is
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
241 the case. To avoid this extra prompt, you can invoke this command with a
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
242 prefix argument. With an odd prefix argument, Ediff assumes the patch
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
243 is in a file; with an even argument, a buffer is assumed.
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
244
33021
9fd41b036b84 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 33019
diff changeset
245 Note that @code{ediff-patch-file} will actually use the @code{patch}
36331
8132338647ad (Major Entry Points): Remove doubled `the'.
Gerd Moellmann <gerd@gnu.org>
parents: 36043
diff changeset
246 utility to change the original files on disk. This is not that
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
247 dangerous, since you will always have the original contents of the file
Dave Love <fx@gnu.org>
parents:
diff changeset
248 saved in another file that has the extension @file{.orig}.
Dave Love <fx@gnu.org>
parents:
diff changeset
249 Furthermore, if the file is under version control, then you can always back
Dave Love <fx@gnu.org>
parents:
diff changeset
250 out to one of the previous versions (see the section on Version Countrol in
Dave Love <fx@gnu.org>
parents:
diff changeset
251 Emacs manual).
Dave Love <fx@gnu.org>
parents:
diff changeset
252
Dave Love <fx@gnu.org>
parents:
diff changeset
253 @code{ediff-patch-file} is careful about versions control: if the file
Dave Love <fx@gnu.org>
parents:
diff changeset
254 to be patched is checked in, then Ediff will offer to check it out, because
Dave Love <fx@gnu.org>
parents:
diff changeset
255 failing to do so may result in the loss of the changes when the file is
Dave Love <fx@gnu.org>
parents:
diff changeset
256 checked out the next time.
Dave Love <fx@gnu.org>
parents:
diff changeset
257
Dave Love <fx@gnu.org>
parents:
diff changeset
258 If you don't intend to modify the file via the patch and just want to see
Dave Love <fx@gnu.org>
parents:
diff changeset
259 what the patch is all about (and decide later), then
Dave Love <fx@gnu.org>
parents:
diff changeset
260 @code{ediff-patch-buffer} might be a better choice.
Dave Love <fx@gnu.org>
parents:
diff changeset
261
Dave Love <fx@gnu.org>
parents:
diff changeset
262 @item ediff-patch-buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
263 @itemx epatch-buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
264 @findex ediff-patch-buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
265 @findex epatch-buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
266 Patch a buffer, then compare. The buffer being patched and the file visited
Dave Love <fx@gnu.org>
parents:
diff changeset
267 by that buffer (if any) is @emph{not} modified. The result of the patch
Dave Love <fx@gnu.org>
parents:
diff changeset
268 appears in some other buffer that has the name ending with @emph{_patched}.
Dave Love <fx@gnu.org>
parents:
diff changeset
269
Dave Love <fx@gnu.org>
parents:
diff changeset
270 This function would refuse to apply a multifile patch to a buffer. Use
Dave Love <fx@gnu.org>
parents:
diff changeset
271 @code{ediff-patch-file} for that (and when you want the original file to be
33021
9fd41b036b84 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 33019
diff changeset
272 modified by the @code{patch} utility).
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
273
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
274 Since the patch might be in a buffer or a file, you will be asked which is
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
275 the case. To avoid this extra prompt, you can invoke this command with a
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
276 prefix argument. With an odd prefix argument, Ediff assumes the patch
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
277 is in a file; with an even argument, a buffer is assumed.
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
278
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
279 @item ediff-merge-files
Dave Love <fx@gnu.org>
parents:
diff changeset
280 @itemx ediff-merge
Dave Love <fx@gnu.org>
parents:
diff changeset
281 @findex ediff-merge-files
Dave Love <fx@gnu.org>
parents:
diff changeset
282 @findex ediff-merge
Dave Love <fx@gnu.org>
parents:
diff changeset
283 Merge two files.
Dave Love <fx@gnu.org>
parents:
diff changeset
284
Dave Love <fx@gnu.org>
parents:
diff changeset
285 @item ediff-merge-files-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
286 @itemx ediff-merge-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
287 @findex ediff-merge-files-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
288 @findex ediff-merge-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
289 Like @code{ediff-merge}, but with a third ancestor file.
Dave Love <fx@gnu.org>
parents:
diff changeset
290
Dave Love <fx@gnu.org>
parents:
diff changeset
291 @item ediff-merge-buffers
Dave Love <fx@gnu.org>
parents:
diff changeset
292 @findex ediff-merge-buffers
Dave Love <fx@gnu.org>
parents:
diff changeset
293 Merge two buffers.
Dave Love <fx@gnu.org>
parents:
diff changeset
294
Dave Love <fx@gnu.org>
parents:
diff changeset
295 @item ediff-merge-buffers-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
296 @findex ediff-merge-buffers-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
297 Same but with ancestor.
Dave Love <fx@gnu.org>
parents:
diff changeset
298
Dave Love <fx@gnu.org>
parents:
diff changeset
299
Dave Love <fx@gnu.org>
parents:
diff changeset
300 @item edirs-merge
Dave Love <fx@gnu.org>
parents:
diff changeset
301 @itemx ediff-merge-directories
Dave Love <fx@gnu.org>
parents:
diff changeset
302 @findex edirs-merge
Dave Love <fx@gnu.org>
parents:
diff changeset
303 @findex ediff-merge-directories
Dave Love <fx@gnu.org>
parents:
diff changeset
304 Merge files common to two directories.
Dave Love <fx@gnu.org>
parents:
diff changeset
305 @item edirs-merge-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
306 @itemx ediff-merge-directories-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
307 @findex edirs-merge-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
308 @findex ediff-merge-directories-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
309 Same but using files in a third directory as ancestors.
Dave Love <fx@gnu.org>
parents:
diff changeset
310 If a pair of files doesn't have an ancestor in the ancestor-directory, you
Dave Love <fx@gnu.org>
parents:
diff changeset
311 will still be able to merge them without the ancestor.
Dave Love <fx@gnu.org>
parents:
diff changeset
312
Dave Love <fx@gnu.org>
parents:
diff changeset
313 @item ediff-merge-revisions
Dave Love <fx@gnu.org>
parents:
diff changeset
314 @findex ediff-merge-revisions
Dave Love <fx@gnu.org>
parents:
diff changeset
315 Merge two versions of the file visited by the current buffer.
Dave Love <fx@gnu.org>
parents:
diff changeset
316
Dave Love <fx@gnu.org>
parents:
diff changeset
317 @item ediff-merge-revisions-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
318 @findex ediff-merge-revisions-with-ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
319 Same but with ancestor.
Dave Love <fx@gnu.org>
parents:
diff changeset
320
Dave Love <fx@gnu.org>
parents:
diff changeset
321 @item ediff-documentation
Dave Love <fx@gnu.org>
parents:
diff changeset
322 @findex ediff-documentation
Dave Love <fx@gnu.org>
parents:
diff changeset
323 Brings up this manual.
Dave Love <fx@gnu.org>
parents:
diff changeset
324
Dave Love <fx@gnu.org>
parents:
diff changeset
325 @item ediff-show-registry
Dave Love <fx@gnu.org>
parents:
diff changeset
326 @itemx eregistry
Dave Love <fx@gnu.org>
parents:
diff changeset
327 Brings up Ediff session registry. This feature enables you to quickly find
Dave Love <fx@gnu.org>
parents:
diff changeset
328 and restart active Ediff sessions.
Dave Love <fx@gnu.org>
parents:
diff changeset
329 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
330
Dave Love <fx@gnu.org>
parents:
diff changeset
331 @noindent
Dave Love <fx@gnu.org>
parents:
diff changeset
332 If you want Ediff to be loaded from the very beginning of your Emacs
Dave Love <fx@gnu.org>
parents:
diff changeset
333 session, you should put this line in your @file{~/.emacs} file:
Dave Love <fx@gnu.org>
parents:
diff changeset
334
Dave Love <fx@gnu.org>
parents:
diff changeset
335 @example
Dave Love <fx@gnu.org>
parents:
diff changeset
336 (require 'ediff)
Dave Love <fx@gnu.org>
parents:
diff changeset
337 @end example
Dave Love <fx@gnu.org>
parents:
diff changeset
338
Dave Love <fx@gnu.org>
parents:
diff changeset
339 @noindent
Dave Love <fx@gnu.org>
parents:
diff changeset
340 Otherwise, Ediff will be loaded automatically when you use one of the
Dave Love <fx@gnu.org>
parents:
diff changeset
341 above functions, either directly or through the menus.
Dave Love <fx@gnu.org>
parents:
diff changeset
342
Dave Love <fx@gnu.org>
parents:
diff changeset
343 When the above functions are invoked, the user is prompted for all the
Dave Love <fx@gnu.org>
parents:
diff changeset
344 necessary information---typically the files or buffers to compare, merge, or
Dave Love <fx@gnu.org>
parents:
diff changeset
345 patch. Ediff tries to be smart about these prompts. For instance, in
Dave Love <fx@gnu.org>
parents:
diff changeset
346 comparing/merging files, it will offer the visible buffers as defaults. In
Dave Love <fx@gnu.org>
parents:
diff changeset
347 prompting for files, if the user enters a directory, the previously input
Dave Love <fx@gnu.org>
parents:
diff changeset
348 file name will be appended to that directory. In addition, if the variable
Dave Love <fx@gnu.org>
parents:
diff changeset
349 @code{ediff-use-last-dir} is not @code{nil}, Ediff will offer
Dave Love <fx@gnu.org>
parents:
diff changeset
350 previously entered directories as defaults (which will be maintained
Dave Love <fx@gnu.org>
parents:
diff changeset
351 separately for each type of file, A, B, or C).
Dave Love <fx@gnu.org>
parents:
diff changeset
352 @vindex @code{ediff-use-last-dir}
Dave Love <fx@gnu.org>
parents:
diff changeset
353
Dave Love <fx@gnu.org>
parents:
diff changeset
354 All the above functions use the POSIX @code{diff} or @code{diff3} programs
Dave Love <fx@gnu.org>
parents:
diff changeset
355 to find differences between two files. They process the @code{diff} output
Dave Love <fx@gnu.org>
parents:
diff changeset
356 and display it in a convenient form. At present, Ediff understands only
Dave Love <fx@gnu.org>
parents:
diff changeset
357 the plain output from diff. Options such as @samp{-c} are not supported,
Dave Love <fx@gnu.org>
parents:
diff changeset
358 nor is the format produced by incompatible file comparison programs such as
Dave Love <fx@gnu.org>
parents:
diff changeset
359 the VMS version of @code{diff}.
Dave Love <fx@gnu.org>
parents:
diff changeset
360
Dave Love <fx@gnu.org>
parents:
diff changeset
361 The functions @code{ediff-files}, @code{ediff-buffers},
Dave Love <fx@gnu.org>
parents:
diff changeset
362 @code{ediff-files3}, @code{ediff-buffers3} first display the coarse,
33021
9fd41b036b84 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 33019
diff changeset
363 line-based difference regions, as reported by the @code{diff} program. The
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
364 total number of difference regions and the current difference number are
Dave Love <fx@gnu.org>
parents:
diff changeset
365 always displayed in the mode line of the control window.
Dave Love <fx@gnu.org>
parents:
diff changeset
366
Dave Love <fx@gnu.org>
parents:
diff changeset
367 Since @code{diff} may report fairly large chunks of text as being different,
Dave Love <fx@gnu.org>
parents:
diff changeset
368 even though the difference may be localized to just a few words or even
Dave Love <fx@gnu.org>
parents:
diff changeset
369 to the white space or line breaks, Ediff further @emph{refines} the
Dave Love <fx@gnu.org>
parents:
diff changeset
370 regions to indicate which exact words differ. If the only difference is
Dave Love <fx@gnu.org>
parents:
diff changeset
371 in the white space and line breaks, Ediff says so.
Dave Love <fx@gnu.org>
parents:
diff changeset
372
Dave Love <fx@gnu.org>
parents:
diff changeset
373 On a color display, fine differences are highlighted with color; on a
Dave Love <fx@gnu.org>
parents:
diff changeset
374 monochrome display, they are underlined. @xref{Highlighting Difference
Dave Love <fx@gnu.org>
parents:
diff changeset
375 Regions}, for information on how to customize this.
Dave Love <fx@gnu.org>
parents:
diff changeset
376
Dave Love <fx@gnu.org>
parents:
diff changeset
377 The functions @code{ediff-windows-wordwise},
Dave Love <fx@gnu.org>
parents:
diff changeset
378 @code{ediff-windows-linewise}, @code{ediff-regions-wordwise} and
Dave Love <fx@gnu.org>
parents:
diff changeset
379 @code{ediff-regions-linewise} do comparison on parts of existing Emacs
Dave Love <fx@gnu.org>
parents:
diff changeset
380 buffers. Since @code{ediff-windows-wordwise} and
Dave Love <fx@gnu.org>
parents:
diff changeset
381 @code{ediff-regions-wordwise} are intended for relatively small segments
Dave Love <fx@gnu.org>
parents:
diff changeset
382 of buffers, comparison is done on the basis of words rather than lines.
Dave Love <fx@gnu.org>
parents:
diff changeset
383 No refinement is necessary in this case. These commands are recommended
Dave Love <fx@gnu.org>
parents:
diff changeset
384 only for relatively small regions (perhaps, up to 100 lines), because
Dave Love <fx@gnu.org>
parents:
diff changeset
385 these functions have a relatively slow startup.
Dave Love <fx@gnu.org>
parents:
diff changeset
386
Dave Love <fx@gnu.org>
parents:
diff changeset
387 To compare large regions, use @code{ediff-regions-linewise}. This
Dave Love <fx@gnu.org>
parents:
diff changeset
388 command displays differences much like @code{ediff-files} and
Dave Love <fx@gnu.org>
parents:
diff changeset
389 @code{ediff-buffers}.
Dave Love <fx@gnu.org>
parents:
diff changeset
390
Dave Love <fx@gnu.org>
parents:
diff changeset
391 The functions @code{ediff-patch-file} and @code{ediff-patch-buffer} apply a
Dave Love <fx@gnu.org>
parents:
diff changeset
392 patch to a file or a buffer and then run Ediff on the appropriate
Dave Love <fx@gnu.org>
parents:
diff changeset
393 files/buffers, displaying the difference regions.
Dave Love <fx@gnu.org>
parents:
diff changeset
394
Dave Love <fx@gnu.org>
parents:
diff changeset
395 The entry points @code{ediff-directories}, @code{ediff-merge-directories},
Dave Love <fx@gnu.org>
parents:
diff changeset
396 etc., provide a convenient interface for comparing and merging files in
Dave Love <fx@gnu.org>
parents:
diff changeset
397 different directories. The user is presented with Dired-like interface from
Dave Love <fx@gnu.org>
parents:
diff changeset
398 which one can run a group of related Ediff sessions.
Dave Love <fx@gnu.org>
parents:
diff changeset
399
Dave Love <fx@gnu.org>
parents:
diff changeset
400 For files under version control, @code{ediff-revision} lets you compare
Dave Love <fx@gnu.org>
parents:
diff changeset
401 the file visited by the current buffer to one of its checked-in versions.
Dave Love <fx@gnu.org>
parents:
diff changeset
402 You can also compare two checked-in versions of the visited file.
Dave Love <fx@gnu.org>
parents:
diff changeset
403 Moreover, the functions @code{ediff-directory-revisions},
Dave Love <fx@gnu.org>
parents:
diff changeset
404 @code{ediff-merge-directory-revisions}, etc., let you run a group of
Dave Love <fx@gnu.org>
parents:
diff changeset
405 related Ediff sessions by taking a directory and comparing (or merging)
Dave Love <fx@gnu.org>
parents:
diff changeset
406 versions of files in that directory.
Dave Love <fx@gnu.org>
parents:
diff changeset
407
Dave Love <fx@gnu.org>
parents:
diff changeset
408 @node Session Commands, Registry of Ediff Sessions, Major Entry Points, Top
Dave Love <fx@gnu.org>
parents:
diff changeset
409 @chapter Session Commands
Dave Love <fx@gnu.org>
parents:
diff changeset
410
Dave Love <fx@gnu.org>
parents:
diff changeset
411 All Ediff commands are displayed in a Quick Help window, unless you type
Dave Love <fx@gnu.org>
parents:
diff changeset
412 @kbd{?} to shrink the window to just one line. You can redisplay the help
Dave Love <fx@gnu.org>
parents:
diff changeset
413 window by typing @kbd{?} again. The Quick Help commands are detailed below.
Dave Love <fx@gnu.org>
parents:
diff changeset
414
Dave Love <fx@gnu.org>
parents:
diff changeset
415 Many Ediff commands take numeric prefix arguments. For instance, if you
Dave Love <fx@gnu.org>
parents:
diff changeset
416 type a number, say 3, and then @kbd{j} (@code{ediff-jump-to-difference}),
Dave Love <fx@gnu.org>
parents:
diff changeset
417 Ediff moves to the third difference region. Typing 3 and then @kbd{a}
Dave Love <fx@gnu.org>
parents:
diff changeset
418 (@code{ediff-diff-to-diff}) copies the 3d difference region from variant A
Dave Love <fx@gnu.org>
parents:
diff changeset
419 to variant B. Likewise, 4 followed by @kbd{ra} restores the 4th difference
Dave Love <fx@gnu.org>
parents:
diff changeset
420 region in buffer A (if it was previously written over via the command
Dave Love <fx@gnu.org>
parents:
diff changeset
421 @kbd{a}).
Dave Love <fx@gnu.org>
parents:
diff changeset
422
Dave Love <fx@gnu.org>
parents:
diff changeset
423 Some commands take negative prefix arguments as well. For instance, typing
Dave Love <fx@gnu.org>
parents:
diff changeset
424 @kbd{-} and then @kbd{j} will make the last difference region
Dave Love <fx@gnu.org>
parents:
diff changeset
425 current. Typing @kbd{-2} then @kbd{j} makes the penultimate difference
Dave Love <fx@gnu.org>
parents:
diff changeset
426 region current, etc.
Dave Love <fx@gnu.org>
parents:
diff changeset
427
Dave Love <fx@gnu.org>
parents:
diff changeset
428 Without the prefix argument, all commands operate on the currently
Dave Love <fx@gnu.org>
parents:
diff changeset
429 selected difference region. You can make any difference region
Dave Love <fx@gnu.org>
parents:
diff changeset
430 current using the various commands explained below.
Dave Love <fx@gnu.org>
parents:
diff changeset
431
Dave Love <fx@gnu.org>
parents:
diff changeset
432 For some commands, the actual value of the prefix argument is
Dave Love <fx@gnu.org>
parents:
diff changeset
433 immaterial. However, if supplied, the prefix argument may modify the
Dave Love <fx@gnu.org>
parents:
diff changeset
434 command (see @kbd{ga}, @kbd{gb}, and @kbd{gc}).
Dave Love <fx@gnu.org>
parents:
diff changeset
435
Dave Love <fx@gnu.org>
parents:
diff changeset
436 @menu
Dave Love <fx@gnu.org>
parents:
diff changeset
437 * Quick Help Commands:: Frequently used commands.
Dave Love <fx@gnu.org>
parents:
diff changeset
438 * Other Session Commands:: Commands that are not bound to keys.
Dave Love <fx@gnu.org>
parents:
diff changeset
439 @end menu
Dave Love <fx@gnu.org>
parents:
diff changeset
440
Dave Love <fx@gnu.org>
parents:
diff changeset
441 @node Quick Help Commands,Other Session Commands,,Session Commands
Dave Love <fx@gnu.org>
parents:
diff changeset
442 @section Quick Help Commands
Dave Love <fx@gnu.org>
parents:
diff changeset
443
Dave Love <fx@gnu.org>
parents:
diff changeset
444 @table @kbd
Dave Love <fx@gnu.org>
parents:
diff changeset
445 @item ?
Dave Love <fx@gnu.org>
parents:
diff changeset
446 Toggles the Ediff Quick Help window ON and OFF.
Dave Love <fx@gnu.org>
parents:
diff changeset
447 @item G
Dave Love <fx@gnu.org>
parents:
diff changeset
448 Prepares a mail buffer for sending a praise or a curse to the Ediff maintainer.
Dave Love <fx@gnu.org>
parents:
diff changeset
449
Dave Love <fx@gnu.org>
parents:
diff changeset
450 @item E
Dave Love <fx@gnu.org>
parents:
diff changeset
451 Brings up the top node of this manual, where you can find further
Dave Love <fx@gnu.org>
parents:
diff changeset
452 information on the various Ediff functions and advanced issues, such as
Dave Love <fx@gnu.org>
parents:
diff changeset
453 customization, session groups, etc.
Dave Love <fx@gnu.org>
parents:
diff changeset
454
Dave Love <fx@gnu.org>
parents:
diff changeset
455 @item v
Dave Love <fx@gnu.org>
parents:
diff changeset
456 Scrolls up buffers A and B (and buffer C where appropriate) in a
Dave Love <fx@gnu.org>
parents:
diff changeset
457 coordinated fashion.
Dave Love <fx@gnu.org>
parents:
diff changeset
458 @item V
Dave Love <fx@gnu.org>
parents:
diff changeset
459 Scrolls the buffers down.
Dave Love <fx@gnu.org>
parents:
diff changeset
460
Dave Love <fx@gnu.org>
parents:
diff changeset
461 @item <
Dave Love <fx@gnu.org>
parents:
diff changeset
462 Scrolls the buffers to the left simultaneously.
Dave Love <fx@gnu.org>
parents:
diff changeset
463 @item >
Dave Love <fx@gnu.org>
parents:
diff changeset
464 Scrolls buffers to the right.
Dave Love <fx@gnu.org>
parents:
diff changeset
465
Dave Love <fx@gnu.org>
parents:
diff changeset
466 @item wd
Dave Love <fx@gnu.org>
parents:
diff changeset
467 Saves the output from the diff utility, for further reference.
Dave Love <fx@gnu.org>
parents:
diff changeset
468
33021
9fd41b036b84 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 33019
diff changeset
469 With prefix argument, saves the plain output from @code{diff} (see
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
470 @code{ediff-diff-program} and @code{ediff-diff-options}). Without the
33021
9fd41b036b84 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 33019
diff changeset
471 argument, it saves customized @code{diff} output (see
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
472 @code{ediff-custom-diff-program} and @code{ediff-custom-diff-options}), if
Dave Love <fx@gnu.org>
parents:
diff changeset
473 it is available.
Dave Love <fx@gnu.org>
parents:
diff changeset
474
Dave Love <fx@gnu.org>
parents:
diff changeset
475 @item wa
Dave Love <fx@gnu.org>
parents:
diff changeset
476 Saves buffer A, if it was modified.
Dave Love <fx@gnu.org>
parents:
diff changeset
477 @item wb
Dave Love <fx@gnu.org>
parents:
diff changeset
478 Saves buffer B, if it was modified.
Dave Love <fx@gnu.org>
parents:
diff changeset
479 @item wc
Dave Love <fx@gnu.org>
parents:
diff changeset
480 Saves buffer C, if it was modified (if you are in a session that
Dave Love <fx@gnu.org>
parents:
diff changeset
481 compares three files simultaneously).
Dave Love <fx@gnu.org>
parents:
diff changeset
482
Dave Love <fx@gnu.org>
parents:
diff changeset
483 @item a
Dave Love <fx@gnu.org>
parents:
diff changeset
484 @emph{In comparison sessions:}
Dave Love <fx@gnu.org>
parents:
diff changeset
485 Copies the current difference region (or the region specified as the prefix
Dave Love <fx@gnu.org>
parents:
diff changeset
486 to this command) from buffer A to buffer B.
Dave Love <fx@gnu.org>
parents:
diff changeset
487 Ediff saves the old contents of buffer B's region; it can
Dave Love <fx@gnu.org>
parents:
diff changeset
488 be restored via the command @kbd{rb}, which see.
Dave Love <fx@gnu.org>
parents:
diff changeset
489
Dave Love <fx@gnu.org>
parents:
diff changeset
490 @emph{In merge sessions:}
Dave Love <fx@gnu.org>
parents:
diff changeset
491 Copies the current difference region (or the region specified as the prefix
Dave Love <fx@gnu.org>
parents:
diff changeset
492 to this command) from buffer A to the merge buffer. The old contents of
Dave Love <fx@gnu.org>
parents:
diff changeset
493 this region in buffer C can be restored via the command @kbd{r}.
Dave Love <fx@gnu.org>
parents:
diff changeset
494
Dave Love <fx@gnu.org>
parents:
diff changeset
495 @item b
Dave Love <fx@gnu.org>
parents:
diff changeset
496 Works similarly, but copies the current difference region from buffer B to
Dave Love <fx@gnu.org>
parents:
diff changeset
497 buffer A (in @emph{comparison sessions}) or the merge buffer (in
Dave Love <fx@gnu.org>
parents:
diff changeset
498 @emph{merge sessions}).
Dave Love <fx@gnu.org>
parents:
diff changeset
499
Dave Love <fx@gnu.org>
parents:
diff changeset
500 Ediff saves the old contents of the difference region copied over; it can
Dave Love <fx@gnu.org>
parents:
diff changeset
501 be reinstated via the command @kbd{ra} in comparison sessions and
Dave Love <fx@gnu.org>
parents:
diff changeset
502 @kbd{r} in merge sessions.
Dave Love <fx@gnu.org>
parents:
diff changeset
503
Dave Love <fx@gnu.org>
parents:
diff changeset
504 @item ab
Dave Love <fx@gnu.org>
parents:
diff changeset
505 Copies the current difference region (or the region specified as the prefix
Dave Love <fx@gnu.org>
parents:
diff changeset
506 to this command) from buffer A to buffer B. This (and the next five)
Dave Love <fx@gnu.org>
parents:
diff changeset
507 command is enabled only in sessions that compare three files
Dave Love <fx@gnu.org>
parents:
diff changeset
508 simultaneously. The old region in buffer B is saved and can be restored
Dave Love <fx@gnu.org>
parents:
diff changeset
509 via the command @kbd{rb}.
Dave Love <fx@gnu.org>
parents:
diff changeset
510 @item ac
Dave Love <fx@gnu.org>
parents:
diff changeset
511 Copies the difference region from buffer A to buffer C.
Dave Love <fx@gnu.org>
parents:
diff changeset
512 The old region in buffer C is saved and can be restored via the command
Dave Love <fx@gnu.org>
parents:
diff changeset
513 @kbd{rc}.
Dave Love <fx@gnu.org>
parents:
diff changeset
514 @item ba
Dave Love <fx@gnu.org>
parents:
diff changeset
515 Copies the difference region from buffer B to buffer A.
Dave Love <fx@gnu.org>
parents:
diff changeset
516 The old region in buffer A is saved and can be restored via the command
Dave Love <fx@gnu.org>
parents:
diff changeset
517 @kbd{ra}.
Dave Love <fx@gnu.org>
parents:
diff changeset
518 @item bc
Dave Love <fx@gnu.org>
parents:
diff changeset
519 Copies the difference region from buffer B to buffer C.
Dave Love <fx@gnu.org>
parents:
diff changeset
520 The command @kbd{rc} undoes this.
Dave Love <fx@gnu.org>
parents:
diff changeset
521 @item ca
Dave Love <fx@gnu.org>
parents:
diff changeset
522 Copies the difference region from buffer C to buffer A.
Dave Love <fx@gnu.org>
parents:
diff changeset
523 The command @kbd{ra} undoes this.
Dave Love <fx@gnu.org>
parents:
diff changeset
524 @item cb
Dave Love <fx@gnu.org>
parents:
diff changeset
525 Copies the difference region from buffer C to buffer B.
Dave Love <fx@gnu.org>
parents:
diff changeset
526 The command @kbd{rb} undoes this.
Dave Love <fx@gnu.org>
parents:
diff changeset
527
Dave Love <fx@gnu.org>
parents:
diff changeset
528 @item p
Dave Love <fx@gnu.org>
parents:
diff changeset
529 @itemx DEL
Dave Love <fx@gnu.org>
parents:
diff changeset
530 Makes the previous difference region current.
Dave Love <fx@gnu.org>
parents:
diff changeset
531 @item n
Dave Love <fx@gnu.org>
parents:
diff changeset
532 @itemx SPC
Dave Love <fx@gnu.org>
parents:
diff changeset
533 Makes the next difference region current.
Dave Love <fx@gnu.org>
parents:
diff changeset
534
Dave Love <fx@gnu.org>
parents:
diff changeset
535 @item j
Dave Love <fx@gnu.org>
parents:
diff changeset
536 @itemx -j
Dave Love <fx@gnu.org>
parents:
diff changeset
537 @itemx Nj
Dave Love <fx@gnu.org>
parents:
diff changeset
538 Makes the very first difference region current.
Dave Love <fx@gnu.org>
parents:
diff changeset
539
Dave Love <fx@gnu.org>
parents:
diff changeset
540 @kbd{-j} makes the last region current. Typing a number, N, and then `j'
Dave Love <fx@gnu.org>
parents:
diff changeset
541 makes the difference region N current. Typing -N (a negative number) then
Dave Love <fx@gnu.org>
parents:
diff changeset
542 `j' makes current the region Last - N.
Dave Love <fx@gnu.org>
parents:
diff changeset
543
Dave Love <fx@gnu.org>
parents:
diff changeset
544 @item ga
Dave Love <fx@gnu.org>
parents:
diff changeset
545 Makes current the difference region closest to the position of the point in
Dave Love <fx@gnu.org>
parents:
diff changeset
546 buffer A.
Dave Love <fx@gnu.org>
parents:
diff changeset
547
Dave Love <fx@gnu.org>
parents:
diff changeset
548 However, with a prefix argument, Ediff would position all variants
Dave Love <fx@gnu.org>
parents:
diff changeset
549 around the area indicated by the current point in buffer A: if
Dave Love <fx@gnu.org>
parents:
diff changeset
550 the point is inside a difference region, then the variants will be
Dave Love <fx@gnu.org>
parents:
diff changeset
551 positioned at this difference region. If the point is not in any difference
Dave Love <fx@gnu.org>
parents:
diff changeset
552 region, then it is in an area where all variants agree with each other. In
Dave Love <fx@gnu.org>
parents:
diff changeset
553 this case, the variants will be positioned so that each would display this
Dave Love <fx@gnu.org>
parents:
diff changeset
554 area (of agreement).
Dave Love <fx@gnu.org>
parents:
diff changeset
555 @item gb
Dave Love <fx@gnu.org>
parents:
diff changeset
556 Makes current the difference region closest to the position of the point in
Dave Love <fx@gnu.org>
parents:
diff changeset
557 buffer B.
Dave Love <fx@gnu.org>
parents:
diff changeset
558
Dave Love <fx@gnu.org>
parents:
diff changeset
559 With a prefix argument, behaves like @kbd{ga}, but with respect to buffer B.
Dave Love <fx@gnu.org>
parents:
diff changeset
560 @item gc
Dave Love <fx@gnu.org>
parents:
diff changeset
561 @emph{In merge sessions:}
Dave Love <fx@gnu.org>
parents:
diff changeset
562 makes current the difference region closest to the point in the merge buffer.
Dave Love <fx@gnu.org>
parents:
diff changeset
563
Dave Love <fx@gnu.org>
parents:
diff changeset
564 @emph{In 3-file comparison sessions:}
Dave Love <fx@gnu.org>
parents:
diff changeset
565 makes current the region closest to the point in buffer C.
Dave Love <fx@gnu.org>
parents:
diff changeset
566
Dave Love <fx@gnu.org>
parents:
diff changeset
567 With a prefix argument, behaves like @kbd{ga}, but with respect to buffer C.
Dave Love <fx@gnu.org>
parents:
diff changeset
568
Dave Love <fx@gnu.org>
parents:
diff changeset
569 @item !
Dave Love <fx@gnu.org>
parents:
diff changeset
570 Recomputes the difference regions, bringing them up to date. This is often
Dave Love <fx@gnu.org>
parents:
diff changeset
571 needed because it is common to do all sorts of editing during Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
572 sessions, so after a while, the highlighted difference regions may no
Dave Love <fx@gnu.org>
parents:
diff changeset
573 longer reflect the actual differences among the buffers.
Dave Love <fx@gnu.org>
parents:
diff changeset
574
Dave Love <fx@gnu.org>
parents:
diff changeset
575 @item *
Dave Love <fx@gnu.org>
parents:
diff changeset
576 Forces refinement of the current difference region, which highlights the exact
Dave Love <fx@gnu.org>
parents:
diff changeset
577 words of disagreement among the buffers. With a negative prefix argument,
Dave Love <fx@gnu.org>
parents:
diff changeset
578 unhighlights the current region.
Dave Love <fx@gnu.org>
parents:
diff changeset
579
Dave Love <fx@gnu.org>
parents:
diff changeset
580 Forceful refinement may be needed if Ediff encounters a difference region
Dave Love <fx@gnu.org>
parents:
diff changeset
581 that is larger than @code{ediff-auto-refine-limit}. In this situation,
Dave Love <fx@gnu.org>
parents:
diff changeset
582 Ediff doesn't do automatic refinement in order to improve response time.
Dave Love <fx@gnu.org>
parents:
diff changeset
583 (Ediff doesn't auto-refine on dumb terminals as well, but @kbd{*} still
Dave Love <fx@gnu.org>
parents:
diff changeset
584 works there. However, the only useful piece of information it can tell you
Dave Love <fx@gnu.org>
parents:
diff changeset
585 is whether or not the difference regions disagree only in the amount of
Dave Love <fx@gnu.org>
parents:
diff changeset
586 white space.)
Dave Love <fx@gnu.org>
parents:
diff changeset
587
Dave Love <fx@gnu.org>
parents:
diff changeset
588 This command is also useful when the highlighted fine differences are
Dave Love <fx@gnu.org>
parents:
diff changeset
589 no longer current, due to user editing.
Dave Love <fx@gnu.org>
parents:
diff changeset
590
Dave Love <fx@gnu.org>
parents:
diff changeset
591 @item m
Dave Love <fx@gnu.org>
parents:
diff changeset
592 Displays the current Ediff session in a frame as wide as the physical
Dave Love <fx@gnu.org>
parents:
diff changeset
593 display. This is useful when comparing files side-by-side. Typing `m' again
Dave Love <fx@gnu.org>
parents:
diff changeset
594 restores the original size of the frame.
Dave Love <fx@gnu.org>
parents:
diff changeset
595
Dave Love <fx@gnu.org>
parents:
diff changeset
596 @item |
Dave Love <fx@gnu.org>
parents:
diff changeset
597 Toggles the horizontal/vertical split of the Ediff display. Horizontal
Dave Love <fx@gnu.org>
parents:
diff changeset
598 split is convenient when it is possible to compare files
Dave Love <fx@gnu.org>
parents:
diff changeset
599 side-by-side. If the frame in which files are displayed is too narrow
Dave Love <fx@gnu.org>
parents:
diff changeset
600 and lines are cut off, typing @kbd{m} may help some.
Dave Love <fx@gnu.org>
parents:
diff changeset
601
Dave Love <fx@gnu.org>
parents:
diff changeset
602 @item @@
Dave Love <fx@gnu.org>
parents:
diff changeset
603 Toggles auto-refinement of difference regions (i.e., automatic highlighting
Dave Love <fx@gnu.org>
parents:
diff changeset
604 of the exact words that differ among the variants). Auto-refinement is
Dave Love <fx@gnu.org>
parents:
diff changeset
605 turned off on devices where Emacs doesn't support highlighting.
Dave Love <fx@gnu.org>
parents:
diff changeset
606
Dave Love <fx@gnu.org>
parents:
diff changeset
607 On slow machines, it may be advantageous to turn auto-refinement off. The
Dave Love <fx@gnu.org>
parents:
diff changeset
608 user can always forcefully refine specific difference regions by typing
Dave Love <fx@gnu.org>
parents:
diff changeset
609 @kbd{*}.
Dave Love <fx@gnu.org>
parents:
diff changeset
610
Dave Love <fx@gnu.org>
parents:
diff changeset
611 @item h
Dave Love <fx@gnu.org>
parents:
diff changeset
612 Cycles between full highlighting, the mode where fine differences are not
Dave Love <fx@gnu.org>
parents:
diff changeset
613 highlighted (but computed), and the mode where highlighting is done with
Dave Love <fx@gnu.org>
parents:
diff changeset
614 ASCII strings. The latter is not really recommended, unless on a dumb TTY.
Dave Love <fx@gnu.org>
parents:
diff changeset
615
Dave Love <fx@gnu.org>
parents:
diff changeset
616 @item r
Dave Love <fx@gnu.org>
parents:
diff changeset
617 Restores the old contents of the region in the merge buffer.
Dave Love <fx@gnu.org>
parents:
diff changeset
618 (If you copied a difference region from buffer A or B into the merge buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
619 using the commands @kbd{a} or @kbd{b}, Ediff saves the old contents of the
Dave Love <fx@gnu.org>
parents:
diff changeset
620 region in case you change your mind.)
Dave Love <fx@gnu.org>
parents:
diff changeset
621
Dave Love <fx@gnu.org>
parents:
diff changeset
622 This command is enabled in merge sessions only.
Dave Love <fx@gnu.org>
parents:
diff changeset
623
Dave Love <fx@gnu.org>
parents:
diff changeset
624 @item ra
Dave Love <fx@gnu.org>
parents:
diff changeset
625 Restores the old contents of the current difference region in buffer A,
Dave Love <fx@gnu.org>
parents:
diff changeset
626 which was previously saved when the user invoked one of these commands:
Dave Love <fx@gnu.org>
parents:
diff changeset
627 @kbd{b}, @kbd{ba}, @kbd{ca}, which see. This command is enabled in
Dave Love <fx@gnu.org>
parents:
diff changeset
628 comparison sessions only.
Dave Love <fx@gnu.org>
parents:
diff changeset
629 @item rb
Dave Love <fx@gnu.org>
parents:
diff changeset
630 Restores the old contents of the current difference region in buffer B,
Dave Love <fx@gnu.org>
parents:
diff changeset
631 which was previously saved when the user invoked one of these commands:
Dave Love <fx@gnu.org>
parents:
diff changeset
632 @kbd{a}, @kbd{ab}, @kbd{cb}, which see. This command is enabled in
Dave Love <fx@gnu.org>
parents:
diff changeset
633 comparison sessions only.
Dave Love <fx@gnu.org>
parents:
diff changeset
634 @item rc
Dave Love <fx@gnu.org>
parents:
diff changeset
635 Restores the old contents of the current difference region in buffer C,
Dave Love <fx@gnu.org>
parents:
diff changeset
636 which was previously saved when the user invoked one of these commands:
Dave Love <fx@gnu.org>
parents:
diff changeset
637 @kbd{ac}, @kbd{bc}, which see. This command is enabled in 3-file
Dave Love <fx@gnu.org>
parents:
diff changeset
638 comparison sessions only.
Dave Love <fx@gnu.org>
parents:
diff changeset
639
Dave Love <fx@gnu.org>
parents:
diff changeset
640 @item ##
Dave Love <fx@gnu.org>
parents:
diff changeset
641 Tell Ediff to skip over regions that disagree among themselves only in the
Dave Love <fx@gnu.org>
parents:
diff changeset
642 amount of white space and line breaks.
Dave Love <fx@gnu.org>
parents:
diff changeset
643
Dave Love <fx@gnu.org>
parents:
diff changeset
644 Even though such regions will be skipped over, you can still jump to any
Dave Love <fx@gnu.org>
parents:
diff changeset
645 one of them by typing the region number and then `j'. Typing @kbd{##}
Dave Love <fx@gnu.org>
parents:
diff changeset
646 again puts Ediff back in the original state.
Dave Love <fx@gnu.org>
parents:
diff changeset
647
Dave Love <fx@gnu.org>
parents:
diff changeset
648 @item #h
Dave Love <fx@gnu.org>
parents:
diff changeset
649 @itemx #f
Dave Love <fx@gnu.org>
parents:
diff changeset
650 Ediff works hard to ameliorate the effects of boredom in the workplace...
Dave Love <fx@gnu.org>
parents:
diff changeset
651
Dave Love <fx@gnu.org>
parents:
diff changeset
652 Quite often differences are due to identical replacements (e.g., the word
Dave Love <fx@gnu.org>
parents:
diff changeset
653 `foo' is replaced with the word `bar' everywhere). If the number of regions
Dave Love <fx@gnu.org>
parents:
diff changeset
654 with such boring differences exceeds your tolerance threshold, you may be
Dave Love <fx@gnu.org>
parents:
diff changeset
655 tempted to tell Ediff to skip these regions altogether (you will still be able
Dave Love <fx@gnu.org>
parents:
diff changeset
656 to jump to them via the command @kbd{j}). The above commands, @kbd{#h}
Dave Love <fx@gnu.org>
parents:
diff changeset
657 and @kbd{#f}, may well save your day!
Dave Love <fx@gnu.org>
parents:
diff changeset
658
Dave Love <fx@gnu.org>
parents:
diff changeset
659 @kbd{#h} prompts you to specify regular expressions for each
Dave Love <fx@gnu.org>
parents:
diff changeset
660 variant. Difference regions where each variant's region matches the
Dave Love <fx@gnu.org>
parents:
diff changeset
661 corresponding regular expression will be skipped from then on. (You can
Dave Love <fx@gnu.org>
parents:
diff changeset
662 also tell Ediff to skip regions where at least one variant matches its
Dave Love <fx@gnu.org>
parents:
diff changeset
663 regular expression.)
Dave Love <fx@gnu.org>
parents:
diff changeset
664
Dave Love <fx@gnu.org>
parents:
diff changeset
665 @kbd{#f} does dual job: it focuses on regions that match the corresponding
Dave Love <fx@gnu.org>
parents:
diff changeset
666 regular expressions. All other regions will be skipped
Dave Love <fx@gnu.org>
parents:
diff changeset
667 over. @xref{Selective Browsing}, for more.
Dave Love <fx@gnu.org>
parents:
diff changeset
668
Dave Love <fx@gnu.org>
parents:
diff changeset
669 @item A
Dave Love <fx@gnu.org>
parents:
diff changeset
670 Toggles the read-only property in buffer A.
Dave Love <fx@gnu.org>
parents:
diff changeset
671 If file A is under version control and is checked in, it is checked out
Dave Love <fx@gnu.org>
parents:
diff changeset
672 (with your permission).
Dave Love <fx@gnu.org>
parents:
diff changeset
673 @item B
Dave Love <fx@gnu.org>
parents:
diff changeset
674 Toggles the read-only property in buffer B.
Dave Love <fx@gnu.org>
parents:
diff changeset
675 If file B is under version control and is checked in, it is checked out.
Dave Love <fx@gnu.org>
parents:
diff changeset
676 @item C
Dave Love <fx@gnu.org>
parents:
diff changeset
677 Toggles the read-only property in buffer C (in 3-file comparison sessions).
Dave Love <fx@gnu.org>
parents:
diff changeset
678 If file C is under version control and is checked in, it is checked out.
Dave Love <fx@gnu.org>
parents:
diff changeset
679
Dave Love <fx@gnu.org>
parents:
diff changeset
680 @item ~
Dave Love <fx@gnu.org>
parents:
diff changeset
681 Swaps the windows where buffers A and B are displayed. If you are comparing
Dave Love <fx@gnu.org>
parents:
diff changeset
682 three buffers at once, then this command would rotate the windows among
Dave Love <fx@gnu.org>
parents:
diff changeset
683 buffers A, B, and C.
Dave Love <fx@gnu.org>
parents:
diff changeset
684
Dave Love <fx@gnu.org>
parents:
diff changeset
685 @item i
Dave Love <fx@gnu.org>
parents:
diff changeset
686 Displays all kinds of useful data about the current Ediff session.
Dave Love <fx@gnu.org>
parents:
diff changeset
687 @item D
Dave Love <fx@gnu.org>
parents:
diff changeset
688 Runs @code{ediff-custom-diff-program} on the variants and displays the
Dave Love <fx@gnu.org>
parents:
diff changeset
689 buffer containing the output. This is useful when you must send the output
Dave Love <fx@gnu.org>
parents:
diff changeset
690 to your Mom.
Dave Love <fx@gnu.org>
parents:
diff changeset
691
33021
9fd41b036b84 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 33019
diff changeset
692 With a prefix argument, displays the plain @code{diff} output.
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
693 @xref{Patch and Diff Programs}, for details.
Dave Love <fx@gnu.org>
parents:
diff changeset
694
Dave Love <fx@gnu.org>
parents:
diff changeset
695 @item R
Dave Love <fx@gnu.org>
parents:
diff changeset
696 Displays a list of currently active Ediff sessions---the Ediff Registry.
Dave Love <fx@gnu.org>
parents:
diff changeset
697 You can then restart any of these sessions by either clicking on a session
Dave Love <fx@gnu.org>
parents:
diff changeset
698 record or by putting the cursor over it and then typing the return key.
Dave Love <fx@gnu.org>
parents:
diff changeset
699
Dave Love <fx@gnu.org>
parents:
diff changeset
700 (Some poor souls leave so many active Ediff sessions around that they loose
Dave Love <fx@gnu.org>
parents:
diff changeset
701 track of them completely... The `R' command is designed to save these
Dave Love <fx@gnu.org>
parents:
diff changeset
702 people from the recently discovered Ediff Proficiency Syndrome.)
Dave Love <fx@gnu.org>
parents:
diff changeset
703
Dave Love <fx@gnu.org>
parents:
diff changeset
704 Typing @kbd{R} brings up Ediff Registry only if it is typed into an Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
705 Control Panel. If you don't have a control panel handy, type this in the
Dave Love <fx@gnu.org>
parents:
diff changeset
706 minibuffer: @kbd{M-x eregistry}. @xref{Registry of Ediff Sessions}.
Dave Love <fx@gnu.org>
parents:
diff changeset
707
Dave Love <fx@gnu.org>
parents:
diff changeset
708 @item M
Dave Love <fx@gnu.org>
parents:
diff changeset
709 Shows the session group buffer that invoked the current Ediff session.
Dave Love <fx@gnu.org>
parents:
diff changeset
710 @xref{Session Groups}, for more information on session groups.
Dave Love <fx@gnu.org>
parents:
diff changeset
711
Dave Love <fx@gnu.org>
parents:
diff changeset
712 @item z
Dave Love <fx@gnu.org>
parents:
diff changeset
713 Suspends the current Ediff session. (If you develop a condition known as
Dave Love <fx@gnu.org>
parents:
diff changeset
714 Repetitive Ediff Injury---a serious but curable illness---you must change
Dave Love <fx@gnu.org>
parents:
diff changeset
715 your current activity. This command tries hard to hide all Ediff-related
Dave Love <fx@gnu.org>
parents:
diff changeset
716 buffers.)
Dave Love <fx@gnu.org>
parents:
diff changeset
717
Dave Love <fx@gnu.org>
parents:
diff changeset
718 The easiest way to resume a suspended Ediff session is through the registry
Dave Love <fx@gnu.org>
parents:
diff changeset
719 of active sessions. @xref{Registry of Ediff Sessions}, for details.
Dave Love <fx@gnu.org>
parents:
diff changeset
720 @item q
Dave Love <fx@gnu.org>
parents:
diff changeset
721 Terminates this Ediff session. With a prefix argument (e.g.,@kbd{1q}), asks
Dave Love <fx@gnu.org>
parents:
diff changeset
722 if you also want to delete the buffers of the variants.
Dave Love <fx@gnu.org>
parents:
diff changeset
723 Modified files and the results of merges are never deleted.
Dave Love <fx@gnu.org>
parents:
diff changeset
724
Dave Love <fx@gnu.org>
parents:
diff changeset
725 @item %
Dave Love <fx@gnu.org>
parents:
diff changeset
726 Toggles narrowing in Ediff buffers. Ediff buffers may be narrowed if you
Dave Love <fx@gnu.org>
parents:
diff changeset
727 are comparing only parts of these buffers via the commands
Dave Love <fx@gnu.org>
parents:
diff changeset
728 @code{ediff-windows-*} and @code{ediff-regions-*}, which see.
Dave Love <fx@gnu.org>
parents:
diff changeset
729
Dave Love <fx@gnu.org>
parents:
diff changeset
730 @item C-l
Dave Love <fx@gnu.org>
parents:
diff changeset
731 Restores the usual Ediff window setup. This is the quickest way to resume
Dave Love <fx@gnu.org>
parents:
diff changeset
732 an Ediff session, but it works only if the control panel of that session is
Dave Love <fx@gnu.org>
parents:
diff changeset
733 visible.
Dave Love <fx@gnu.org>
parents:
diff changeset
734
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
735 @item $$
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
736 While merging with an ancestor file, Ediff is determined to reduce user's
Dave Love <fx@gnu.org>
parents:
diff changeset
737 wear and tear by saving him and her much of unproductive, repetitive
Dave Love <fx@gnu.org>
parents:
diff changeset
738 typing. If it notices that, say, file A's difference region is identical to
Dave Love <fx@gnu.org>
parents:
diff changeset
739 the same difference region in the ancestor file, then the merge buffer will
Dave Love <fx@gnu.org>
parents:
diff changeset
740 automatically get the difference region taken from buffer B. The rationale
Dave Love <fx@gnu.org>
parents:
diff changeset
741 is that this difference region in buffer A is as old as that in the
Dave Love <fx@gnu.org>
parents:
diff changeset
742 ancestor buffer, so the contents of that region in buffer B represents real
Dave Love <fx@gnu.org>
parents:
diff changeset
743 change.
Dave Love <fx@gnu.org>
parents:
diff changeset
744
Dave Love <fx@gnu.org>
parents:
diff changeset
745 You may want to ignore such `obvious' merges and concentrate on difference
Dave Love <fx@gnu.org>
parents:
diff changeset
746 regions where both files `clash' with the ancestor, since this means that
Dave Love <fx@gnu.org>
parents:
diff changeset
747 two different people have been changing this region independently and they
Dave Love <fx@gnu.org>
parents:
diff changeset
748 had different ideas on how to do this.
Dave Love <fx@gnu.org>
parents:
diff changeset
749
Dave Love <fx@gnu.org>
parents:
diff changeset
750 The above command does this for you by skipping the regions where only one
Dave Love <fx@gnu.org>
parents:
diff changeset
751 of the variants clashes with the ancestor but the other variant agrees with
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
752 it. Typing @kbd{$$} again undoes this setting.
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
753
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
754 @item $*
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
755 When merging files with large number of differences, it is sometimes
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
756 convenient to be able to skip the difference regions for which you already
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
757 decided which variant is most appropriate. Typing @kbd{$*} will accomplish
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
758 precisely this.
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
759
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
760 To be more precise, this toggles the check for whether the current merge is
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
761 identical to its default setting, as originally decided by Ediff. For
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
762 instance, if Ediff is merging according to the `combined' policy, then the
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
763 merge region is skipped over if it is different from the combination of the
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
764 regions in buffers A and B. (Warning: swapping buffers A and B will confuse
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
765 things in this respect). If the merge region is marked as `prefer-A' then
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
766 this region will be skipped if it differs from the current difference
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
767 region in buffer A, etc.
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
768
Dave Love <fx@gnu.org>
parents:
diff changeset
769 @item /
Dave Love <fx@gnu.org>
parents:
diff changeset
770 Displays the ancestor file during merges.
Dave Love <fx@gnu.org>
parents:
diff changeset
771 @item &
Dave Love <fx@gnu.org>
parents:
diff changeset
772 In some situations, such as when one of the files agrees with the ancestor file
Dave Love <fx@gnu.org>
parents:
diff changeset
773 on a difference region and the other doesn't, Ediff knows what to do: it copies
Dave Love <fx@gnu.org>
parents:
diff changeset
774 the current difference region from the second buffer into the merge buffer.
Dave Love <fx@gnu.org>
parents:
diff changeset
775
Dave Love <fx@gnu.org>
parents:
diff changeset
776 In other cases, the right course of action is not that clearcut, and Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
777 would use a default action. The above command changes the default action.
Dave Love <fx@gnu.org>
parents:
diff changeset
778 The default action can be @samp{default-A} (choose the region from buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
779 A), @samp{default-B} (choose the region from buffer B), or @samp{combined}
Dave Love <fx@gnu.org>
parents:
diff changeset
780 (combine the regions from the two buffers).
Dave Love <fx@gnu.org>
parents:
diff changeset
781 @xref{Merging and diff3}, for further details.
Dave Love <fx@gnu.org>
parents:
diff changeset
782
Dave Love <fx@gnu.org>
parents:
diff changeset
783 The command @kbd{&} also affects the regions in the merge buffers that have
Dave Love <fx@gnu.org>
parents:
diff changeset
784 @samp{default-A}, @samp{default-B}, or @samp{combined} status, provided
Dave Love <fx@gnu.org>
parents:
diff changeset
785 they weren't changed with respect to the original. For instance, if such a
Dave Love <fx@gnu.org>
parents:
diff changeset
786 region has the status @samp{default-A} then changing the default action to
Dave Love <fx@gnu.org>
parents:
diff changeset
787 @samp{default-B} will also replace this merge-buffer's region with the
Dave Love <fx@gnu.org>
parents:
diff changeset
788 corresponding region from buffer B.
Dave Love <fx@gnu.org>
parents:
diff changeset
789
Dave Love <fx@gnu.org>
parents:
diff changeset
790 @item s
Dave Love <fx@gnu.org>
parents:
diff changeset
791 Causes the merge window shrink to its minimum size, thereby exposing as much
Dave Love <fx@gnu.org>
parents:
diff changeset
792 of the variant buffers as possible. Typing `s' again restores
Dave Love <fx@gnu.org>
parents:
diff changeset
793 the original size of that window.
Dave Love <fx@gnu.org>
parents:
diff changeset
794
Dave Love <fx@gnu.org>
parents:
diff changeset
795 With a positive prefix argument, this command enlarges the merge window.
Dave Love <fx@gnu.org>
parents:
diff changeset
796 E.g., @kbd{4s} increases the size of the window by about 4 lines, if
Dave Love <fx@gnu.org>
parents:
diff changeset
797 possible. With a negative numeric argument, the size of the merge window
Dave Love <fx@gnu.org>
parents:
diff changeset
798 shrinks by that many lines, if possible. Thus, @kbd{-s} shrinks the window
Dave Love <fx@gnu.org>
parents:
diff changeset
799 by about 1 line and @kbd{-3s} by about 3 lines.
Dave Love <fx@gnu.org>
parents:
diff changeset
800
Dave Love <fx@gnu.org>
parents:
diff changeset
801 This command is intended only for temporary viewing; therefore, Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
802 restores window C to its original size whenever it makes any other change
Dave Love <fx@gnu.org>
parents:
diff changeset
803 in the window configuration. However, redisplaying (@kbd{C-l}) or jumping
Dave Love <fx@gnu.org>
parents:
diff changeset
804 to another difference does not affect window C's size.
Dave Love <fx@gnu.org>
parents:
diff changeset
805
Dave Love <fx@gnu.org>
parents:
diff changeset
806 The split between the merge window and the variant windows is controlled by
Dave Love <fx@gnu.org>
parents:
diff changeset
807 the variable @code{ediff-merge-window-share}, which see.
Dave Love <fx@gnu.org>
parents:
diff changeset
808
Dave Love <fx@gnu.org>
parents:
diff changeset
809 @item +
Dave Love <fx@gnu.org>
parents:
diff changeset
810 Combines the difference regions from buffers A and B and copies the
Dave Love <fx@gnu.org>
parents:
diff changeset
811 result into the merge buffer. @xref{Merging and diff3}, and the
Dave Love <fx@gnu.org>
parents:
diff changeset
812 variables @code{ediff-combine-diffs} and @code{ediff-combination-pattern}.
Dave Love <fx@gnu.org>
parents:
diff changeset
813
Dave Love <fx@gnu.org>
parents:
diff changeset
814
Dave Love <fx@gnu.org>
parents:
diff changeset
815 @item =
Dave Love <fx@gnu.org>
parents:
diff changeset
816 You may run into situations when a large chunk of text in one file has been
Dave Love <fx@gnu.org>
parents:
diff changeset
817 edited and then moved to a different place in another file. In such a case,
Dave Love <fx@gnu.org>
parents:
diff changeset
818 these two chunks of text are unlikely to belong to the same difference
Dave Love <fx@gnu.org>
parents:
diff changeset
819 region, so the refinement feature of Ediff will not be able to tell you
Dave Love <fx@gnu.org>
parents:
diff changeset
820 what exactly differs inside these chunks. Since eyeballing large pieces of
Dave Love <fx@gnu.org>
parents:
diff changeset
821 text is contrary to human nature, Ediff has a special command to help
Dave Love <fx@gnu.org>
parents:
diff changeset
822 reduce the risk of developing a cataract.
Dave Love <fx@gnu.org>
parents:
diff changeset
823
Dave Love <fx@gnu.org>
parents:
diff changeset
824 The above command compares regions within Ediff buffers. This creates a
Dave Love <fx@gnu.org>
parents:
diff changeset
825 child Ediff session for comparing current Emacs regions in buffers A, B, or
Dave Love <fx@gnu.org>
parents:
diff changeset
826 C as follows:
Dave Love <fx@gnu.org>
parents:
diff changeset
827
Dave Love <fx@gnu.org>
parents:
diff changeset
828 @emph{If you are comparing 2 files or buffers:}
Dave Love <fx@gnu.org>
parents:
diff changeset
829 Ediff would compare current Emacs regions in buffers A and B.
Dave Love <fx@gnu.org>
parents:
diff changeset
830
Dave Love <fx@gnu.org>
parents:
diff changeset
831 @emph{If you are comparing 3 files or buffers simultaneously:} Ediff would
Dave Love <fx@gnu.org>
parents:
diff changeset
832 compare the current Emacs regions in the buffers of your choice (you will
Dave Love <fx@gnu.org>
parents:
diff changeset
833 be asked which two of the three buffers to use).
Dave Love <fx@gnu.org>
parents:
diff changeset
834
Dave Love <fx@gnu.org>
parents:
diff changeset
835 @emph{If you are merging files or buffers (with or without ancestor):}
Dave Love <fx@gnu.org>
parents:
diff changeset
836 Ediff would take the current region in the merge buffer and compare
Dave Love <fx@gnu.org>
parents:
diff changeset
837 it to the current region in the buffer of your choice (A or B).
Dave Love <fx@gnu.org>
parents:
diff changeset
838
Dave Love <fx@gnu.org>
parents:
diff changeset
839 Highlighting set by the parent Ediff session is removed, to avoid interference
Dave Love <fx@gnu.org>
parents:
diff changeset
840 with highlighting of the child session. When done with the child session, type
Dave Love <fx@gnu.org>
parents:
diff changeset
841 @kbd{C-l} in the parent's control panel to restore the original highlighting.
Dave Love <fx@gnu.org>
parents:
diff changeset
842
Dave Love <fx@gnu.org>
parents:
diff changeset
843 If you temporarily switch to the parent session, parent highlighting will be
Dave Love <fx@gnu.org>
parents:
diff changeset
844 restored. If you then come back to the child session, you may want to remove
Dave Love <fx@gnu.org>
parents:
diff changeset
845 parent highlighting, so it won't interfere. Typing @kbd{h} may help here.
Dave Love <fx@gnu.org>
parents:
diff changeset
846
Dave Love <fx@gnu.org>
parents:
diff changeset
847 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
848
Dave Love <fx@gnu.org>
parents:
diff changeset
849 @node Other Session Commands,,Quick Help Commands,Session Commands
Dave Love <fx@gnu.org>
parents:
diff changeset
850 @section Other Session Commands
Dave Love <fx@gnu.org>
parents:
diff changeset
851
Dave Love <fx@gnu.org>
parents:
diff changeset
852 The following commands can be invoked from within any Ediff session,
Dave Love <fx@gnu.org>
parents:
diff changeset
853 although some of them are not bound to a key.
Dave Love <fx@gnu.org>
parents:
diff changeset
854
Dave Love <fx@gnu.org>
parents:
diff changeset
855 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
856 @item eregistry
Dave Love <fx@gnu.org>
parents:
diff changeset
857 @itemx ediff-show-registry
Dave Love <fx@gnu.org>
parents:
diff changeset
858 @findex eregistry
Dave Love <fx@gnu.org>
parents:
diff changeset
859 @findex ediff-show-registry
Dave Love <fx@gnu.org>
parents:
diff changeset
860 This command brings up the registry of active Ediff sessions. Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
861 registry is a device that can be used to resume any active Ediff session
Dave Love <fx@gnu.org>
parents:
diff changeset
862 (which may have been postponed because the user switched to some other
Dave Love <fx@gnu.org>
parents:
diff changeset
863 activity). This command is also useful for switching between multiple
Dave Love <fx@gnu.org>
parents:
diff changeset
864 active Ediff sessions that are run at the same time. The function
Dave Love <fx@gnu.org>
parents:
diff changeset
865 @code{eregistry} is an alias for @code{ediff-show-registry}.
Dave Love <fx@gnu.org>
parents:
diff changeset
866 @xref{Registry of Ediff Sessions}, for more information on this registry.
Dave Love <fx@gnu.org>
parents:
diff changeset
867
Dave Love <fx@gnu.org>
parents:
diff changeset
868 @item ediff-toggle-multiframe
Dave Love <fx@gnu.org>
parents:
diff changeset
869 @findex ediff-toggle-multiframe
Dave Love <fx@gnu.org>
parents:
diff changeset
870 Changes the display from the multi-frame mode (where the quick help window
Dave Love <fx@gnu.org>
parents:
diff changeset
871 is in a separate frame) to the single-frame mode (where all Ediff buffers
Dave Love <fx@gnu.org>
parents:
diff changeset
872 share the same frame), and vice versa. See
Dave Love <fx@gnu.org>
parents:
diff changeset
873 @code{ediff-window-setup-function} for details on how to make either of
Dave Love <fx@gnu.org>
parents:
diff changeset
874 these modes the default one.
Dave Love <fx@gnu.org>
parents:
diff changeset
875
Dave Love <fx@gnu.org>
parents:
diff changeset
876 This function can also be invoked from the Menubar. However, in some
Dave Love <fx@gnu.org>
parents:
diff changeset
877 cases, the change will take place only after you execute one of the Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
878 commands, such as going to the next difference or redisplaying.
Dave Love <fx@gnu.org>
parents:
diff changeset
879
Dave Love <fx@gnu.org>
parents:
diff changeset
880 @item ediff-revert-buffers-then-recompute-diffs
Dave Love <fx@gnu.org>
parents:
diff changeset
881 @findex ediff-revert-buffers-then-recompute-diffs
Dave Love <fx@gnu.org>
parents:
diff changeset
882 This command reverts the buffers you are comparing and recomputes their
Dave Love <fx@gnu.org>
parents:
diff changeset
883 differences. It is useful when, after making changes, you decided to
Dave Love <fx@gnu.org>
parents:
diff changeset
884 make a fresh start, or if at some point you changed the files being
Dave Love <fx@gnu.org>
parents:
diff changeset
885 compared but want to discard any changes to comparison buffers that were
Dave Love <fx@gnu.org>
parents:
diff changeset
886 done since then.
Dave Love <fx@gnu.org>
parents:
diff changeset
887
Dave Love <fx@gnu.org>
parents:
diff changeset
888 This command normally asks for confirmation before reverting files.
Dave Love <fx@gnu.org>
parents:
diff changeset
889 With a prefix argument, it reverts files without asking.
Dave Love <fx@gnu.org>
parents:
diff changeset
890
Dave Love <fx@gnu.org>
parents:
diff changeset
891
Dave Love <fx@gnu.org>
parents:
diff changeset
892 @item ediff-profile
Dave Love <fx@gnu.org>
parents:
diff changeset
893 @findex ediff-profile
Dave Love <fx@gnu.org>
parents:
diff changeset
894 Ediff has an admittedly primitive (but useful) facility for profiling
Dave Love <fx@gnu.org>
parents:
diff changeset
895 Ediff's commands. It is meant for Ediff maintenance---specifically, for
Dave Love <fx@gnu.org>
parents:
diff changeset
896 making it run faster. The function @code{ediff-profile} toggles
Dave Love <fx@gnu.org>
parents:
diff changeset
897 profiling of ediff commands.
Dave Love <fx@gnu.org>
parents:
diff changeset
898 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
899
Dave Love <fx@gnu.org>
parents:
diff changeset
900 @node Registry of Ediff Sessions, Session Groups, Session Commands, Top
Dave Love <fx@gnu.org>
parents:
diff changeset
901 @chapter Registry of Ediff Sessions
Dave Love <fx@gnu.org>
parents:
diff changeset
902
Dave Love <fx@gnu.org>
parents:
diff changeset
903 Ediff maintains a registry of all its invocations that are
Dave Love <fx@gnu.org>
parents:
diff changeset
904 still @emph{active}. This feature is very convenient for switching among
Dave Love <fx@gnu.org>
parents:
diff changeset
905 active Ediff sessions or for quickly restarting a suspended Ediff session.
Dave Love <fx@gnu.org>
parents:
diff changeset
906
Dave Love <fx@gnu.org>
parents:
diff changeset
907 The focal point of this activity is a buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
908 called @emph{*Ediff Registry*}. You can display this buffer by typing
Dave Love <fx@gnu.org>
parents:
diff changeset
909 @kbd{R} in any Ediff Control Buffer or Session Group Buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
910 (@pxref{Session Groups}), or by typing
Dave Love <fx@gnu.org>
parents:
diff changeset
911 @kbd{M-x eregistry} into the Minibuffer.
Dave Love <fx@gnu.org>
parents:
diff changeset
912 The latter would be the fastest way to bring up the registry
Dave Love <fx@gnu.org>
parents:
diff changeset
913 buffer if no control or group buffer is displayed in any of the visible
Dave Love <fx@gnu.org>
parents:
diff changeset
914 Emacs windows.
Dave Love <fx@gnu.org>
parents:
diff changeset
915 If you are in a habit of running multiple long Ediff sessions and often need to
Dave Love <fx@gnu.org>
parents:
diff changeset
916 suspend, resume, or switch between them, it may be a good idea to have the
Dave Love <fx@gnu.org>
parents:
diff changeset
917 registry buffer permanently displayed in a separate, dedicated window.
Dave Love <fx@gnu.org>
parents:
diff changeset
918
Dave Love <fx@gnu.org>
parents:
diff changeset
919 The registry buffer has several convenient key bindings.
Dave Love <fx@gnu.org>
parents:
diff changeset
920 For instance, clicking mouse button 2 or typing
Dave Love <fx@gnu.org>
parents:
diff changeset
921 @kbd{RET} or @kbd{v} over any session record resumes that session.
Dave Love <fx@gnu.org>
parents:
diff changeset
922 Session records in the registry buffer provide a fairly complete
Dave Love <fx@gnu.org>
parents:
diff changeset
923 description of each session, so it is usually easy to identify the right
Dave Love <fx@gnu.org>
parents:
diff changeset
924 session to resume.
Dave Love <fx@gnu.org>
parents:
diff changeset
925
Dave Love <fx@gnu.org>
parents:
diff changeset
926 Other useful commands are bound to @kbd{SPC} (next registry record)
Dave Love <fx@gnu.org>
parents:
diff changeset
927 and @kbd{DEL} (previous registry record). There are other commands as well,
Dave Love <fx@gnu.org>
parents:
diff changeset
928 but you don't need to memorize them, since they are listed at the top of
Dave Love <fx@gnu.org>
parents:
diff changeset
929 the registry buffer.
Dave Love <fx@gnu.org>
parents:
diff changeset
930
Dave Love <fx@gnu.org>
parents:
diff changeset
931 @node Session Groups, Remote and Compressed Files, Registry of Ediff Sessions, Top
Dave Love <fx@gnu.org>
parents:
diff changeset
932 @chapter Session Groups
Dave Love <fx@gnu.org>
parents:
diff changeset
933
Dave Love <fx@gnu.org>
parents:
diff changeset
934 Several major entries of Ediff perform comparison and merging on
Dave Love <fx@gnu.org>
parents:
diff changeset
935 directories. On entering @code{ediff-directories},
Dave Love <fx@gnu.org>
parents:
diff changeset
936 @code{ediff-directories3},
Dave Love <fx@gnu.org>
parents:
diff changeset
937 @code{ediff-merge-directories},
Dave Love <fx@gnu.org>
parents:
diff changeset
938 @code{ediff-merge-directories-with-ancestor},
Dave Love <fx@gnu.org>
parents:
diff changeset
939 @code{ediff-directory-revisions},
Dave Love <fx@gnu.org>
parents:
diff changeset
940 @code{ediff-merge-directory-revisions}, or
Dave Love <fx@gnu.org>
parents:
diff changeset
941 @code{ediff-merge-directory-revisions-with-ancestor},
Dave Love <fx@gnu.org>
parents:
diff changeset
942 the user is presented with a
Dave Love <fx@gnu.org>
parents:
diff changeset
943 Dired-like buffer that lists files common to the directories involved along
Dave Love <fx@gnu.org>
parents:
diff changeset
944 with their sizes. (The list of common files can be further filtered through
Dave Love <fx@gnu.org>
parents:
diff changeset
945 a regular expression, which the user is prompted for.) We call this buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
946 @emph{Session Group Panel} because all Ediff sessions associated with the
Dave Love <fx@gnu.org>
parents:
diff changeset
947 listed files will have this buffer as a common focal point.
Dave Love <fx@gnu.org>
parents:
diff changeset
948
Dave Love <fx@gnu.org>
parents:
diff changeset
949 Clicking button 2 or typing @kbd{RET} or @kbd{v} over a
Dave Love <fx@gnu.org>
parents:
diff changeset
950 record describing files invokes Ediff in the appropriate mode on these
Dave Love <fx@gnu.org>
parents:
diff changeset
951 files. You can come back to the session group buffer associated with a
Dave Love <fx@gnu.org>
parents:
diff changeset
952 particular invocation of Ediff by typing @kbd{M} in Ediff control buffer of
Dave Love <fx@gnu.org>
parents:
diff changeset
953 that invocation.
Dave Love <fx@gnu.org>
parents:
diff changeset
954
Dave Love <fx@gnu.org>
parents:
diff changeset
955 Many commands are available in the session group buffer; some are
Dave Love <fx@gnu.org>
parents:
diff changeset
956 applicable only to certain types of work. The relevant commands are always
Dave Love <fx@gnu.org>
parents:
diff changeset
957 listed at the top of each session group buffer, so there is no need to
Dave Love <fx@gnu.org>
parents:
diff changeset
958 memorize them.
Dave Love <fx@gnu.org>
parents:
diff changeset
959
Dave Love <fx@gnu.org>
parents:
diff changeset
960 In directory comparison or merging, a session group panel displays only the
Dave Love <fx@gnu.org>
parents:
diff changeset
961 files common to all directories involved. The differences are kept in a
Dave Love <fx@gnu.org>
parents:
diff changeset
962 separate buffer and are conveniently displayed by typing @kbd{D} to the
Dave Love <fx@gnu.org>
parents:
diff changeset
963 corresponding session group panel. Thus, as an added benefit, Ediff can be
Dave Love <fx@gnu.org>
parents:
diff changeset
964 used to compare the contents of up to three directories.
Dave Love <fx@gnu.org>
parents:
diff changeset
965
Dave Love <fx@gnu.org>
parents:
diff changeset
966 Session records in session group panels are also marked with @kbd{+}, for
Dave Love <fx@gnu.org>
parents:
diff changeset
967 active sessions, and with @kbd{-}, for finished sessions.
Dave Love <fx@gnu.org>
parents:
diff changeset
968
Dave Love <fx@gnu.org>
parents:
diff changeset
969 Sometimes, it is convenient to exclude certain sessions from a group.
Dave Love <fx@gnu.org>
parents:
diff changeset
970 Usually this happens when the user doesn't intend to run Ediff of certain
Dave Love <fx@gnu.org>
parents:
diff changeset
971 files in the group, and the corresponding session records just add clutter
Dave Love <fx@gnu.org>
parents:
diff changeset
972 to the session group buffer. To help alleviate this problem, the user can
Dave Love <fx@gnu.org>
parents:
diff changeset
973 type @kbd{h} to mark a session as a candidate for exclusion and @kbd{x} to
Dave Love <fx@gnu.org>
parents:
diff changeset
974 actually hide the marked sessions. There actions are reversible: with a
Dave Love <fx@gnu.org>
parents:
diff changeset
975 prefix argument, @kbd{h} unmarks the session under the cursor, and @kbd{x}
Dave Love <fx@gnu.org>
parents:
diff changeset
976 brings the hidden sessions into the view (@kbd{x} doesn't unmark them,
Dave Love <fx@gnu.org>
parents:
diff changeset
977 though, so the user has to explicitly unmark the sessions of interest).
Dave Love <fx@gnu.org>
parents:
diff changeset
978
Dave Love <fx@gnu.org>
parents:
diff changeset
979 Group sessions also understand the command @kbd{m}, which marks sessions
Dave Love <fx@gnu.org>
parents:
diff changeset
980 for future operations (other than hiding) on a group of sessions. At present,
Dave Love <fx@gnu.org>
parents:
diff changeset
981 the only such group-level operation is the creation of a multi-file patch.
Dave Love <fx@gnu.org>
parents:
diff changeset
982
Dave Love <fx@gnu.org>
parents:
diff changeset
983 @vindex ediff-autostore-merges
Dave Love <fx@gnu.org>
parents:
diff changeset
984 For group sessions created to merge files, Ediff can store all merges
Dave Love <fx@gnu.org>
parents:
diff changeset
985 automatically in a directory. The user is asked to specify such directory
Dave Love <fx@gnu.org>
parents:
diff changeset
986 if the value of @code{ediff-autostore-merges} is non-nil. If the value is
Dave Love <fx@gnu.org>
parents:
diff changeset
987 @code{nil}, nothing is done to the merge buffers---it will be the user's
Dave Love <fx@gnu.org>
parents:
diff changeset
988 responsibility to save them. If the value is @code{t}, the user will be
Dave Love <fx@gnu.org>
parents:
diff changeset
989 asked where to save the merge buffers in all merge jobs, even those that do
Dave Love <fx@gnu.org>
parents:
diff changeset
990 not originate from a session group. It the value is neither @code{nil} nor
Dave Love <fx@gnu.org>
parents:
diff changeset
991 @code{t}, the merge buffer is saved @emph{only} if this merge session was
Dave Love <fx@gnu.org>
parents:
diff changeset
992 invoked from a session group. This behavior is implemented in the function
Dave Love <fx@gnu.org>
parents:
diff changeset
993 @code{ediff-maybe-save-and-delete-merge}, which is a hook in
Dave Love <fx@gnu.org>
parents:
diff changeset
994 @code{ediff-quit-merge-hook}. The user can supply a different hook, if
Dave Love <fx@gnu.org>
parents:
diff changeset
995 necessary.
Dave Love <fx@gnu.org>
parents:
diff changeset
996
Dave Love <fx@gnu.org>
parents:
diff changeset
997 The variable @code{ediff-autostore-merges} is buffer-local, so it can be
29165
641e43bad886 2000-05-24 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 29107
diff changeset
998 set on a per-buffer basis. Therefore, use @code{setq-default} to change
641e43bad886 2000-05-24 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 29107
diff changeset
999 this variable globally.
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1000
Dave Love <fx@gnu.org>
parents:
diff changeset
1001 @cindex Multi-file patches
Dave Love <fx@gnu.org>
parents:
diff changeset
1002 A multi-file patch is a concatenated output of several runs of the Unix
33021
9fd41b036b84 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 33019
diff changeset
1003 @code{diff} command (some versions of @code{diff} let you create a
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1004 multi-file patch in just one run). Ediff facilitates creation of
Dave Love <fx@gnu.org>
parents:
diff changeset
1005 multi-file patches as follows. If you are in a session group buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
1006 created in response to @code{ediff-directories} or
Dave Love <fx@gnu.org>
parents:
diff changeset
1007 @code{ediff-directory-revisions}, you can mark (by typing @kbd{m}) the
Dave Love <fx@gnu.org>
parents:
diff changeset
1008 desired Ediff sessions and then type @kbd{P} to create a
Dave Love <fx@gnu.org>
parents:
diff changeset
1009 multi-file patch of those marked sessions.
Dave Love <fx@gnu.org>
parents:
diff changeset
1010 Ediff will then display a buffer containing the patch.
33021
9fd41b036b84 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 33019
diff changeset
1011 The patch is generated by invoking @code{diff} on all marked individual
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1012 sessions (represented by files) and session groups (represented by
Dave Love <fx@gnu.org>
parents:
diff changeset
1013 directories). Ediff will also recursively descend into any @emph{unmarked}
Dave Love <fx@gnu.org>
parents:
diff changeset
1014 session group and will search for marked sessions there. In this way, you
Dave Love <fx@gnu.org>
parents:
diff changeset
1015 can create multi-file patches that span file subtrees that grow out of
Dave Love <fx@gnu.org>
parents:
diff changeset
1016 any given directory.
Dave Love <fx@gnu.org>
parents:
diff changeset
1017
Dave Love <fx@gnu.org>
parents:
diff changeset
1018 In an @code{ediff-directories} session, it is enough to just mark the
Dave Love <fx@gnu.org>
parents:
diff changeset
1019 requisite sessions. In @code{ediff-directory-revisions} revisions, the
Dave Love <fx@gnu.org>
parents:
diff changeset
1020 marked sessions must also be active, or else Ediff will refuse to produce a
Dave Love <fx@gnu.org>
parents:
diff changeset
1021 multi-file patch. This is because, in the latter-style sessions, there are
Dave Love <fx@gnu.org>
parents:
diff changeset
1022 many ways to create diff output, and it is easier to handle by running
Dave Love <fx@gnu.org>
parents:
diff changeset
1023 Ediff on the inactive sessions.
Dave Love <fx@gnu.org>
parents:
diff changeset
1024
Dave Love <fx@gnu.org>
parents:
diff changeset
1025 Last, but not least, by typing @kbd{=}, you can quickly find out which
Dave Love <fx@gnu.org>
parents:
diff changeset
1026 sessions have identical files, so you won't have to run Ediff on those
Dave Love <fx@gnu.org>
parents:
diff changeset
1027 sessions. This, however, works only on local, uncompressed files.
Dave Love <fx@gnu.org>
parents:
diff changeset
1028 For compressed or remote files, this command won't report anything.
Dave Love <fx@gnu.org>
parents:
diff changeset
1029
Dave Love <fx@gnu.org>
parents:
diff changeset
1030
Dave Love <fx@gnu.org>
parents:
diff changeset
1031 @node Remote and Compressed Files, Customization, Session Groups, Top
Dave Love <fx@gnu.org>
parents:
diff changeset
1032 @chapter Remote and Compressed Files
Dave Love <fx@gnu.org>
parents:
diff changeset
1033
Dave Love <fx@gnu.org>
parents:
diff changeset
1034 Ediff works with remote, compressed, and encrypted files. Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
1035 supports @file{ange-ftp.el}, @file{jka-compr.el}, @file{uncompress.el}
Dave Love <fx@gnu.org>
parents:
diff changeset
1036 and @file{crypt++.el}, but it may work with other similar packages as
Dave Love <fx@gnu.org>
parents:
diff changeset
1037 well. This means that you can compare files residing on another
Dave Love <fx@gnu.org>
parents:
diff changeset
1038 machine, or you can apply a patch to a file on another machine. Even
Dave Love <fx@gnu.org>
parents:
diff changeset
1039 the patch itself can be a remote file!
Dave Love <fx@gnu.org>
parents:
diff changeset
1040
Dave Love <fx@gnu.org>
parents:
diff changeset
1041 When patching compressed or remote files, Ediff does not rename the source
Dave Love <fx@gnu.org>
parents:
diff changeset
1042 file (unlike what the @code{patch} utility would usually do). Instead, the
Dave Love <fx@gnu.org>
parents:
diff changeset
1043 source file retains its name and the result of applying the patch is placed
Dave Love <fx@gnu.org>
parents:
diff changeset
1044 in a temporary file that has the suffix @file{_patched} attached.
Dave Love <fx@gnu.org>
parents:
diff changeset
1045 Generally, this applies to files that are handled using black magic, such
Dave Love <fx@gnu.org>
parents:
diff changeset
1046 as special file handlers (ange-ftp and some compression and encryption
Dave Love <fx@gnu.org>
parents:
diff changeset
1047 packages also use this method).
Dave Love <fx@gnu.org>
parents:
diff changeset
1048
Dave Love <fx@gnu.org>
parents:
diff changeset
1049 Regular files are treated by the @code{patch} utility in the usual manner,
Dave Love <fx@gnu.org>
parents:
diff changeset
1050 i.e., the original is renamed into @file{source-name.orig} and the result
Dave Love <fx@gnu.org>
parents:
diff changeset
1051 of the patch is placed into the file source-name (@file{_orig} is used
Dave Love <fx@gnu.org>
parents:
diff changeset
1052 on systems like VMS, DOS, etc.)
Dave Love <fx@gnu.org>
parents:
diff changeset
1053
Dave Love <fx@gnu.org>
parents:
diff changeset
1054 @node Customization, Credits, Remote and Compressed Files, Top
Dave Love <fx@gnu.org>
parents:
diff changeset
1055 @chapter Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
1056
Dave Love <fx@gnu.org>
parents:
diff changeset
1057 Ediff has a rather self-explanatory interface, and in most cases you
Dave Love <fx@gnu.org>
parents:
diff changeset
1058 won't need to change anything. However, should the need arise, there are
Dave Love <fx@gnu.org>
parents:
diff changeset
1059 extensive facilities for changing the default behavior.
Dave Love <fx@gnu.org>
parents:
diff changeset
1060
Dave Love <fx@gnu.org>
parents:
diff changeset
1061 Most of the customization can be done by setting various variables in the
Dave Love <fx@gnu.org>
parents:
diff changeset
1062 @file{.emacs} file. Some customization (mostly window-related
Dave Love <fx@gnu.org>
parents:
diff changeset
1063 customization and faces) can be done by putting appropriate lines in
Dave Love <fx@gnu.org>
parents:
diff changeset
1064 @file{.Xdefaults}, @file{.xrdb}, or whatever X resource file is in use.
Dave Love <fx@gnu.org>
parents:
diff changeset
1065
Dave Love <fx@gnu.org>
parents:
diff changeset
1066 With respect to the latter, please note that the X resource
Dave Love <fx@gnu.org>
parents:
diff changeset
1067 for Ediff customization is `Ediff', @emph{not} `emacs'.
Dave Love <fx@gnu.org>
parents:
diff changeset
1068 @xref{Window and Frame Configuration},
Dave Love <fx@gnu.org>
parents:
diff changeset
1069 @xref{Highlighting Difference Regions}, for further details. Please also
Dave Love <fx@gnu.org>
parents:
diff changeset
1070 refer to Emacs manual for the information on how to set Emacs X resources.
Dave Love <fx@gnu.org>
parents:
diff changeset
1071
Dave Love <fx@gnu.org>
parents:
diff changeset
1072 @menu
Dave Love <fx@gnu.org>
parents:
diff changeset
1073 * Hooks:: Customization via the hooks.
Dave Love <fx@gnu.org>
parents:
diff changeset
1074 * Quick Help Customization:: How to customize Ediff's quick help feature.
Dave Love <fx@gnu.org>
parents:
diff changeset
1075 * Window and Frame Configuration:: Controlling the way Ediff displays things.
Dave Love <fx@gnu.org>
parents:
diff changeset
1076 * Selective Browsing:: Advanced browsing through difference regions.
Dave Love <fx@gnu.org>
parents:
diff changeset
1077 * Highlighting Difference Regions:: Controlling highlighting.
Dave Love <fx@gnu.org>
parents:
diff changeset
1078 * Narrowing:: Comparing regions, windows, etc.
Dave Love <fx@gnu.org>
parents:
diff changeset
1079 * Refinement of Difference Regions:: How to control the refinement process.
Dave Love <fx@gnu.org>
parents:
diff changeset
1080 * Patch and Diff Programs:: Changing the utilities that compute differences
Dave Love <fx@gnu.org>
parents:
diff changeset
1081 and apply patches.
Dave Love <fx@gnu.org>
parents:
diff changeset
1082 * Merging and diff3:: How to customize Ediff in its Merge Mode.
Dave Love <fx@gnu.org>
parents:
diff changeset
1083 * Support for Version Control:: Changing the version control package.
Dave Love <fx@gnu.org>
parents:
diff changeset
1084 You are not likely to do that.
Dave Love <fx@gnu.org>
parents:
diff changeset
1085 * Customizing the Mode Line:: Changing the look of the mode line in Ediff.
Dave Love <fx@gnu.org>
parents:
diff changeset
1086 * Miscellaneous:: Other customization.
Dave Love <fx@gnu.org>
parents:
diff changeset
1087 * Notes on Heavy-duty Customization:: Customization for the gurus.
Dave Love <fx@gnu.org>
parents:
diff changeset
1088 @end menu
Dave Love <fx@gnu.org>
parents:
diff changeset
1089
Dave Love <fx@gnu.org>
parents:
diff changeset
1090 @node Hooks, Quick Help Customization, Customization, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
1091 @section Hooks
Dave Love <fx@gnu.org>
parents:
diff changeset
1092
Dave Love <fx@gnu.org>
parents:
diff changeset
1093 The bulk of customization can be done via the following hooks:
Dave Love <fx@gnu.org>
parents:
diff changeset
1094
Dave Love <fx@gnu.org>
parents:
diff changeset
1095 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
1096 @item ediff-load-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1097 @vindex ediff-load-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1098 This hook can be used to change defaults after Ediff is loaded.
Dave Love <fx@gnu.org>
parents:
diff changeset
1099
33019
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1100 @item ediff-before-setup-hook
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1101 @vindex ediff-before-setup-hook
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1102 Hook that is run just before Ediff rearranges windows to its liking.
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1103 Can be used to save windows configuration.
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1104
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1105 @item ediff-keymap-setup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1106 @vindex ediff-keymap-setup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1107 @vindex ediff-mode-map
Dave Love <fx@gnu.org>
parents:
diff changeset
1108 This hook can be used to alter bindings in Ediff's keymap,
Dave Love <fx@gnu.org>
parents:
diff changeset
1109 @code{ediff-mode-map}. These hooks are
Dave Love <fx@gnu.org>
parents:
diff changeset
1110 run right after the default bindings are set but before
Dave Love <fx@gnu.org>
parents:
diff changeset
1111 @code{ediff-load-hook}. The regular user needs not be concerned with this
Dave Love <fx@gnu.org>
parents:
diff changeset
1112 hook---it is provided for implementors of other Emacs packages built on top
Dave Love <fx@gnu.org>
parents:
diff changeset
1113 of Ediff.
Dave Love <fx@gnu.org>
parents:
diff changeset
1114
Dave Love <fx@gnu.org>
parents:
diff changeset
1115 @item ediff-before-setup-windows-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1116 @itemx ediff-after-setup-windows-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1117 @vindex ediff-before-setup-windows-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1118 @vindex ediff-after-setup-windows-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1119 These two hooks are called before and after Ediff sets up its window
33019
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1120 configuration. These hooks are run each time Ediff rearranges windows to
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1121 its liking. This happens whenever it detects that the user changed the
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1122 windows setup.
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1123
Dave Love <fx@gnu.org>
parents:
diff changeset
1124 @item ediff-suspend-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1125 @itemx ediff-quit-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1126 @vindex ediff-suspend-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1127 @vindex ediff-quit-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1128 These two hooks are run when you suspend or quit Ediff. They can be
Dave Love <fx@gnu.org>
parents:
diff changeset
1129 used to set desired window configurations, delete files Ediff didn't
Dave Love <fx@gnu.org>
parents:
diff changeset
1130 want to clean up after exiting, etc.
Dave Love <fx@gnu.org>
parents:
diff changeset
1131
Dave Love <fx@gnu.org>
parents:
diff changeset
1132 By default, @code{ediff-quit-hook} holds one hook function,
Dave Love <fx@gnu.org>
parents:
diff changeset
1133 @code{ediff-cleanup-mess}, which cleans after Ediff, as appropriate in
Dave Love <fx@gnu.org>
parents:
diff changeset
1134 most cases. You probably won't want to change it, but you might
Dave Love <fx@gnu.org>
parents:
diff changeset
1135 want to add other hook functions.
Dave Love <fx@gnu.org>
parents:
diff changeset
1136
Dave Love <fx@gnu.org>
parents:
diff changeset
1137 Keep in mind that hooks executing before @code{ediff-cleanup-mess} start
Dave Love <fx@gnu.org>
parents:
diff changeset
1138 in @code{ediff-control-buffer;} they should also leave
Dave Love <fx@gnu.org>
parents:
diff changeset
1139 @code{ediff-control-buffer} as the current buffer when they finish.
Dave Love <fx@gnu.org>
parents:
diff changeset
1140 Hooks that are executed after @code{ediff-cleanup-mess} should expect
Dave Love <fx@gnu.org>
parents:
diff changeset
1141 the current buffer be either buffer A or buffer B.
Dave Love <fx@gnu.org>
parents:
diff changeset
1142 @code{ediff-cleanup-mess} doesn't kill the buffers being compared or
Dave Love <fx@gnu.org>
parents:
diff changeset
1143 merged (see @code{ediff-cleanup-hook}, below).
Dave Love <fx@gnu.org>
parents:
diff changeset
1144
Dave Love <fx@gnu.org>
parents:
diff changeset
1145 @item ediff-cleanup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1146 @vindex ediff-cleanup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1147 This hook is run just before @code{ediff-quit-hook}. This is a good
Dave Love <fx@gnu.org>
parents:
diff changeset
1148 place to do various cleanups, such as deleting the variant buffers.
Dave Love <fx@gnu.org>
parents:
diff changeset
1149 Ediff provides a function, @code{ediff-janitor}, as one such possible
Dave Love <fx@gnu.org>
parents:
diff changeset
1150 hook, which you can add to @code{ediff-cleanup-hook} with
Dave Love <fx@gnu.org>
parents:
diff changeset
1151 @code{add-hooks}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1152
Dave Love <fx@gnu.org>
parents:
diff changeset
1153 @findex ediff-janitor
Dave Love <fx@gnu.org>
parents:
diff changeset
1154 This function kills buffers A, B, and, possibly, C, if these buffers aren't
Dave Love <fx@gnu.org>
parents:
diff changeset
1155 modified. In merge jobs, buffer C is never deleted. However, the side
Dave Love <fx@gnu.org>
parents:
diff changeset
1156 effect of using this function is that you may not be able to compare the
Dave Love <fx@gnu.org>
parents:
diff changeset
1157 same buffer in two separate Ediff sessions: quitting one of them will
Dave Love <fx@gnu.org>
parents:
diff changeset
1158 delete this buffer in another session as well.
Dave Love <fx@gnu.org>
parents:
diff changeset
1159
Dave Love <fx@gnu.org>
parents:
diff changeset
1160 @item ediff-quit-merge-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1161 @vindex ediff-quit-merge-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1162 @vindex ediff-autostore-merges
Dave Love <fx@gnu.org>
parents:
diff changeset
1163 @findex ediff-maybe-save-and-delete-merge
Dave Love <fx@gnu.org>
parents:
diff changeset
1164 This hook is called when Ediff quits a merge job. By default, the value is
Dave Love <fx@gnu.org>
parents:
diff changeset
1165 @code{ediff-maybe-save-and-delete-merge}, which is a function that attempts
Dave Love <fx@gnu.org>
parents:
diff changeset
1166 to save the merge buffer according to the value of
Dave Love <fx@gnu.org>
parents:
diff changeset
1167 @code{ediff-autostore-merges}, as described later.
Dave Love <fx@gnu.org>
parents:
diff changeset
1168
Dave Love <fx@gnu.org>
parents:
diff changeset
1169 @item ediff-before-setup-control-frame-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1170 @itemx ediff-after-setup-control-frame-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1171 @vindex ediff-before-setup-control-frame-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1172 @vindex ediff-after-setup-control-frame-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1173 These two hooks run before and after Ediff sets up the control frame.
Dave Love <fx@gnu.org>
parents:
diff changeset
1174 They can be used to relocate Ediff control frame when Ediff runs in a
Dave Love <fx@gnu.org>
parents:
diff changeset
1175 multiframe mode (i.e., when the control buffer is in its own dedicated
Dave Love <fx@gnu.org>
parents:
diff changeset
1176 frame). Be aware that many variables that drive Ediff are local to
Dave Love <fx@gnu.org>
parents:
diff changeset
1177 Ediff Control Panel (@code{ediff-control-buffer}), which requires
Dave Love <fx@gnu.org>
parents:
diff changeset
1178 special care in writing these hooks. Take a look at
Dave Love <fx@gnu.org>
parents:
diff changeset
1179 @code{ediff-default-suspend-hook} and @code{ediff-default-quit-hook} to
Dave Love <fx@gnu.org>
parents:
diff changeset
1180 see what's involved.
Dave Love <fx@gnu.org>
parents:
diff changeset
1181
Dave Love <fx@gnu.org>
parents:
diff changeset
1182 @item ediff-startup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1183 @vindex ediff-startup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1184 This hook is run at the end of Ediff startup.
Dave Love <fx@gnu.org>
parents:
diff changeset
1185
Dave Love <fx@gnu.org>
parents:
diff changeset
1186 @item ediff-select-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1187 @vindex ediff-select-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1188 This hook is run after Ediff selects the next difference region.
Dave Love <fx@gnu.org>
parents:
diff changeset
1189
Dave Love <fx@gnu.org>
parents:
diff changeset
1190 @item ediff-unselect-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1191 @vindex ediff-unselect-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1192 This hook is run after Ediff unselects the current difference region.
Dave Love <fx@gnu.org>
parents:
diff changeset
1193
Dave Love <fx@gnu.org>
parents:
diff changeset
1194 @item ediff-prepare-buffer-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1195 @vindex ediff-prepare-buffer-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1196 This hook is run for each Ediff buffer (A, B, C) right after the buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
1197 is arranged.
Dave Love <fx@gnu.org>
parents:
diff changeset
1198
Dave Love <fx@gnu.org>
parents:
diff changeset
1199 @item ediff-display-help-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1200 @vindex ediff-display-help-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1201 Ediff runs this hook each time after setting up the help message. It
Dave Love <fx@gnu.org>
parents:
diff changeset
1202 can be used to alter the help message for custom packages that run on
Dave Love <fx@gnu.org>
parents:
diff changeset
1203 top of Ediff.
Dave Love <fx@gnu.org>
parents:
diff changeset
1204
Dave Love <fx@gnu.org>
parents:
diff changeset
1205 @item ediff-mode-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1206 @vindex ediff-mode-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1207 This hook is run just after Ediff mode is set up in the control
Dave Love <fx@gnu.org>
parents:
diff changeset
1208 buffer. This is done before any Ediff window is created. You can use it to
Dave Love <fx@gnu.org>
parents:
diff changeset
1209 set local variables that alter the look of the display.
Dave Love <fx@gnu.org>
parents:
diff changeset
1210
Dave Love <fx@gnu.org>
parents:
diff changeset
1211 @item ediff-registry-setup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1212 @vindex ediff-registry-setup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1213 Hooks run after setting up the registry for all active Ediff session.
Dave Love <fx@gnu.org>
parents:
diff changeset
1214 @xref{Session Groups}, for details.
33019
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1215 @item ediff-before-session-group-setup-hook
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1216 @vindex ediff-before-session-group-setup-hook
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1217 Hooks run before setting up a control panel for a group of related Ediff
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1218 sessions. Can be used, for example, to save window configuration to restore
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1219 later.
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1220 @item ediff-after-session-group-setup-hook
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
1221 @vindex ediff-after-session-group-setup-hook
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1222 Hooks run after setting up a control panel for a group of related Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
1223 sessions. @xref{Session Groups}, for details.
Dave Love <fx@gnu.org>
parents:
diff changeset
1224 @item ediff-quit-session-group-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1225 @vindex ediff-quit-session-group-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1226 Hooks run just before exiting a session group.
Dave Love <fx@gnu.org>
parents:
diff changeset
1227 @item ediff-meta-buffer-keymap-setup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1228 @vindex ediff-meta-buffer-keymap-setup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1229 @vindex ediff-meta-buffer-map
Dave Love <fx@gnu.org>
parents:
diff changeset
1230 Hooks run just after setting up the @code{ediff-meta-buffer-map} --- the
Dave Love <fx@gnu.org>
parents:
diff changeset
1231 map that controls key bindings in the meta buffer. Since
Dave Love <fx@gnu.org>
parents:
diff changeset
1232 @code{ediff-meta-buffer-map} is a local variable, you can set different
Dave Love <fx@gnu.org>
parents:
diff changeset
1233 bindings for different kinds of meta buffers.
Dave Love <fx@gnu.org>
parents:
diff changeset
1234 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
1235
Dave Love <fx@gnu.org>
parents:
diff changeset
1236 @node Quick Help Customization, Window and Frame Configuration, Hooks, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
1237 @section Quick Help Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
1238 @vindex ediff-use-long-help-message
Dave Love <fx@gnu.org>
parents:
diff changeset
1239 @vindex ediff-control-buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
1240 @vindex ediff-startup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
1241 @vindex ediff-help-message
Dave Love <fx@gnu.org>
parents:
diff changeset
1242
Dave Love <fx@gnu.org>
parents:
diff changeset
1243 Ediff provides quick help using its control panel window. Since this window
Dave Love <fx@gnu.org>
parents:
diff changeset
1244 takes a fair share of the screen real estate, you can toggle it off by
Dave Love <fx@gnu.org>
parents:
diff changeset
1245 typing @kbd{?}. The control window will then shrink to just one line and a
Dave Love <fx@gnu.org>
parents:
diff changeset
1246 mode line, displaying a short help message.
Dave Love <fx@gnu.org>
parents:
diff changeset
1247
Dave Love <fx@gnu.org>
parents:
diff changeset
1248 The variable @code{ediff-use-long-help-message} tells Ediff whether
Dave Love <fx@gnu.org>
parents:
diff changeset
1249 you use the short message or the long one. By default, it
Dave Love <fx@gnu.org>
parents:
diff changeset
1250 is set to @code{nil}, meaning that the short message is used.
Dave Love <fx@gnu.org>
parents:
diff changeset
1251 Set this to @code{t}, if you want Ediff to use the long
Dave Love <fx@gnu.org>
parents:
diff changeset
1252 message by default. This property can always be changed interactively, by
Dave Love <fx@gnu.org>
parents:
diff changeset
1253 typing @kbd{?} into Ediff Control Buffer.
Dave Love <fx@gnu.org>
parents:
diff changeset
1254
Dave Love <fx@gnu.org>
parents:
diff changeset
1255 If you want to change the appearance of the help message on a per-buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
1256 basis, you must use @code{ediff-startup-hook} to change the value of
Dave Love <fx@gnu.org>
parents:
diff changeset
1257 the variable @code{ediff-help-message}, which is local to
Dave Love <fx@gnu.org>
parents:
diff changeset
1258 @code{ediff-control-buffer}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1259
Dave Love <fx@gnu.org>
parents:
diff changeset
1260 @node Window and Frame Configuration, Selective Browsing, Quick Help Customization, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
1261 @section Window and Frame Configuration
Dave Love <fx@gnu.org>
parents:
diff changeset
1262
Dave Love <fx@gnu.org>
parents:
diff changeset
1263 On a non-windowing display, Ediff sets things up in one frame, splitting
Dave Love <fx@gnu.org>
parents:
diff changeset
1264 it between a small control window and the windows for buffers A, B, and C.
Dave Love <fx@gnu.org>
parents:
diff changeset
1265 The split between these windows can be horizontal or
Dave Love <fx@gnu.org>
parents:
diff changeset
1266 vertical, which can be changed interactively by typing @kbd{|} while the
Dave Love <fx@gnu.org>
parents:
diff changeset
1267 cursor is in the control window.
Dave Love <fx@gnu.org>
parents:
diff changeset
1268
Dave Love <fx@gnu.org>
parents:
diff changeset
1269 On a window display, Ediff sets up a dedicated frame for Ediff Control
Dave Love <fx@gnu.org>
parents:
diff changeset
1270 Panel and then it chooses windows as follows: If one of the buffers
Dave Love <fx@gnu.org>
parents:
diff changeset
1271 is invisible, it is displayed in the currently selected frame. If
Dave Love <fx@gnu.org>
parents:
diff changeset
1272 a buffer is visible, it is displayed in the frame where it is visible.
Dave Love <fx@gnu.org>
parents:
diff changeset
1273 If, according to the above criteria, the two buffers fall into the same
Dave Love <fx@gnu.org>
parents:
diff changeset
1274 frame, then so be it---the frame will be shared by the two. The same
Dave Love <fx@gnu.org>
parents:
diff changeset
1275 algorithm works when you type @kbd{C-l} (@code{ediff-recenter}), @kbd{p}
Dave Love <fx@gnu.org>
parents:
diff changeset
1276 (@code{ediff-previous-difference}), @kbd{n}
Dave Love <fx@gnu.org>
parents:
diff changeset
1277 (@code{ediff-next-difference}), etc.
Dave Love <fx@gnu.org>
parents:
diff changeset
1278
Dave Love <fx@gnu.org>
parents:
diff changeset
1279 The above behavior also depends on whether the current frame is splittable,
Dave Love <fx@gnu.org>
parents:
diff changeset
1280 dedicated, etc. Unfortunately, the margin of this book is too narrow to
Dave Love <fx@gnu.org>
parents:
diff changeset
1281 present the details of this remarkable algorithm.
Dave Love <fx@gnu.org>
parents:
diff changeset
1282
Dave Love <fx@gnu.org>
parents:
diff changeset
1283 The upshot of all this is that you can compare buffers in one frame or
Dave Love <fx@gnu.org>
parents:
diff changeset
1284 in different frames. The former is done by default, while the latter can
Dave Love <fx@gnu.org>
parents:
diff changeset
1285 be achieved by arranging buffers A, B (and C, if applicable) to be seen in
Dave Love <fx@gnu.org>
parents:
diff changeset
1286 different frames. Ediff respects these arrangements, automatically
Dave Love <fx@gnu.org>
parents:
diff changeset
1287 adapting itself to the multi-frame mode.
Dave Love <fx@gnu.org>
parents:
diff changeset
1288
Dave Love <fx@gnu.org>
parents:
diff changeset
1289 Ediff uses the following variables to set up its control panel
Dave Love <fx@gnu.org>
parents:
diff changeset
1290 (a.k.a.@: control buffer, a.k.a.@: quick help window):
Dave Love <fx@gnu.org>
parents:
diff changeset
1291
Dave Love <fx@gnu.org>
parents:
diff changeset
1292 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
1293 @item ediff-control-frame-parameters
Dave Love <fx@gnu.org>
parents:
diff changeset
1294 @vindex ediff-control-frame-parameters
Dave Love <fx@gnu.org>
parents:
diff changeset
1295 You can change or augment this variable including the font, color,
Dave Love <fx@gnu.org>
parents:
diff changeset
1296 etc. The X resource name of Ediff Control Panel frames is @samp{Ediff}. Under
Dave Love <fx@gnu.org>
parents:
diff changeset
1297 X-windows, you can use this name to set up preferences in your
Dave Love <fx@gnu.org>
parents:
diff changeset
1298 @file{~/.Xdefaults}, @file{~/.xrdb}, or whatever X resource file is in
Dave Love <fx@gnu.org>
parents:
diff changeset
1299 use. Usually this is preferable to changing
Dave Love <fx@gnu.org>
parents:
diff changeset
1300 @code{ediff-control-frame-parameters} directly. For instance, you can
Dave Love <fx@gnu.org>
parents:
diff changeset
1301 specify in @file{~/.Xdefaults} the color of the control frame
Dave Love <fx@gnu.org>
parents:
diff changeset
1302 using the resource @samp{Ediff*background}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1303
Dave Love <fx@gnu.org>
parents:
diff changeset
1304 In general, any X resource pertaining the control frame can be reached
Dave Love <fx@gnu.org>
parents:
diff changeset
1305 via the prefix @code{Ediff*}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1306
Dave Love <fx@gnu.org>
parents:
diff changeset
1307 @item ediff-control-frame-position-function
Dave Love <fx@gnu.org>
parents:
diff changeset
1308 @vindex ediff-control-frame-position-function
Dave Love <fx@gnu.org>
parents:
diff changeset
1309 The preferred way of specifying the position of the control frame is by
Dave Love <fx@gnu.org>
parents:
diff changeset
1310 setting the variable @code{ediff-control-frame-position-function} to an
Dave Love <fx@gnu.org>
parents:
diff changeset
1311 appropriate function.
Dave Love <fx@gnu.org>
parents:
diff changeset
1312 The default value of this variable is
Dave Love <fx@gnu.org>
parents:
diff changeset
1313 @code{ediff-make-frame-position}. This function places the control frame in
Dave Love <fx@gnu.org>
parents:
diff changeset
1314 the vicinity of the North-East corner of the frame displaying buffer A.
Dave Love <fx@gnu.org>
parents:
diff changeset
1315
Dave Love <fx@gnu.org>
parents:
diff changeset
1316 @findex ediff-make-frame-position
Dave Love <fx@gnu.org>
parents:
diff changeset
1317 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
1318
Dave Love <fx@gnu.org>
parents:
diff changeset
1319 The following variables can be used to adjust the location produced by
Dave Love <fx@gnu.org>
parents:
diff changeset
1320 @code{ediff-make-frame-position} and for related customization.
Dave Love <fx@gnu.org>
parents:
diff changeset
1321
Dave Love <fx@gnu.org>
parents:
diff changeset
1322 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
1323 @item ediff-narrow-control-frame-leftward-shift
Dave Love <fx@gnu.org>
parents:
diff changeset
1324 @vindex ediff-narrow-control-frame-leftward-shift
Dave Love <fx@gnu.org>
parents:
diff changeset
1325 Specifies the number of characters for shifting
Dave Love <fx@gnu.org>
parents:
diff changeset
1326 the control frame from the rightmost edge of frame A when the control
Dave Love <fx@gnu.org>
parents:
diff changeset
1327 frame is displayed as a small window.
Dave Love <fx@gnu.org>
parents:
diff changeset
1328
Dave Love <fx@gnu.org>
parents:
diff changeset
1329 @item ediff-wide-control-frame-rightward-shift
Dave Love <fx@gnu.org>
parents:
diff changeset
1330 @vindex ediff-wide-control-frame-rightward-shift
Dave Love <fx@gnu.org>
parents:
diff changeset
1331 Specifies the rightward shift of the control frame
Dave Love <fx@gnu.org>
parents:
diff changeset
1332 from the left edge of frame A when the control frame shows the full
Dave Love <fx@gnu.org>
parents:
diff changeset
1333 menu of options.
Dave Love <fx@gnu.org>
parents:
diff changeset
1334
Dave Love <fx@gnu.org>
parents:
diff changeset
1335 @item ediff-control-frame-upward-shift
Dave Love <fx@gnu.org>
parents:
diff changeset
1336 @vindex ediff-control-frame-upward-shift
Dave Love <fx@gnu.org>
parents:
diff changeset
1337 Specifies the number of pixels for the upward shift
Dave Love <fx@gnu.org>
parents:
diff changeset
1338 of the control frame.
Dave Love <fx@gnu.org>
parents:
diff changeset
1339
Dave Love <fx@gnu.org>
parents:
diff changeset
1340 @item ediff-prefer-iconified-control-frame
Dave Love <fx@gnu.org>
parents:
diff changeset
1341 @vindex ediff-prefer-iconified-control-frame
Dave Love <fx@gnu.org>
parents:
diff changeset
1342 If this variable is @code{t}, the control frame becomes iconified
Dave Love <fx@gnu.org>
parents:
diff changeset
1343 automatically when you toggle the quick help message off. This saves
Dave Love <fx@gnu.org>
parents:
diff changeset
1344 valuable real estate on the screen. Toggling help back will deiconify
Dave Love <fx@gnu.org>
parents:
diff changeset
1345 the control frame.
Dave Love <fx@gnu.org>
parents:
diff changeset
1346
Dave Love <fx@gnu.org>
parents:
diff changeset
1347 To start Ediff with an iconified Control Panel, you should set this
Dave Love <fx@gnu.org>
parents:
diff changeset
1348 variable to @code{t} and @code{ediff-prefer-long-help-message} to
Dave Love <fx@gnu.org>
parents:
diff changeset
1349 @code{nil} (@pxref{Quick Help Customization}). This behavior is useful
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
1350 only if icons are allowed to accept keybord input (which depend on the
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
1351 window manager and other factors).
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1352 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
1353
Dave Love <fx@gnu.org>
parents:
diff changeset
1354 @findex ediff-setup-windows
Dave Love <fx@gnu.org>
parents:
diff changeset
1355 To make more creative changes in the way Ediff sets up windows, you can
Dave Love <fx@gnu.org>
parents:
diff changeset
1356 rewrite the function @code{ediff-setup-windows}. However, we believe
Dave Love <fx@gnu.org>
parents:
diff changeset
1357 that detaching Ediff Control Panel from the rest and making it into a
Dave Love <fx@gnu.org>
parents:
diff changeset
1358 separate frame offers an important opportunity by allowing you to
Dave Love <fx@gnu.org>
parents:
diff changeset
1359 iconify that frame. The icon will usually accept all of the Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
1360 commands, but will free up valuable real estate on your screen (this may
Dave Love <fx@gnu.org>
parents:
diff changeset
1361 depend on your window manager, though).
Dave Love <fx@gnu.org>
parents:
diff changeset
1362
Dave Love <fx@gnu.org>
parents:
diff changeset
1363 The following variable controls how windows are set up:
Dave Love <fx@gnu.org>
parents:
diff changeset
1364
Dave Love <fx@gnu.org>
parents:
diff changeset
1365 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
1366 @item ediff-window-setup-function
Dave Love <fx@gnu.org>
parents:
diff changeset
1367 @vindex ediff-window-setup-function
Dave Love <fx@gnu.org>
parents:
diff changeset
1368 The multiframe setup is done by the
Dave Love <fx@gnu.org>
parents:
diff changeset
1369 @code{ediff-setup-windows-multiframe} function, which is the default on
Dave Love <fx@gnu.org>
parents:
diff changeset
1370 windowing displays. The plain setup, one where all windows are always
Dave Love <fx@gnu.org>
parents:
diff changeset
1371 in one frame, is done by @code{ediff-setup-windows-plain}, which is the
Dave Love <fx@gnu.org>
parents:
diff changeset
1372 default on a non-windowing display (or in an xterm window). In fact,
Dave Love <fx@gnu.org>
parents:
diff changeset
1373 under Emacs, you can switch freely between these two setups by executing
Dave Love <fx@gnu.org>
parents:
diff changeset
1374 the command @code{ediff-toggle-multiframe} using the Minibuffer of the
Dave Love <fx@gnu.org>
parents:
diff changeset
1375 Menubar.
Dave Love <fx@gnu.org>
parents:
diff changeset
1376 @findex ediff-setup-windows-multiframe
Dave Love <fx@gnu.org>
parents:
diff changeset
1377 @findex ediff-setup-windows-plain
Dave Love <fx@gnu.org>
parents:
diff changeset
1378 @findex ediff-toggle-multiframe
Dave Love <fx@gnu.org>
parents:
diff changeset
1379
Dave Love <fx@gnu.org>
parents:
diff changeset
1380 If you don't like any of these setups, write your own function. See the
Dave Love <fx@gnu.org>
parents:
diff changeset
1381 documentation for @code{ediff-window-setup-function} for the basic
Dave Love <fx@gnu.org>
parents:
diff changeset
1382 guidelines. However, writing window setups is not easy, so you should
Dave Love <fx@gnu.org>
parents:
diff changeset
1383 first take a close look at @code{ediff-setup-windows-plain} and
Dave Love <fx@gnu.org>
parents:
diff changeset
1384 @code{ediff-setup-windows-multiframe}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1385 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
1386
Dave Love <fx@gnu.org>
parents:
diff changeset
1387 You can run multiple Ediff sessions at once, by invoking Ediff several
Dave Love <fx@gnu.org>
parents:
diff changeset
1388 times without exiting previous Ediff sessions. Different sessions
Dave Love <fx@gnu.org>
parents:
diff changeset
1389 may even operate on the same pair of files.
Dave Love <fx@gnu.org>
parents:
diff changeset
1390
Dave Love <fx@gnu.org>
parents:
diff changeset
1391 Each session has its own Ediff Control Panel and all the regarding a
Dave Love <fx@gnu.org>
parents:
diff changeset
1392 particular session is local to the associated control panel buffer. You
Dave Love <fx@gnu.org>
parents:
diff changeset
1393 can switch between sessions by suspending one session and then switching
Dave Love <fx@gnu.org>
parents:
diff changeset
1394 to another control panel. (Different control panel buffers are
Dave Love <fx@gnu.org>
parents:
diff changeset
1395 distinguished by a numerical suffix, e.g., @samp{Ediff Control Panel<3>}.)
Dave Love <fx@gnu.org>
parents:
diff changeset
1396
Dave Love <fx@gnu.org>
parents:
diff changeset
1397 @node Selective Browsing, Highlighting Difference Regions, Window and Frame Configuration, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
1398 @section Selective Browsing
Dave Love <fx@gnu.org>
parents:
diff changeset
1399
Dave Love <fx@gnu.org>
parents:
diff changeset
1400 Sometimes it is convenient to be able to step through only some difference
Dave Love <fx@gnu.org>
parents:
diff changeset
1401 regions, those that match certain regular expressions, and to ignore all
Dave Love <fx@gnu.org>
parents:
diff changeset
1402 others. On other occasions, you may want to ignore difference regions that
Dave Love <fx@gnu.org>
parents:
diff changeset
1403 match some regular expressions, and to look only at the rest.
Dave Love <fx@gnu.org>
parents:
diff changeset
1404
Dave Love <fx@gnu.org>
parents:
diff changeset
1405 The commands @kbd{#f} and @kbd{#h} let you do precisely this.
Dave Love <fx@gnu.org>
parents:
diff changeset
1406
Dave Love <fx@gnu.org>
parents:
diff changeset
1407 Typing @kbd{#f} lets you specify regular expressions that match difference
Dave Love <fx@gnu.org>
parents:
diff changeset
1408 regions you want to focus on.
Dave Love <fx@gnu.org>
parents:
diff changeset
1409 We shall call these regular expressions @var{regexp-A}, @var{regexp-B} and
Dave Love <fx@gnu.org>
parents:
diff changeset
1410 @var{regexp-C}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1411 Ediff will then start stepping through only those difference regions
Dave Love <fx@gnu.org>
parents:
diff changeset
1412 where the region in buffer A matches @var{regexp-A} and/or the region in
Dave Love <fx@gnu.org>
parents:
diff changeset
1413 buffer B matches @var{regexp-B}, etc. Whether `and' or `or' will be used
Dave Love <fx@gnu.org>
parents:
diff changeset
1414 depends on how you respond to a question.
Dave Love <fx@gnu.org>
parents:
diff changeset
1415
Dave Love <fx@gnu.org>
parents:
diff changeset
1416 When scanning difference regions for the aforesaid regular expressions,
Dave Love <fx@gnu.org>
parents:
diff changeset
1417 Ediff narrows the buffers to those regions. This means that you can use
Dave Love <fx@gnu.org>
parents:
diff changeset
1418 the expressions @kbd{\`} and @kbd{\'} to tie search to the beginning or end
Dave Love <fx@gnu.org>
parents:
diff changeset
1419 of the difference regions.
Dave Love <fx@gnu.org>
parents:
diff changeset
1420
Dave Love <fx@gnu.org>
parents:
diff changeset
1421 On the other hand, typing @kbd{#h} lets you specify (hide) uninteresting
Dave Love <fx@gnu.org>
parents:
diff changeset
1422 regions. That is, if a difference region in buffer A matches
Dave Love <fx@gnu.org>
parents:
diff changeset
1423 @var{regexp-A}, the corresponding region in buffer B matches @var{regexp-B}
Dave Love <fx@gnu.org>
parents:
diff changeset
1424 and (if applicable) buffer C's region matches @var{regexp-C}, then the
Dave Love <fx@gnu.org>
parents:
diff changeset
1425 region will be ignored by the commands @kbd{n}/@key{SPC}
Dave Love <fx@gnu.org>
parents:
diff changeset
1426 (@code{ediff-next-difference}) and @kbd{p}/@key{DEL}
Dave Love <fx@gnu.org>
parents:
diff changeset
1427 (@code{ediff-previous-difference}) commands.
Dave Love <fx@gnu.org>
parents:
diff changeset
1428
Dave Love <fx@gnu.org>
parents:
diff changeset
1429 Typing @kbd{#f} and @kbd{#h} toggles selective browsing on and off.
Dave Love <fx@gnu.org>
parents:
diff changeset
1430
Dave Love <fx@gnu.org>
parents:
diff changeset
1431 Note that selective browsing affects only @code{ediff-next-difference}
Dave Love <fx@gnu.org>
parents:
diff changeset
1432 and @code{ediff-previous-difference}, i.e., the commands
Dave Love <fx@gnu.org>
parents:
diff changeset
1433 @kbd{n}/@key{SPC} and @kbd{p}/@key{DEL}. @kbd{#f} and @kbd{#h} do not
Dave Love <fx@gnu.org>
parents:
diff changeset
1434 change the position of the point in the buffers. And you can still jump
Dave Love <fx@gnu.org>
parents:
diff changeset
1435 directly (using @kbd{j}) to any numbered
Dave Love <fx@gnu.org>
parents:
diff changeset
1436 difference.
Dave Love <fx@gnu.org>
parents:
diff changeset
1437
Dave Love <fx@gnu.org>
parents:
diff changeset
1438 Users can supply their own functions to specify how Ediff should do
Dave Love <fx@gnu.org>
parents:
diff changeset
1439 selective browsing. To change the default Ediff function, add a function to
Dave Love <fx@gnu.org>
parents:
diff changeset
1440 @code{ediff-load-hook} which will do the following assignments:
Dave Love <fx@gnu.org>
parents:
diff changeset
1441
Dave Love <fx@gnu.org>
parents:
diff changeset
1442 @example
Dave Love <fx@gnu.org>
parents:
diff changeset
1443 (setq ediff-hide-regexp-matches-function 'your-hide-function)
Dave Love <fx@gnu.org>
parents:
diff changeset
1444 (setq ediff-focus-on-regexp-matches-function 'your-focus-function)
Dave Love <fx@gnu.org>
parents:
diff changeset
1445 @end example
Dave Love <fx@gnu.org>
parents:
diff changeset
1446
Dave Love <fx@gnu.org>
parents:
diff changeset
1447 @strong{Useful hint}: To specify a regexp that matches everything, don't
Dave Love <fx@gnu.org>
parents:
diff changeset
1448 simply type @key{RET} in response to a prompt. Typing @key{RET} tells Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
1449 to accept the default value, which may not be what you want. Instead, you
Dave Love <fx@gnu.org>
parents:
diff changeset
1450 should enter something like @key{^} or @key{$}. These match every
Dave Love <fx@gnu.org>
parents:
diff changeset
1451 line.
Dave Love <fx@gnu.org>
parents:
diff changeset
1452
Dave Love <fx@gnu.org>
parents:
diff changeset
1453 You can use the status command, @kbd{i}, to find out whether
Dave Love <fx@gnu.org>
parents:
diff changeset
1454 selective browsing is currently in effect.
Dave Love <fx@gnu.org>
parents:
diff changeset
1455
Dave Love <fx@gnu.org>
parents:
diff changeset
1456 The regular expressions you specified are kept in the local variables
Dave Love <fx@gnu.org>
parents:
diff changeset
1457 @code{ediff-regexp-focus-A}, @code{ediff-regexp-focus-B},
Dave Love <fx@gnu.org>
parents:
diff changeset
1458 @code{ediff-regexp-focus-C}, @code{ediff-regexp-hide-A},
Dave Love <fx@gnu.org>
parents:
diff changeset
1459 @code{ediff-regexp-hide-B}, @code{ediff-regexp-hide-C}. Their default value
Dave Love <fx@gnu.org>
parents:
diff changeset
1460 is the empty string (i.e., nothing is hidden or focused on). To change the
Dave Love <fx@gnu.org>
parents:
diff changeset
1461 default, set these variables in @file{.emacs} using @code{setq-default}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1462
Dave Love <fx@gnu.org>
parents:
diff changeset
1463 In addition to the ability to ignore regions that match regular
Dave Love <fx@gnu.org>
parents:
diff changeset
1464 expressions, Ediff can be ordered to start skipping over certain
Dave Love <fx@gnu.org>
parents:
diff changeset
1465 ``uninteresting'' difference regions. This is controlled by the following
Dave Love <fx@gnu.org>
parents:
diff changeset
1466 variable:
Dave Love <fx@gnu.org>
parents:
diff changeset
1467
Dave Love <fx@gnu.org>
parents:
diff changeset
1468 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
1469 @item ediff-ignore-similar-regions
Dave Love <fx@gnu.org>
parents:
diff changeset
1470 @vindex ediff-ignore-similar-regions
Dave Love <fx@gnu.org>
parents:
diff changeset
1471 If @code{t}, causes Ediff to skip over "uninteresting" difference regions,
Dave Love <fx@gnu.org>
parents:
diff changeset
1472 which are the regions where the variants differ only in the amount of the
Dave Love <fx@gnu.org>
parents:
diff changeset
1473 white space and newlines. This feature can be toggled on/off interactively,
Dave Love <fx@gnu.org>
parents:
diff changeset
1474 via the command @kbd{##}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1475 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
1476
Dave Love <fx@gnu.org>
parents:
diff changeset
1477 @strong{Note:} In order for this feature to work, auto-refining of
Dave Love <fx@gnu.org>
parents:
diff changeset
1478 difference regions must be on, since otherwise Ediff won't know if there
Dave Love <fx@gnu.org>
parents:
diff changeset
1479 are fine differences between regions. On devices where Emacs can display
Dave Love <fx@gnu.org>
parents:
diff changeset
1480 faces, auto-refining is a default, but it is not turned on by default on
Dave Love <fx@gnu.org>
parents:
diff changeset
1481 text-only terminals. In that case, you must explicitly turn auto-refining
Dave Love <fx@gnu.org>
parents:
diff changeset
1482 on (such as, by typing @kbd{@@}).
Dave Love <fx@gnu.org>
parents:
diff changeset
1483
Dave Love <fx@gnu.org>
parents:
diff changeset
1484 @strong{Reassurance:} If many such uninteresting regions appear in a row,
Dave Love <fx@gnu.org>
parents:
diff changeset
1485 Ediff may take a long time to skip over them because it has to compute fine
Dave Love <fx@gnu.org>
parents:
diff changeset
1486 differences of all intermediate regions. This delay does not indicate any
Dave Love <fx@gnu.org>
parents:
diff changeset
1487 problem.
Dave Love <fx@gnu.org>
parents:
diff changeset
1488
Dave Love <fx@gnu.org>
parents:
diff changeset
1489 @node Highlighting Difference Regions, Narrowing, Selective Browsing, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
1490 @section Highlighting Difference Regions
Dave Love <fx@gnu.org>
parents:
diff changeset
1491
Dave Love <fx@gnu.org>
parents:
diff changeset
1492 The following variables control the way Ediff highlights difference
Dave Love <fx@gnu.org>
parents:
diff changeset
1493 regions:
Dave Love <fx@gnu.org>
parents:
diff changeset
1494
Dave Love <fx@gnu.org>
parents:
diff changeset
1495 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
1496 @item ediff-before-flag-bol
Dave Love <fx@gnu.org>
parents:
diff changeset
1497 @itemx ediff-after-flag-eol
Dave Love <fx@gnu.org>
parents:
diff changeset
1498 @itemx ediff-before-flag-mol
Dave Love <fx@gnu.org>
parents:
diff changeset
1499 @itemx ediff-after-flag-mol
Dave Love <fx@gnu.org>
parents:
diff changeset
1500 @vindex ediff-before-flag-bol
Dave Love <fx@gnu.org>
parents:
diff changeset
1501 @vindex ediff-after-flag-eol
Dave Love <fx@gnu.org>
parents:
diff changeset
1502 @vindex ediff-before-flag-mol
Dave Love <fx@gnu.org>
parents:
diff changeset
1503 @vindex ediff-after-flag-mol
Dave Love <fx@gnu.org>
parents:
diff changeset
1504 These variables hold strings that Ediff uses to mark the beginning and the
Dave Love <fx@gnu.org>
parents:
diff changeset
1505 end of the differences found in files A, B, and C on devices where Emacs
Dave Love <fx@gnu.org>
parents:
diff changeset
1506 cannot display faces. Ediff uses different flags to highlight regions that
Dave Love <fx@gnu.org>
parents:
diff changeset
1507 begin/end at the beginning/end of a line or in a middle of a line.
Dave Love <fx@gnu.org>
parents:
diff changeset
1508
Dave Love <fx@gnu.org>
parents:
diff changeset
1509 @item ediff-current-diff-face-A
Dave Love <fx@gnu.org>
parents:
diff changeset
1510 @itemx ediff-current-diff-face-B
Dave Love <fx@gnu.org>
parents:
diff changeset
1511 @itemx ediff-current-diff-face-C
Dave Love <fx@gnu.org>
parents:
diff changeset
1512 @vindex ediff-current-diff-face-A
Dave Love <fx@gnu.org>
parents:
diff changeset
1513 @vindex ediff-current-diff-face-B
Dave Love <fx@gnu.org>
parents:
diff changeset
1514 @vindex ediff-current-diff-face-C
Dave Love <fx@gnu.org>
parents:
diff changeset
1515 Ediff uses these faces to highlight current differences on devices where
Dave Love <fx@gnu.org>
parents:
diff changeset
1516 Emacs can display faces. These and subsequently described faces can be set
Dave Love <fx@gnu.org>
parents:
diff changeset
1517 either in @file{.emacs} or in @file{.Xdefaults}. The X resource for Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
1518 is @samp{Ediff}, @emph{not} @samp{emacs}. Please refer to Emacs manual for
Dave Love <fx@gnu.org>
parents:
diff changeset
1519 the information on how to set X resources.
Dave Love <fx@gnu.org>
parents:
diff changeset
1520 @item ediff-fine-diff-face-A
Dave Love <fx@gnu.org>
parents:
diff changeset
1521 @itemx ediff-fine-diff-face-B
Dave Love <fx@gnu.org>
parents:
diff changeset
1522 @itemx ediff-fine-diff-face-C
Dave Love <fx@gnu.org>
parents:
diff changeset
1523 @vindex ediff-fine-diff-face-A
Dave Love <fx@gnu.org>
parents:
diff changeset
1524 @vindex ediff-fine-diff-face-B
Dave Love <fx@gnu.org>
parents:
diff changeset
1525 @vindex ediff-fine-diff-face-C
Dave Love <fx@gnu.org>
parents:
diff changeset
1526 Ediff uses these faces to show the fine differences between the current
Dave Love <fx@gnu.org>
parents:
diff changeset
1527 differences regions in buffers A, B, and C, respectively.
Dave Love <fx@gnu.org>
parents:
diff changeset
1528
Dave Love <fx@gnu.org>
parents:
diff changeset
1529 @item ediff-even-diff-face-A
Dave Love <fx@gnu.org>
parents:
diff changeset
1530 @itemx ediff-even-diff-face-B
Dave Love <fx@gnu.org>
parents:
diff changeset
1531 @itemx ediff-even-diff-face-C
Dave Love <fx@gnu.org>
parents:
diff changeset
1532 @itemx ediff-odd-diff-face-A
Dave Love <fx@gnu.org>
parents:
diff changeset
1533 @itemx ediff-odd-diff-face-B
Dave Love <fx@gnu.org>
parents:
diff changeset
1534 @itemx ediff-odd-diff-face-C
Dave Love <fx@gnu.org>
parents:
diff changeset
1535 @vindex ediff-even-diff-face-A
Dave Love <fx@gnu.org>
parents:
diff changeset
1536 @vindex ediff-even-diff-face-B
Dave Love <fx@gnu.org>
parents:
diff changeset
1537 @vindex ediff-even-diff-face-C
Dave Love <fx@gnu.org>
parents:
diff changeset
1538 @vindex ediff-odd-diff-face-A
Dave Love <fx@gnu.org>
parents:
diff changeset
1539 @vindex ediff-odd-diff-face-B
Dave Love <fx@gnu.org>
parents:
diff changeset
1540 @vindex ediff-odd-diff-face-C
Dave Love <fx@gnu.org>
parents:
diff changeset
1541 Non-current difference regions are displayed using these alternating
Dave Love <fx@gnu.org>
parents:
diff changeset
1542 faces. The odd and the even faces are actually identical on monochrome
Dave Love <fx@gnu.org>
parents:
diff changeset
1543 displays, because without colors options are limited.
Dave Love <fx@gnu.org>
parents:
diff changeset
1544 So, Ediff uses italics to highlight non-current differences.
Dave Love <fx@gnu.org>
parents:
diff changeset
1545
Dave Love <fx@gnu.org>
parents:
diff changeset
1546 @item ediff-force-faces
Dave Love <fx@gnu.org>
parents:
diff changeset
1547 @vindex ediff-force-faces
Dave Love <fx@gnu.org>
parents:
diff changeset
1548 Ediff generally can detect when Emacs is running on a device where it can
Dave Love <fx@gnu.org>
parents:
diff changeset
1549 use highlighting with faces. However, if it fails to determine that faces
Dave Love <fx@gnu.org>
parents:
diff changeset
1550 can be used, the user can set this variable to @code{t} to make sure that
Dave Love <fx@gnu.org>
parents:
diff changeset
1551 Ediff uses faces to highlight differences.
Dave Love <fx@gnu.org>
parents:
diff changeset
1552
Dave Love <fx@gnu.org>
parents:
diff changeset
1553 @item ediff-highlight-all-diffs
Dave Love <fx@gnu.org>
parents:
diff changeset
1554 @vindex ediff-highlight-all-diffs
Dave Love <fx@gnu.org>
parents:
diff changeset
1555 Indicates whether---on a windowind display---Ediff should highlight
Dave Love <fx@gnu.org>
parents:
diff changeset
1556 differences using inserted strings (as on text-only terminals) or using
Dave Love <fx@gnu.org>
parents:
diff changeset
1557 colors and highlighting. Normally, Ediff highlights all differences, but
Dave Love <fx@gnu.org>
parents:
diff changeset
1558 the selected difference is highlighted more visibly. One can cycle through
Dave Love <fx@gnu.org>
parents:
diff changeset
1559 various modes of highlighting by typing @kbd{h}. By default, Ediff starts
Dave Love <fx@gnu.org>
parents:
diff changeset
1560 in the mode where all difference regions are highlighted. If you prefer to
Dave Love <fx@gnu.org>
parents:
diff changeset
1561 start in the mode where unselected differences are not highlighted, you
Dave Love <fx@gnu.org>
parents:
diff changeset
1562 should set @code{ediff-highlight-all-diffs} to @code{nil}. Type @kbd{h} to
Dave Love <fx@gnu.org>
parents:
diff changeset
1563 restore highlighting for all differences.
Dave Love <fx@gnu.org>
parents:
diff changeset
1564
Dave Love <fx@gnu.org>
parents:
diff changeset
1565 Ediff lets you switch between the two modes of highlighting. That is,
Dave Love <fx@gnu.org>
parents:
diff changeset
1566 you can switch interactively from highlighting using faces to
Dave Love <fx@gnu.org>
parents:
diff changeset
1567 highlighting using string flags, and back. Of course, switching has
Dave Love <fx@gnu.org>
parents:
diff changeset
1568 effect only under a windowing system. On a text-only terminal or in an
Dave Love <fx@gnu.org>
parents:
diff changeset
1569 xterm window, the only available option is highlighting with strings.
Dave Love <fx@gnu.org>
parents:
diff changeset
1570 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
1571
Dave Love <fx@gnu.org>
parents:
diff changeset
1572 @noindent
Dave Love <fx@gnu.org>
parents:
diff changeset
1573 If you want to change the default settings for @code{ediff-force-faces} and
Dave Love <fx@gnu.org>
parents:
diff changeset
1574 @code{ediff-highlight-all-diffs}, you must do it @strong{before} Ediff is
Dave Love <fx@gnu.org>
parents:
diff changeset
1575 loaded.
Dave Love <fx@gnu.org>
parents:
diff changeset
1576
Dave Love <fx@gnu.org>
parents:
diff changeset
1577 You can also change the defaults for the faces used to highlight the
Dave Love <fx@gnu.org>
parents:
diff changeset
1578 difference regions. There are two ways to do this. The simplest and the
Dave Love <fx@gnu.org>
parents:
diff changeset
1579 preferred way is to use the customization widget accessible from the
Dave Love <fx@gnu.org>
parents:
diff changeset
1580 menubar. Ediff's customization group is located under "Tools", which in
Dave Love <fx@gnu.org>
parents:
diff changeset
1581 turn is under "Programming". The faces that are used to highlight
Dave Love <fx@gnu.org>
parents:
diff changeset
1582 difference regions are located in the "Highlighting" subgroup of the Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
1583 customization group.
Dave Love <fx@gnu.org>
parents:
diff changeset
1584
Dave Love <fx@gnu.org>
parents:
diff changeset
1585 The second, much more arcane, method to change default faces is to include
Dave Love <fx@gnu.org>
parents:
diff changeset
1586 some Lisp code in @file{~/.emacs}. For instance,
Dave Love <fx@gnu.org>
parents:
diff changeset
1587
Dave Love <fx@gnu.org>
parents:
diff changeset
1588 @example
Dave Love <fx@gnu.org>
parents:
diff changeset
1589 (setq ediff-current-diff-face-A
Dave Love <fx@gnu.org>
parents:
diff changeset
1590 (copy-face 'bold-italic 'ediff-current-diff-face-A))
Dave Love <fx@gnu.org>
parents:
diff changeset
1591 @end example
Dave Love <fx@gnu.org>
parents:
diff changeset
1592
Dave Love <fx@gnu.org>
parents:
diff changeset
1593 @noindent
Dave Love <fx@gnu.org>
parents:
diff changeset
1594 would use the pre-defined fase @code{bold-italic} to highlight the current
Dave Love <fx@gnu.org>
parents:
diff changeset
1595 difference region in buffer A (this face is not a good choice, by the way).
Dave Love <fx@gnu.org>
parents:
diff changeset
1596
Dave Love <fx@gnu.org>
parents:
diff changeset
1597 If you are unhappy with just @emph{some} of the aspects of the default
Dave Love <fx@gnu.org>
parents:
diff changeset
1598 faces, you can modify them when Ediff is being loaded using
Dave Love <fx@gnu.org>
parents:
diff changeset
1599 @code{ediff-load-hook}. For instance:
Dave Love <fx@gnu.org>
parents:
diff changeset
1600
Dave Love <fx@gnu.org>
parents:
diff changeset
1601 @smallexample
Dave Love <fx@gnu.org>
parents:
diff changeset
1602 (add-hook 'ediff-load-hook
28344
54fda0e8528a Weed out redundant uses of `function'
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 26639
diff changeset
1603 (lambda ()
54fda0e8528a Weed out redundant uses of `function'
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 26639
diff changeset
1604 (set-face-foreground
54fda0e8528a Weed out redundant uses of `function'
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 26639
diff changeset
1605 ediff-current-diff-face-B "blue")
54fda0e8528a Weed out redundant uses of `function'
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 26639
diff changeset
1606 (set-face-background
54fda0e8528a Weed out redundant uses of `function'
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 26639
diff changeset
1607 ediff-current-diff-face-B "red")
54fda0e8528a Weed out redundant uses of `function'
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 26639
diff changeset
1608 (make-face-italic
54fda0e8528a Weed out redundant uses of `function'
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 26639
diff changeset
1609 ediff-current-diff-face-B)))
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1610 @end smallexample
Dave Love <fx@gnu.org>
parents:
diff changeset
1611
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
1612 @strong{Note:} To set Ediff's faces, use only @code{copy-face} or
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
1613 @code{set/make-face-@dots{}} as shown above. Emacs' low-level
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
1614 face-manipulation functions should be avoided.
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1615
Dave Love <fx@gnu.org>
parents:
diff changeset
1616 @node Narrowing, Refinement of Difference Regions, Highlighting Difference Regions, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
1617 @section Narrowing
Dave Love <fx@gnu.org>
parents:
diff changeset
1618
Dave Love <fx@gnu.org>
parents:
diff changeset
1619 If buffers being compared are narrowed at the time of invocation of
Dave Love <fx@gnu.org>
parents:
diff changeset
1620 Ediff, @code{ediff-buffers} will preserve the narrowing range. However,
Dave Love <fx@gnu.org>
parents:
diff changeset
1621 if @code{ediff-files} is invoked on the files visited by these buffers,
Dave Love <fx@gnu.org>
parents:
diff changeset
1622 that would widen the buffers, since this command is defined to compare the
Dave Love <fx@gnu.org>
parents:
diff changeset
1623 entire files.
Dave Love <fx@gnu.org>
parents:
diff changeset
1624
Dave Love <fx@gnu.org>
parents:
diff changeset
1625 Calling @code{ediff-regions-linewise} or @code{ediff-windows-linewise}, or
Dave Love <fx@gnu.org>
parents:
diff changeset
1626 the corresponding @samp{-wordwise} commands, narrows the variants to the
Dave Love <fx@gnu.org>
parents:
diff changeset
1627 particular regions being compared. The original accessible ranges are
Dave Love <fx@gnu.org>
parents:
diff changeset
1628 restored when you quit Ediff. During the command, you can toggle this
Dave Love <fx@gnu.org>
parents:
diff changeset
1629 narrowing on and off with the @kbd{%} command.
Dave Love <fx@gnu.org>
parents:
diff changeset
1630
Dave Love <fx@gnu.org>
parents:
diff changeset
1631 These two variables control this narrowing behavior:
Dave Love <fx@gnu.org>
parents:
diff changeset
1632
Dave Love <fx@gnu.org>
parents:
diff changeset
1633 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
1634 @item ediff-start-narrowed
Dave Love <fx@gnu.org>
parents:
diff changeset
1635 @vindex ediff-start-narrowed
Dave Love <fx@gnu.org>
parents:
diff changeset
1636 If @code{t}, Ediff narrows the display to the appropriate range when it
Dave Love <fx@gnu.org>
parents:
diff changeset
1637 is invoked with an @samp{ediff-regions@dots{}} or
Dave Love <fx@gnu.org>
parents:
diff changeset
1638 @samp{ediff-windows@dots{}} command. If @code{nil}, these commands do
Dave Love <fx@gnu.org>
parents:
diff changeset
1639 not automatically narrow, but you can still toggle narrowing on and off
Dave Love <fx@gnu.org>
parents:
diff changeset
1640 by typing @kbd{%}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1641
Dave Love <fx@gnu.org>
parents:
diff changeset
1642 @item ediff-quit-widened
Dave Love <fx@gnu.org>
parents:
diff changeset
1643 @vindex ediff-quit-widened
Dave Love <fx@gnu.org>
parents:
diff changeset
1644 Controls whether on quitting Ediff should restore the accessible range
Dave Love <fx@gnu.org>
parents:
diff changeset
1645 that existed before the current invocation.
Dave Love <fx@gnu.org>
parents:
diff changeset
1646 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
1647
Dave Love <fx@gnu.org>
parents:
diff changeset
1648 @node Refinement of Difference Regions, Patch and Diff Programs, Narrowing, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
1649 @section Refinement of Difference Regions
Dave Love <fx@gnu.org>
parents:
diff changeset
1650
Dave Love <fx@gnu.org>
parents:
diff changeset
1651 Ediff has variables to control the way fine differences are
Dave Love <fx@gnu.org>
parents:
diff changeset
1652 highlighted. This feature gives you control over the process of refinement.
Dave Love <fx@gnu.org>
parents:
diff changeset
1653 Note that refinement ignores spaces, tabs, and newlines.
Dave Love <fx@gnu.org>
parents:
diff changeset
1654
Dave Love <fx@gnu.org>
parents:
diff changeset
1655 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
1656 @item ediff-auto-refine
Dave Love <fx@gnu.org>
parents:
diff changeset
1657 @vindex ediff-auto-refine
Dave Love <fx@gnu.org>
parents:
diff changeset
1658 This variable controls whether fine differences within regions are
Dave Love <fx@gnu.org>
parents:
diff changeset
1659 highlighted automatically (``auto-refining''). The default is yes
Dave Love <fx@gnu.org>
parents:
diff changeset
1660 (@samp{on}).
Dave Love <fx@gnu.org>
parents:
diff changeset
1661
Dave Love <fx@gnu.org>
parents:
diff changeset
1662 On a slow machine, automatic refinement may be painful. In that case,
Dave Love <fx@gnu.org>
parents:
diff changeset
1663 you can turn auto-refining on or off interactively by typing
Dave Love <fx@gnu.org>
parents:
diff changeset
1664 @kbd{@@}. You can also turn off display of refining that has
Dave Love <fx@gnu.org>
parents:
diff changeset
1665 already been done.
Dave Love <fx@gnu.org>
parents:
diff changeset
1666
Dave Love <fx@gnu.org>
parents:
diff changeset
1667 When auto-refining is off, fine differences are shown only for regions
Dave Love <fx@gnu.org>
parents:
diff changeset
1668 for which these differences have been computed and saved before. If
Dave Love <fx@gnu.org>
parents:
diff changeset
1669 auto-refining and display of refining are both turned off, fine
Dave Love <fx@gnu.org>
parents:
diff changeset
1670 differences are not shown at all.
Dave Love <fx@gnu.org>
parents:
diff changeset
1671
Dave Love <fx@gnu.org>
parents:
diff changeset
1672 Typing @kbd{*} computes and displays fine differences for the current
Dave Love <fx@gnu.org>
parents:
diff changeset
1673 difference region, regardless of whether auto-refining is turned on.
Dave Love <fx@gnu.org>
parents:
diff changeset
1674
Dave Love <fx@gnu.org>
parents:
diff changeset
1675 @item ediff-auto-refine-limit
Dave Love <fx@gnu.org>
parents:
diff changeset
1676 @vindex ediff-auto-refine-limit
Dave Love <fx@gnu.org>
parents:
diff changeset
1677 If auto-refining is on, this variable limits the size of the regions to
Dave Love <fx@gnu.org>
parents:
diff changeset
1678 be auto-refined. This guards against the possible slowdown that may be
Dave Love <fx@gnu.org>
parents:
diff changeset
1679 caused by extraordinary large difference regions.
Dave Love <fx@gnu.org>
parents:
diff changeset
1680
Dave Love <fx@gnu.org>
parents:
diff changeset
1681 You can always refine the current region by typing @kbd{*}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1682
Dave Love <fx@gnu.org>
parents:
diff changeset
1683 @item ediff-forward-word-function
Dave Love <fx@gnu.org>
parents:
diff changeset
1684 @vindex ediff-forward-word-function
Dave Love <fx@gnu.org>
parents:
diff changeset
1685 This variable controls how fine differences are computed. The
Dave Love <fx@gnu.org>
parents:
diff changeset
1686 value must be a Lisp function that determines how the current difference
Dave Love <fx@gnu.org>
parents:
diff changeset
1687 region should be split into words.
Dave Love <fx@gnu.org>
parents:
diff changeset
1688
Dave Love <fx@gnu.org>
parents:
diff changeset
1689 @vindex ediff-diff-program
Dave Love <fx@gnu.org>
parents:
diff changeset
1690 @vindex ediff-forward-word-function
Dave Love <fx@gnu.org>
parents:
diff changeset
1691 @findex ediff-forward-word
Dave Love <fx@gnu.org>
parents:
diff changeset
1692 Fine differences are computed by first splitting the current difference
Dave Love <fx@gnu.org>
parents:
diff changeset
1693 region into words and then passing the result to
Dave Love <fx@gnu.org>
parents:
diff changeset
1694 @code{ediff-diff-program}. For the default forward word function (which is
Dave Love <fx@gnu.org>
parents:
diff changeset
1695 @code{ediff-forward-word}), a word is a string consisting of letters,
Dave Love <fx@gnu.org>
parents:
diff changeset
1696 @samp{-}, or @samp{_}; a string of punctuation symbols; a string of digits,
Dave Love <fx@gnu.org>
parents:
diff changeset
1697 or a string consisting of symbols that are neither space, nor a letter.
Dave Love <fx@gnu.org>
parents:
diff changeset
1698
Dave Love <fx@gnu.org>
parents:
diff changeset
1699 This default behavior is controlled by four variables: @code{ediff-word-1},
Dave Love <fx@gnu.org>
parents:
diff changeset
1700 ..., @code{ediff-word-4}. See the on-line documentation for these variables
Dave Love <fx@gnu.org>
parents:
diff changeset
1701 and for the function @code{ediff-forward-word} for an explanation of how to
Dave Love <fx@gnu.org>
parents:
diff changeset
1702 modify these variables.
Dave Love <fx@gnu.org>
parents:
diff changeset
1703 @vindex ediff-word-1
Dave Love <fx@gnu.org>
parents:
diff changeset
1704 @vindex ediff-word-2
Dave Love <fx@gnu.org>
parents:
diff changeset
1705 @vindex ediff-word-3
Dave Love <fx@gnu.org>
parents:
diff changeset
1706 @vindex ediff-word-4
Dave Love <fx@gnu.org>
parents:
diff changeset
1707 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
1708
Dave Love <fx@gnu.org>
parents:
diff changeset
1709 Sometimes, when a region has too many differences between the variants,
Dave Love <fx@gnu.org>
parents:
diff changeset
1710 highlighting of fine differences is inconvenient, especially on
Dave Love <fx@gnu.org>
parents:
diff changeset
1711 color displays. If that is the case, type @kbd{*} with a negative
Dave Love <fx@gnu.org>
parents:
diff changeset
1712 prefix argument. This unhighlights fine differences for the current
Dave Love <fx@gnu.org>
parents:
diff changeset
1713 region.
Dave Love <fx@gnu.org>
parents:
diff changeset
1714
Dave Love <fx@gnu.org>
parents:
diff changeset
1715 To unhighlight fine differences in all difference regions, use the
Dave Love <fx@gnu.org>
parents:
diff changeset
1716 command @kbd{@@}. Repeated typing of this key cycles through three
Dave Love <fx@gnu.org>
parents:
diff changeset
1717 different states: auto-refining, no-auto-refining, and no-highlighting
Dave Love <fx@gnu.org>
parents:
diff changeset
1718 of fine differences.
Dave Love <fx@gnu.org>
parents:
diff changeset
1719
Dave Love <fx@gnu.org>
parents:
diff changeset
1720 @node Patch and Diff Programs, Merging and diff3, Refinement of Difference Regions, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
1721 @section Patch and Diff Programs
Dave Love <fx@gnu.org>
parents:
diff changeset
1722
Dave Love <fx@gnu.org>
parents:
diff changeset
1723 This section describes variables that specify the programs to be used for
Dave Love <fx@gnu.org>
parents:
diff changeset
1724 applying patches and for computing the main difference regions (not the
Dave Love <fx@gnu.org>
parents:
diff changeset
1725 fine difference regions):
Dave Love <fx@gnu.org>
parents:
diff changeset
1726
Dave Love <fx@gnu.org>
parents:
diff changeset
1727 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
1728 @item ediff-diff-program
Dave Love <fx@gnu.org>
parents:
diff changeset
1729 @itemx ediff-diff3-program
Dave Love <fx@gnu.org>
parents:
diff changeset
1730 @vindex ediff-patch-program
Dave Love <fx@gnu.org>
parents:
diff changeset
1731 @vindex ediff-diff-program
Dave Love <fx@gnu.org>
parents:
diff changeset
1732 @vindex ediff-diff3-program
Dave Love <fx@gnu.org>
parents:
diff changeset
1733 These variables specify the programs to use to produce differences
Dave Love <fx@gnu.org>
parents:
diff changeset
1734 and do patching.
Dave Love <fx@gnu.org>
parents:
diff changeset
1735
Dave Love <fx@gnu.org>
parents:
diff changeset
1736 @item ediff-diff-options
Dave Love <fx@gnu.org>
parents:
diff changeset
1737 @itemx ediff-diff3-options
Dave Love <fx@gnu.org>
parents:
diff changeset
1738 @vindex ediff-patch-options
Dave Love <fx@gnu.org>
parents:
diff changeset
1739 @vindex ediff-diff-options
Dave Love <fx@gnu.org>
parents:
diff changeset
1740 @vindex ediff-diff3-options
Dave Love <fx@gnu.org>
parents:
diff changeset
1741 These variables specify the options to pass to the above utilities.
Dave Love <fx@gnu.org>
parents:
diff changeset
1742
Dave Love <fx@gnu.org>
parents:
diff changeset
1743 In @code{ediff-diff-options}, it may be useful to specify options
Dave Love <fx@gnu.org>
parents:
diff changeset
1744 such as @samp{-w} that ignore certain kinds of changes. However,
Dave Love <fx@gnu.org>
parents:
diff changeset
1745 Ediff does not let you use the option @samp{-c}, as it doesn't recognize this
Dave Love <fx@gnu.org>
parents:
diff changeset
1746 format yet.
Dave Love <fx@gnu.org>
parents:
diff changeset
1747
36043
5d6b76d28b83 2001-02-12 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 35411
diff changeset
1748 @item ediff-coding-system-for-read
5d6b76d28b83 2001-02-12 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 35411
diff changeset
1749 @vindex ediff-coding-system-for-read
5d6b76d28b83 2001-02-12 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 35411
diff changeset
1750 This variable specifies the coding system to use when reading the output
5d6b76d28b83 2001-02-12 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 35411
diff changeset
1751 that the programs @code{diff3} and @code{diff} send to Emacs. The default
5d6b76d28b83 2001-02-12 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 35411
diff changeset
1752 is @code{raw-text}, and this should work fine in Unix and in most
5d6b76d28b83 2001-02-12 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 35411
diff changeset
1753 cases under Windows NT/95/98/2000. There are @code{diff} programs
5d6b76d28b83 2001-02-12 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 35411
diff changeset
1754 for which the default option doesn't work under Windows. In such cases,
5d6b76d28b83 2001-02-12 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 35411
diff changeset
1755 @code{raw-text-dos} might work. If not, you will have to experiment with
5d6b76d28b83 2001-02-12 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 35411
diff changeset
1756 other coding systems or use GNU diff.
5d6b76d28b83 2001-02-12 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 35411
diff changeset
1757
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1758 @item ediff-patch-program
Dave Love <fx@gnu.org>
parents:
diff changeset
1759 The program to use to apply patches. Since there are certain
Dave Love <fx@gnu.org>
parents:
diff changeset
1760 incompatibilities between the different versions of the patch program, the
Dave Love <fx@gnu.org>
parents:
diff changeset
1761 best way to stay out of trouble is to use a GNU-compatible version.
Dave Love <fx@gnu.org>
parents:
diff changeset
1762 Otherwise, you may have to tune the values of the variables
Dave Love <fx@gnu.org>
parents:
diff changeset
1763 @code{ediff-patch-options}, @code{ediff-backup-specs}, and
Dave Love <fx@gnu.org>
parents:
diff changeset
1764 @code{ediff-backup-extension} as described below.
Dave Love <fx@gnu.org>
parents:
diff changeset
1765 @item ediff-patch-options
Dave Love <fx@gnu.org>
parents:
diff changeset
1766 Options to pass to @code{ediff-patch-program}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1767
Dave Love <fx@gnu.org>
parents:
diff changeset
1768 Note: the `-b' and `-z' options should be specified in
Dave Love <fx@gnu.org>
parents:
diff changeset
1769 `ediff-backup-specs', not in @code{ediff-patch-options}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1770
Dave Love <fx@gnu.org>
parents:
diff changeset
1771 It is recommended to pass the `-f' option to the patch program, so it won't
Dave Love <fx@gnu.org>
parents:
diff changeset
1772 ask questions. However, some implementations don't accept this option, in
Dave Love <fx@gnu.org>
parents:
diff changeset
1773 which case the default value of this variable should be changed.
Dave Love <fx@gnu.org>
parents:
diff changeset
1774
Dave Love <fx@gnu.org>
parents:
diff changeset
1775 @item ediff-backup-extension
Dave Love <fx@gnu.org>
parents:
diff changeset
1776 Backup extension used by the patch program. Must be specified, even if
Dave Love <fx@gnu.org>
parents:
diff changeset
1777 @code{ediff-backup-specs} is given.
Dave Love <fx@gnu.org>
parents:
diff changeset
1778 @item ediff-backup-specs
Dave Love <fx@gnu.org>
parents:
diff changeset
1779 Backup directives to pass to the patch program.
Dave Love <fx@gnu.org>
parents:
diff changeset
1780 Ediff requires that the old version of the file (before applying the patch)
Dave Love <fx@gnu.org>
parents:
diff changeset
1781 is saved in a file named @file{the-patch-file.extension}. Usually
Dave Love <fx@gnu.org>
parents:
diff changeset
1782 `extension' is `.orig', but this can be changed by the user, and may also be
Dave Love <fx@gnu.org>
parents:
diff changeset
1783 system-dependent. Therefore, Ediff needs to know the backup extension used
Dave Love <fx@gnu.org>
parents:
diff changeset
1784 by the patch program.
Dave Love <fx@gnu.org>
parents:
diff changeset
1785
Dave Love <fx@gnu.org>
parents:
diff changeset
1786 Some versions of the patch program let the user specify `-b backup-extension'.
Dave Love <fx@gnu.org>
parents:
diff changeset
1787 Other versions only permit `-b', which (usually) assumes the extension `.orig'.
Dave Love <fx@gnu.org>
parents:
diff changeset
1788 Yet others force you to use `-z<backup-extension>'.
Dave Love <fx@gnu.org>
parents:
diff changeset
1789
Dave Love <fx@gnu.org>
parents:
diff changeset
1790 Note that both `ediff-backup-extension' and `ediff-backup-specs' must be
Dave Love <fx@gnu.org>
parents:
diff changeset
1791 properly set. If your patch program takes the option `-b', but not
Dave Love <fx@gnu.org>
parents:
diff changeset
1792 `-b extension', the variable `ediff-backup-extension' must still
Dave Love <fx@gnu.org>
parents:
diff changeset
1793 be set so Ediff will know which extension to use.
Dave Love <fx@gnu.org>
parents:
diff changeset
1794
Dave Love <fx@gnu.org>
parents:
diff changeset
1795 @item ediff-custom-diff-program
Dave Love <fx@gnu.org>
parents:
diff changeset
1796 @itemx ediff-custom-diff-options
Dave Love <fx@gnu.org>
parents:
diff changeset
1797 @vindex ediff-custom-diff-program
Dave Love <fx@gnu.org>
parents:
diff changeset
1798 @vindex ediff-custom-diff-options
Dave Love <fx@gnu.org>
parents:
diff changeset
1799 @findex ediff-save-buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
1800 Because Ediff limits the options you may want to pass to the @code{diff}
Dave Love <fx@gnu.org>
parents:
diff changeset
1801 program, it partially makes up for this drawback by letting you save the
Dave Love <fx@gnu.org>
parents:
diff changeset
1802 output from @code{diff} in your preferred format, which is specified via
Dave Love <fx@gnu.org>
parents:
diff changeset
1803 the above two variables.
Dave Love <fx@gnu.org>
parents:
diff changeset
1804
Dave Love <fx@gnu.org>
parents:
diff changeset
1805 The output generated by @code{ediff-custom-diff-program} (which doesn't
33021
9fd41b036b84 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 33019
diff changeset
1806 even have to be a standard-style @code{diff}!)@: is not used by Ediff. It is
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1807 provided exclusively so that you can
Dave Love <fx@gnu.org>
parents:
diff changeset
1808 refer to
Dave Love <fx@gnu.org>
parents:
diff changeset
1809 it later, send it over email, etc. For instance, after reviewing the
Dave Love <fx@gnu.org>
parents:
diff changeset
1810 differences, you may want to send context differences to a colleague.
Dave Love <fx@gnu.org>
parents:
diff changeset
1811 Since Ediff ignores the @samp{-c} option in
Dave Love <fx@gnu.org>
parents:
diff changeset
1812 @code{ediff-diff-program}, you would have to run @code{diff -c} separately
Dave Love <fx@gnu.org>
parents:
diff changeset
1813 just to produce the list of differences. Fortunately,
Dave Love <fx@gnu.org>
parents:
diff changeset
1814 @code{ediff-custom-diff-program} and @code{ediff-custom-diff-options}
Dave Love <fx@gnu.org>
parents:
diff changeset
1815 eliminate this nuisance by keeping a copy of a difference list in the
Dave Love <fx@gnu.org>
parents:
diff changeset
1816 desired format in a buffer that can be displayed via the command @kbd{D}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1817
Dave Love <fx@gnu.org>
parents:
diff changeset
1818 @item ediff-patch-default-directory
Dave Love <fx@gnu.org>
parents:
diff changeset
1819 @vindex ediff-patch-default-directory
Dave Love <fx@gnu.org>
parents:
diff changeset
1820 Specifies the default directory to look for patches.
Dave Love <fx@gnu.org>
parents:
diff changeset
1821
Dave Love <fx@gnu.org>
parents:
diff changeset
1822 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
1823
Dave Love <fx@gnu.org>
parents:
diff changeset
1824 @noindent
Dave Love <fx@gnu.org>
parents:
diff changeset
1825 @strong{Warning:} Ediff does not support the output format of VMS
Dave Love <fx@gnu.org>
parents:
diff changeset
1826 @code{diff}. Instead, make sure you are using some implementation of POSIX
Dave Love <fx@gnu.org>
parents:
diff changeset
1827 @code{diff}, such as @code{gnudiff}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1828
Dave Love <fx@gnu.org>
parents:
diff changeset
1829 @node Merging and diff3, Support for Version Control, Patch and Diff Programs, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
1830 @section Merging and diff3
Dave Love <fx@gnu.org>
parents:
diff changeset
1831
Dave Love <fx@gnu.org>
parents:
diff changeset
1832 Ediff supports three-way comparison via the functions @code{ediff-files3} and
Dave Love <fx@gnu.org>
parents:
diff changeset
1833 @code{ediff-buffers3}. The interface is the same as for two-way comparison.
Dave Love <fx@gnu.org>
parents:
diff changeset
1834 In three-way comparison and merging, Ediff reports if any two difference
Dave Love <fx@gnu.org>
parents:
diff changeset
1835 regions are identical. For instance, if the current region in buffer A
Dave Love <fx@gnu.org>
parents:
diff changeset
1836 is the same as the region in buffer C, then the mode line of buffer A will
Dave Love <fx@gnu.org>
parents:
diff changeset
1837 display @samp{[=diff(C)]} and the mode line of buffer C will display
Dave Love <fx@gnu.org>
parents:
diff changeset
1838 @samp{[=diff(A)]}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1839
Dave Love <fx@gnu.org>
parents:
diff changeset
1840 Merging is done according to the following algorithm.
Dave Love <fx@gnu.org>
parents:
diff changeset
1841
Dave Love <fx@gnu.org>
parents:
diff changeset
1842 If a difference region in one of the buffers, say B, differs from the ancestor
Dave Love <fx@gnu.org>
parents:
diff changeset
1843 file while the region in the other buffer, A, doesn't, then the merge buffer,
Dave Love <fx@gnu.org>
parents:
diff changeset
1844 C, gets B's region. Similarly when buffer A's region differs from
Dave Love <fx@gnu.org>
parents:
diff changeset
1845 the ancestor and B's doesn't, A's region is used.
Dave Love <fx@gnu.org>
parents:
diff changeset
1846
Dave Love <fx@gnu.org>
parents:
diff changeset
1847 @vindex ediff-default-variant
Dave Love <fx@gnu.org>
parents:
diff changeset
1848 If both regions in buffers A and B differ from the ancestor file, Ediff
Dave Love <fx@gnu.org>
parents:
diff changeset
1849 chooses the region according to the value of the variable
Dave Love <fx@gnu.org>
parents:
diff changeset
1850 @code{ediff-default-variant}. If its value is @code{default-A} then A's
Dave Love <fx@gnu.org>
parents:
diff changeset
1851 region is chosen. If it is @code{default-B} then B's region is chosen.
Dave Love <fx@gnu.org>
parents:
diff changeset
1852 If it is @code{combined} then the region in buffer C will look like
Dave Love <fx@gnu.org>
parents:
diff changeset
1853 this:
Dave Love <fx@gnu.org>
parents:
diff changeset
1854
26639
4aad3cb5a850 very minor fixes.
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26589
diff changeset
1855 @comment Use @set to avoid triggering merge conflict detectors like CVS.
4aad3cb5a850 very minor fixes.
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26589
diff changeset
1856 @set seven-left <<<<<<<
4aad3cb5a850 very minor fixes.
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26589
diff changeset
1857 @set seven-right >>>>>>>
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1858 @example
26639
4aad3cb5a850 very minor fixes.
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26589
diff changeset
1859 @value{seven-left} variant A
26589
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1860 the difference region from buffer A
26639
4aad3cb5a850 very minor fixes.
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26589
diff changeset
1861 @value{seven-right} variant B
26589
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1862 the difference region from buffer B
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1863 ####### Ancestor
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1864 the difference region from the ancestor buffer, if available
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1865 ======= end
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1866 @end example
Dave Love <fx@gnu.org>
parents:
diff changeset
1867
26589
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1868 The above is the default template for the combined region. The user can
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1869 customize this template using the variable
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1870 @code{ediff-combination-pattern}.
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1871
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1872 @vindex ediff-combination-pattern
26589
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1873 The variable @code{ediff-combination-pattern} specifies the template that
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1874 determines how the combined merged region looks like. The template is
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1875 represented as a list of the form @code{(STRING1 Symbol1 STRING2 Symbol2
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1876 STRING3 Symbol3 STRING4)}. The symbols here must be atoms of the form
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1877 @code{A}, @code{B}, or @code{Ancestor}. They determine the order in which
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1878 the corresponding difference regions (from buffers A, B, and the ancestor
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1879 buffer) are displayed in the merged region of buffer C. The strings in the
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1880 template determine the text that separates the aforesaid regions. The
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1881 default template is
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1882
37797
d0c11ec0421d (Merging and diff3): Avoid Overfull hbox.
Eli Zaretskii <eliz@gnu.org>
parents: 37404
diff changeset
1883 @smallexample
d0c11ec0421d (Merging and diff3): Avoid Overfull hbox.
Eli Zaretskii <eliz@gnu.org>
parents: 37404
diff changeset
1884 ("@value{seven-left} variant A" A "@value{seven-right} variant B" B
d0c11ec0421d (Merging and diff3): Avoid Overfull hbox.
Eli Zaretskii <eliz@gnu.org>
parents: 37404
diff changeset
1885 "####### Ancestor" Ancestor "======= end")
d0c11ec0421d (Merging and diff3): Avoid Overfull hbox.
Eli Zaretskii <eliz@gnu.org>
parents: 37404
diff changeset
1886 @end smallexample
26589
929999669c16 * ediff.texi: Describe the new format for
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26263
diff changeset
1887
37797
d0c11ec0421d (Merging and diff3): Avoid Overfull hbox.
Eli Zaretskii <eliz@gnu.org>
parents: 37404
diff changeset
1888 @noindent
d0c11ec0421d (Merging and diff3): Avoid Overfull hbox.
Eli Zaretskii <eliz@gnu.org>
parents: 37404
diff changeset
1889 (this is one long line) and the corresponding combined region is shown
d0c11ec0421d (Merging and diff3): Avoid Overfull hbox.
Eli Zaretskii <eliz@gnu.org>
parents: 37404
diff changeset
1890 above. The order in which the regions are shown (and the separator
d0c11ec0421d (Merging and diff3): Avoid Overfull hbox.
Eli Zaretskii <eliz@gnu.org>
parents: 37404
diff changeset
1891 strings) can be changed by changing the above template. It is even
d0c11ec0421d (Merging and diff3): Avoid Overfull hbox.
Eli Zaretskii <eliz@gnu.org>
parents: 37404
diff changeset
1892 possible to add or delete region specifiers in this template (although
d0c11ec0421d (Merging and diff3): Avoid Overfull hbox.
Eli Zaretskii <eliz@gnu.org>
parents: 37404
diff changeset
1893 the only possibly useful such modification seems to be the deletion of
d0c11ec0421d (Merging and diff3): Avoid Overfull hbox.
Eli Zaretskii <eliz@gnu.org>
parents: 37404
diff changeset
1894 the ancestor).
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
1895
Dave Love <fx@gnu.org>
parents:
diff changeset
1896 In addition to the state of the difference, Ediff displays the state of the
Dave Love <fx@gnu.org>
parents:
diff changeset
1897 merge for each region. If a difference came from buffer A by default
Dave Love <fx@gnu.org>
parents:
diff changeset
1898 (because both regions A and B were different from the ancestor and
Dave Love <fx@gnu.org>
parents:
diff changeset
1899 @code{ediff-default-variant} was set to @code{default-A}) then
Dave Love <fx@gnu.org>
parents:
diff changeset
1900 @samp{[=diff(A) default-A]} is displayed in the mode line. If the
Dave Love <fx@gnu.org>
parents:
diff changeset
1901 difference in buffer C came, say, from buffer B because the difference
Dave Love <fx@gnu.org>
parents:
diff changeset
1902 region in that buffer differs from the ancestor, but the region in buffer A
Dave Love <fx@gnu.org>
parents:
diff changeset
1903 does not (if merging with an ancestor) then @samp{[=diff(B) prefer-B]} is
Dave Love <fx@gnu.org>
parents:
diff changeset
1904 displayed. The indicators default-A/B and prefer-A/B are inspired by
Dave Love <fx@gnu.org>
parents:
diff changeset
1905 Emerge and have the same meaning.
Dave Love <fx@gnu.org>
parents:
diff changeset
1906
Dave Love <fx@gnu.org>
parents:
diff changeset
1907 Another indicator of the state of merge is @samp{combined}. It appears
Dave Love <fx@gnu.org>
parents:
diff changeset
1908 with any difference region in buffer C that was obtained by combining
Dave Love <fx@gnu.org>
parents:
diff changeset
1909 the difference regions in buffers A and B as explained above.
Dave Love <fx@gnu.org>
parents:
diff changeset
1910
Dave Love <fx@gnu.org>
parents:
diff changeset
1911 In addition to the state of merge and state of difference indicators, while
Dave Love <fx@gnu.org>
parents:
diff changeset
1912 merging with an ancestor file or buffer, Ediff informs the user when the
Dave Love <fx@gnu.org>
parents:
diff changeset
1913 current difference region in the (normally invisible) ancestor buffer is
Dave Love <fx@gnu.org>
parents:
diff changeset
1914 empty via the @emph{AncestorEmpty} indicator. This helps determine if the
Dave Love <fx@gnu.org>
parents:
diff changeset
1915 changes made to the original in variants A and B represent pure insertion
Dave Love <fx@gnu.org>
parents:
diff changeset
1916 or deletion of text: if the mode line shows @emph{AncestorEmpty} and the
Dave Love <fx@gnu.org>
parents:
diff changeset
1917 corresponding region in buffers A or B is not empty, this means that new
Dave Love <fx@gnu.org>
parents:
diff changeset
1918 text was inserted. If this indicator is not present and the difference
Dave Love <fx@gnu.org>
parents:
diff changeset
1919 regions in buffers A or B are non-empty, this means that text was
Dave Love <fx@gnu.org>
parents:
diff changeset
1920 modified. Otherwise, the original text was deleted.
Dave Love <fx@gnu.org>
parents:
diff changeset
1921
Dave Love <fx@gnu.org>
parents:
diff changeset
1922 Although the ancestor buffer is normally invisible, Ediff maintains
Dave Love <fx@gnu.org>
parents:
diff changeset
1923 difference regions there and advances the current difference region
Dave Love <fx@gnu.org>
parents:
diff changeset
1924 accordingly. All highlighting of difference regions is provided in the
Dave Love <fx@gnu.org>
parents:
diff changeset
1925 ancestor buffer, except for the fine differences. Therefore, if desired, the
Dave Love <fx@gnu.org>
parents:
diff changeset
1926 user can put the ancestor buffer in a separate frame and watch it
Dave Love <fx@gnu.org>
parents:
diff changeset
1927 there. However, on a TTY, only one frame can be visible at any given time,
Dave Love <fx@gnu.org>
parents:
diff changeset
1928 and Ediff doesn't support any single-frame window configuration where all
Dave Love <fx@gnu.org>
parents:
diff changeset
1929 buffers, including the ancestor buffer, would be visible. However, the
Dave Love <fx@gnu.org>
parents:
diff changeset
1930 ancestor buffer can be displayed by typing @kbd{/} to the control
Dave Love <fx@gnu.org>
parents:
diff changeset
1931 window. (Type @kbd{C-l} to hide it again.)
Dave Love <fx@gnu.org>
parents:
diff changeset
1932
Dave Love <fx@gnu.org>
parents:
diff changeset
1933 Note that the state-of-difference indicators @samp{=diff(A)} and
Dave Love <fx@gnu.org>
parents:
diff changeset
1934 @samp{=diff(B)} above are not redundant, even in the presence of a
Dave Love <fx@gnu.org>
parents:
diff changeset
1935 state-of-merge indicator. In fact, the two serve different purposes.
Dave Love <fx@gnu.org>
parents:
diff changeset
1936
Dave Love <fx@gnu.org>
parents:
diff changeset
1937 For instance, if the mode line displays @samp{=diff(B) prefer(B)} and
Dave Love <fx@gnu.org>
parents:
diff changeset
1938 you copy a difference region from buffer A to buffer C then
Dave Love <fx@gnu.org>
parents:
diff changeset
1939 @samp{=diff(B)} will change to @samp{diff-A} and the mode line will
Dave Love <fx@gnu.org>
parents:
diff changeset
1940 display @samp{=diff(A) prefer-B}. This indicates that the difference
Dave Love <fx@gnu.org>
parents:
diff changeset
1941 region in buffer C is identical to that in buffer A, but originally
Dave Love <fx@gnu.org>
parents:
diff changeset
1942 buffer C's region came from buffer B. This is useful to know because
Dave Love <fx@gnu.org>
parents:
diff changeset
1943 you can recover the original difference region in buffer C by typing
Dave Love <fx@gnu.org>
parents:
diff changeset
1944 @kbd{r}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1945
Dave Love <fx@gnu.org>
parents:
diff changeset
1946
Dave Love <fx@gnu.org>
parents:
diff changeset
1947 Ediff never changes the state-of-merge indicator, except in response to
Dave Love <fx@gnu.org>
parents:
diff changeset
1948 the @kbd{!} command (see below), in which case the indicator is lost.
Dave Love <fx@gnu.org>
parents:
diff changeset
1949 On the other hand, the state-of-difference indicator is changed
Dave Love <fx@gnu.org>
parents:
diff changeset
1950 automatically by the copying/recovery commands, @kbd{a}, @kbd{b}, @kbd{r},
Dave Love <fx@gnu.org>
parents:
diff changeset
1951 @kbd{+}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1952
Dave Love <fx@gnu.org>
parents:
diff changeset
1953 The @kbd{!} command loses the information about origins of the regions
Dave Love <fx@gnu.org>
parents:
diff changeset
1954 in the merge buffer (default-A, prefer-B, or combined). This is because
Dave Love <fx@gnu.org>
parents:
diff changeset
1955 recomputing differences in this case means running @code{diff3} on
Dave Love <fx@gnu.org>
parents:
diff changeset
1956 buffers A, B, and the merge buffer, not on the ancestor buffer. (It
Dave Love <fx@gnu.org>
parents:
diff changeset
1957 makes no sense to recompute differences using the ancestor file, since
Dave Love <fx@gnu.org>
parents:
diff changeset
1958 in the merging mode Ediff assumes that you have not edited buffers A and
Dave Love <fx@gnu.org>
parents:
diff changeset
1959 B, but that you may have edited buffer C, and these changes are to be
Dave Love <fx@gnu.org>
parents:
diff changeset
1960 preserved.) Since some difference regions may disappear as a result of
Dave Love <fx@gnu.org>
parents:
diff changeset
1961 editing buffer C and others may arise, there is generally no simple way
Dave Love <fx@gnu.org>
parents:
diff changeset
1962 to tell where the various regions in the merge buffer came from.
Dave Love <fx@gnu.org>
parents:
diff changeset
1963
Dave Love <fx@gnu.org>
parents:
diff changeset
1964 In three-way comparison, Ediff tries to disregard regions that consist
Dave Love <fx@gnu.org>
parents:
diff changeset
1965 entirely of white space. For instance, if, say, the current region in
Dave Love <fx@gnu.org>
parents:
diff changeset
1966 buffer A consists of the white space only (or if it is empty), Ediff will
Dave Love <fx@gnu.org>
parents:
diff changeset
1967 not take it into account for the purpose of computing fine differences. The
Dave Love <fx@gnu.org>
parents:
diff changeset
1968 result is that Ediff can provide a better visual information regarding the
Dave Love <fx@gnu.org>
parents:
diff changeset
1969 actual fine differences in the non-white regions in buffers B and
Dave Love <fx@gnu.org>
parents:
diff changeset
1970 C. Moreover, if the regions in buffers B and C differ in the white space
Dave Love <fx@gnu.org>
parents:
diff changeset
1971 only, then a message to this effect will be displayed.
Dave Love <fx@gnu.org>
parents:
diff changeset
1972
Dave Love <fx@gnu.org>
parents:
diff changeset
1973 @vindex ediff-merge-window-share
Dave Love <fx@gnu.org>
parents:
diff changeset
1974 In the merge mode, the share of the split between window C (the window
Dave Love <fx@gnu.org>
parents:
diff changeset
1975 displaying the merge-buffer) and the windows displaying buffers A and B
Dave Love <fx@gnu.org>
parents:
diff changeset
1976 is controlled by the variable @code{ediff-merge-window-share}. Its
Dave Love <fx@gnu.org>
parents:
diff changeset
1977 default value is 0.5. To make the merge-buffer window smaller, reduce
Dave Love <fx@gnu.org>
parents:
diff changeset
1978 this amount.
Dave Love <fx@gnu.org>
parents:
diff changeset
1979
Dave Love <fx@gnu.org>
parents:
diff changeset
1980 We don't recommend increasing the size of the merge-window to more than
Dave Love <fx@gnu.org>
parents:
diff changeset
1981 half the frame (i.e., to increase the value of
Dave Love <fx@gnu.org>
parents:
diff changeset
1982 @code{ediff-merge-window-share}) to more than 0.5, since it would be
Dave Love <fx@gnu.org>
parents:
diff changeset
1983 hard to see the contents of buffers A and B.
Dave Love <fx@gnu.org>
parents:
diff changeset
1984
Dave Love <fx@gnu.org>
parents:
diff changeset
1985 You can temporarily shrink the merge window to just one line by
Dave Love <fx@gnu.org>
parents:
diff changeset
1986 typing @kbd{s}. This change is temporary, until Ediff finds a reason to
Dave Love <fx@gnu.org>
parents:
diff changeset
1987 redraw the screen. Typing @kbd{s} again restores the original window size.
Dave Love <fx@gnu.org>
parents:
diff changeset
1988
Dave Love <fx@gnu.org>
parents:
diff changeset
1989 With a positive prefix argument, the @kbd{s} command will make the merge
Dave Love <fx@gnu.org>
parents:
diff changeset
1990 window slightly taller. This change is persistent. With `@kbd{-}' or
Dave Love <fx@gnu.org>
parents:
diff changeset
1991 with a negative prefix argument, the command @kbd{s} makes the merge
Dave Love <fx@gnu.org>
parents:
diff changeset
1992 window slightly shorter. This change also persistent.
Dave Love <fx@gnu.org>
parents:
diff changeset
1993
Dave Love <fx@gnu.org>
parents:
diff changeset
1994 @vindex ediff-show-clashes-only
Dave Love <fx@gnu.org>
parents:
diff changeset
1995 Ediff lets you automatically ignore the regions where only one of the
Dave Love <fx@gnu.org>
parents:
diff changeset
1996 buffers A and B disagrees with the ancestor. To do this, set the
Dave Love <fx@gnu.org>
parents:
diff changeset
1997 variable @code{ediff-show-clashes-only} to non-@code{nil}.
Dave Love <fx@gnu.org>
parents:
diff changeset
1998
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
1999 You can toggle this feature interactively by typing @kbd{$$}.
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2000
Dave Love <fx@gnu.org>
parents:
diff changeset
2001 Note that this variable affects only the show next/previous difference
Dave Love <fx@gnu.org>
parents:
diff changeset
2002 commands. You can still jump directly to any difference region directly
Dave Love <fx@gnu.org>
parents:
diff changeset
2003 using the command @kbd{j} (with a prefix argument specifying the difference
Dave Love <fx@gnu.org>
parents:
diff changeset
2004 number).
Dave Love <fx@gnu.org>
parents:
diff changeset
2005
Dave Love <fx@gnu.org>
parents:
diff changeset
2006 @vindex ediff-autostore-merges
Dave Love <fx@gnu.org>
parents:
diff changeset
2007 @vindex ediff-quit-merge-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
2008 @findex ediff-maybe-save-and-delete-merge
Dave Love <fx@gnu.org>
parents:
diff changeset
2009 The variable @code{ediff-autostore-merges} controls what happens to the
Dave Love <fx@gnu.org>
parents:
diff changeset
2010 merge buffer when Ediff quits. If the value is @code{nil}, nothing is done
Dave Love <fx@gnu.org>
parents:
diff changeset
2011 to the merge buffer---it will be the user's responsibility to save it.
Dave Love <fx@gnu.org>
parents:
diff changeset
2012 If the value is @code{t}, the user will be asked where to save the buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
2013 and whether to delete it afterwards. It the value is neither @code{nil} nor
Dave Love <fx@gnu.org>
parents:
diff changeset
2014 @code{t}, the merge buffer is saved @emph{only} if this merge session was
Dave Love <fx@gnu.org>
parents:
diff changeset
2015 invoked from a group of related Ediff session, such as those that result
Dave Love <fx@gnu.org>
parents:
diff changeset
2016 from @code{ediff-merge-directories},
Dave Love <fx@gnu.org>
parents:
diff changeset
2017 @code{ediff-merge-directory-revisions}, etc.
Dave Love <fx@gnu.org>
parents:
diff changeset
2018 @xref{Session Groups}. This behavior is implemented in the function
Dave Love <fx@gnu.org>
parents:
diff changeset
2019 @code{ediff-maybe-save-and-delete-merge}, which is a hook in
Dave Love <fx@gnu.org>
parents:
diff changeset
2020 @code{ediff-quit-merge-hook}. The user can supply a different hook, if
Dave Love <fx@gnu.org>
parents:
diff changeset
2021 necessary.
Dave Love <fx@gnu.org>
parents:
diff changeset
2022
Dave Love <fx@gnu.org>
parents:
diff changeset
2023 The variable @code{ediff-autostore-merges} is buffer-local, so it can be
Dave Love <fx@gnu.org>
parents:
diff changeset
2024 set in a per-buffer manner. Therefore, use @code{setq-default} to globally
Dave Love <fx@gnu.org>
parents:
diff changeset
2025 change this variable.
Dave Love <fx@gnu.org>
parents:
diff changeset
2026
29165
641e43bad886 2000-05-24 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 29107
diff changeset
2027 @vindex ediff-merge-filename-prefix
641e43bad886 2000-05-24 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 29107
diff changeset
2028 When merge buffers are saved automatically as directed by
641e43bad886 2000-05-24 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 29107
diff changeset
2029 @code{ediff-autostore-merges}, Ediff attaches a prefix to each file, as
641e43bad886 2000-05-24 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 29107
diff changeset
2030 specified by the variable @code{ediff-merge-filename-prefix}. The default
641e43bad886 2000-05-24 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 29107
diff changeset
2031 is @code{merge_}, but this can be changed by the user.
641e43bad886 2000-05-24 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 29107
diff changeset
2032
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2033 @node Support for Version Control, Customizing the Mode Line, Merging and diff3, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
2034 @section Support for Version Control
Dave Love <fx@gnu.org>
parents:
diff changeset
2035
Dave Love <fx@gnu.org>
parents:
diff changeset
2036
Dave Love <fx@gnu.org>
parents:
diff changeset
2037 Ediff supports version control and lets you compare versions of files
Dave Love <fx@gnu.org>
parents:
diff changeset
2038 visited by Emacs buffers via the function @code{ediff-revision}. This
Dave Love <fx@gnu.org>
parents:
diff changeset
2039 feature is controlled by the following variables:
Dave Love <fx@gnu.org>
parents:
diff changeset
2040
Dave Love <fx@gnu.org>
parents:
diff changeset
2041 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
2042 @item ediff-version-control-package
Dave Love <fx@gnu.org>
parents:
diff changeset
2043 @vindex ediff-version-control-package
Dave Love <fx@gnu.org>
parents:
diff changeset
2044 A symbol. The default is @samp{vc}.
Dave Love <fx@gnu.org>
parents:
diff changeset
2045
Dave Love <fx@gnu.org>
parents:
diff changeset
2046 If you are like most Emacs users, Ediff will use VC as the version control
Dave Love <fx@gnu.org>
parents:
diff changeset
2047 package. This is the standard Emacs interface to RCS, CVS, and SCCS.
Dave Love <fx@gnu.org>
parents:
diff changeset
2048
Dave Love <fx@gnu.org>
parents:
diff changeset
2049 However, if your needs are better served by other interfaces, you will
Dave Love <fx@gnu.org>
parents:
diff changeset
2050 have to tell Ediff which version control package you are using, e.g.,
Dave Love <fx@gnu.org>
parents:
diff changeset
2051 @example
Dave Love <fx@gnu.org>
parents:
diff changeset
2052 (setq ediff-version-control-package 'rcs)
Dave Love <fx@gnu.org>
parents:
diff changeset
2053 @end example
Dave Love <fx@gnu.org>
parents:
diff changeset
2054
Dave Love <fx@gnu.org>
parents:
diff changeset
2055 Apart from the standard @file{vc.el}, Ediff supports three other interfaces
33019
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
2056 to version control: @file{rcs.el}, @file{pcl-cvs.el} (recently renamed
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
2057 pcvs.el), and @file{generic-sc.el}. The package @file{rcs.el} is written
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
2058 by Sebastian Kremer <sk@@thp.Uni-Koeln.DE> and is available as
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2059 @example
Dave Love <fx@gnu.org>
parents:
diff changeset
2060 @file{ftp.cs.buffalo.edu:pub/Emacs/rcs.tar.Z}
Dave Love <fx@gnu.org>
parents:
diff changeset
2061 @file{ftp.uni-koeln.de:/pub/gnu/emacs/rcs.tar.Z}
Dave Love <fx@gnu.org>
parents:
diff changeset
2062 @end example
Dave Love <fx@gnu.org>
parents:
diff changeset
2063 @pindex @file{vc.el}
Dave Love <fx@gnu.org>
parents:
diff changeset
2064 @pindex @file{rcs.el}
Dave Love <fx@gnu.org>
parents:
diff changeset
2065 @pindex @file{pcl-cvs.el}
Dave Love <fx@gnu.org>
parents:
diff changeset
2066 @pindex @file{generic-sc.el}
Dave Love <fx@gnu.org>
parents:
diff changeset
2067 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
2068
Dave Love <fx@gnu.org>
parents:
diff changeset
2069 Ediff's interface to the above packages allows the user to compare the
Dave Love <fx@gnu.org>
parents:
diff changeset
2070 versions of the current buffer or to merge them (with or without an
Dave Love <fx@gnu.org>
parents:
diff changeset
2071 ancestor-version). These operations can also be performed on directories
Dave Love <fx@gnu.org>
parents:
diff changeset
2072 containing files under version control.
Dave Love <fx@gnu.org>
parents:
diff changeset
2073
Dave Love <fx@gnu.org>
parents:
diff changeset
2074 In case of @file{pcl-cvs.el}, Ediff can also be invoked via the function
Dave Love <fx@gnu.org>
parents:
diff changeset
2075 @code{run-ediff-from-cvs-buffer}---see the documentation string for this
Dave Love <fx@gnu.org>
parents:
diff changeset
2076 function.
Dave Love <fx@gnu.org>
parents:
diff changeset
2077
Dave Love <fx@gnu.org>
parents:
diff changeset
2078 @node Customizing the Mode Line, Miscellaneous, Support for Version Control, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
2079 @section Customizing the Mode Line
Dave Love <fx@gnu.org>
parents:
diff changeset
2080
Dave Love <fx@gnu.org>
parents:
diff changeset
2081 When Ediff is running, the mode line of @samp{Ediff Control Panel}
Dave Love <fx@gnu.org>
parents:
diff changeset
2082 buffer shows the current difference number and the total number of
Dave Love <fx@gnu.org>
parents:
diff changeset
2083 difference regions in the two files.
Dave Love <fx@gnu.org>
parents:
diff changeset
2084
Dave Love <fx@gnu.org>
parents:
diff changeset
2085 The mode line of the buffers being compared displays the type of the
Dave Love <fx@gnu.org>
parents:
diff changeset
2086 buffer (@samp{A:}, @samp{B:}, or @samp{C:}) and (usually) the file name.
Dave Love <fx@gnu.org>
parents:
diff changeset
2087 Ediff tries to be intelligent in choosing the mode line buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
2088 identification. In particular, it works well with the
Dave Love <fx@gnu.org>
parents:
diff changeset
2089 @file{uniquify.el} and @file{mode-line.el} packages (which improve on
Dave Love <fx@gnu.org>
parents:
diff changeset
2090 the default way in which Emacs displays buffer identification). If you
Dave Love <fx@gnu.org>
parents:
diff changeset
2091 don't like the way Ediff changes the mode line, you can use
Dave Love <fx@gnu.org>
parents:
diff changeset
2092 @code{ediff-prepare-buffer-hook} to modify the mode line.
Dave Love <fx@gnu.org>
parents:
diff changeset
2093 @vindex ediff-prepare-buffer-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
2094 @pindex @file{uniquify.el}
Dave Love <fx@gnu.org>
parents:
diff changeset
2095 @pindex @file{mode-line.el}
Dave Love <fx@gnu.org>
parents:
diff changeset
2096
Dave Love <fx@gnu.org>
parents:
diff changeset
2097 @node Miscellaneous, Notes on Heavy-duty Customization, Customizing the Mode Line, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
2098 @section Miscellaneous
Dave Love <fx@gnu.org>
parents:
diff changeset
2099
Dave Love <fx@gnu.org>
parents:
diff changeset
2100 Here are a few other variables for customizing Ediff:
Dave Love <fx@gnu.org>
parents:
diff changeset
2101
Dave Love <fx@gnu.org>
parents:
diff changeset
2102 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
2103 @item ediff-split-window-function
Dave Love <fx@gnu.org>
parents:
diff changeset
2104 @vindex ediff-split-window-function
Dave Love <fx@gnu.org>
parents:
diff changeset
2105 Controls the way you want the window be split between file-A and file-B
Dave Love <fx@gnu.org>
parents:
diff changeset
2106 (and file-C, if applicable). It defaults to the vertical split
Dave Love <fx@gnu.org>
parents:
diff changeset
2107 (@code{split-window-vertically}, but you can set it to
Dave Love <fx@gnu.org>
parents:
diff changeset
2108 @code{split-window-horizontally}, if you so wish.
Dave Love <fx@gnu.org>
parents:
diff changeset
2109 Ediff also lets you switch from vertical to horizontal split and back
Dave Love <fx@gnu.org>
parents:
diff changeset
2110 interactively.
Dave Love <fx@gnu.org>
parents:
diff changeset
2111
Dave Love <fx@gnu.org>
parents:
diff changeset
2112 Note that if Ediff detects that all the buffers it compares are displayed in
Dave Love <fx@gnu.org>
parents:
diff changeset
2113 separate frames, it assumes that the user wants them to be so displayed
Dave Love <fx@gnu.org>
parents:
diff changeset
2114 and stops splitting windows. Instead, it arranges for each buffer to
Dave Love <fx@gnu.org>
parents:
diff changeset
2115 be displayed in a separate frame. You can switch to the one-frame mode
Dave Love <fx@gnu.org>
parents:
diff changeset
2116 by hiding one of the buffers A/B/C.
Dave Love <fx@gnu.org>
parents:
diff changeset
2117
Dave Love <fx@gnu.org>
parents:
diff changeset
2118 You can also swap the windows where buffers are displayed by typing
Dave Love <fx@gnu.org>
parents:
diff changeset
2119 @kbd{~}.
Dave Love <fx@gnu.org>
parents:
diff changeset
2120
Dave Love <fx@gnu.org>
parents:
diff changeset
2121 @item ediff-merge-split-window-function
Dave Love <fx@gnu.org>
parents:
diff changeset
2122 @vindex ediff-merge-split-window-function
Dave Love <fx@gnu.org>
parents:
diff changeset
2123 Controls how windows are
Dave Love <fx@gnu.org>
parents:
diff changeset
2124 split between buffers A and B in the merge mode.
Dave Love <fx@gnu.org>
parents:
diff changeset
2125 This variable is like @code{ediff-split-window-function}, but it defaults
Dave Love <fx@gnu.org>
parents:
diff changeset
2126 to @code{split-window-horizontally} instead of
Dave Love <fx@gnu.org>
parents:
diff changeset
2127 @code{split-window-vertically}.
Dave Love <fx@gnu.org>
parents:
diff changeset
2128
Dave Love <fx@gnu.org>
parents:
diff changeset
2129 @item ediff-make-wide-display-function
Dave Love <fx@gnu.org>
parents:
diff changeset
2130 @vindex ediff-make-wide-display-function
Dave Love <fx@gnu.org>
parents:
diff changeset
2131 The value is a function to be called to widen the frame for displaying
Dave Love <fx@gnu.org>
parents:
diff changeset
2132 the Ediff buffers. See the on-line documentation for
Dave Love <fx@gnu.org>
parents:
diff changeset
2133 @code{ediff-make-wide-display-function} for details. It is also
Dave Love <fx@gnu.org>
parents:
diff changeset
2134 recommended to look into the source of the default function
Dave Love <fx@gnu.org>
parents:
diff changeset
2135 @code{ediff-make-wide-display}.
Dave Love <fx@gnu.org>
parents:
diff changeset
2136
Dave Love <fx@gnu.org>
parents:
diff changeset
2137 You can toggle wide/regular display by typing @kbd{m}. In the wide
Dave Love <fx@gnu.org>
parents:
diff changeset
2138 display mode, buffers A, B (and C, when applicable) are displayed in a
Dave Love <fx@gnu.org>
parents:
diff changeset
2139 single frame that is as wide as the entire workstation screen. This is
Dave Love <fx@gnu.org>
parents:
diff changeset
2140 useful when files are compared side-by-side. By default, the display is
Dave Love <fx@gnu.org>
parents:
diff changeset
2141 widened without changing its height.
Dave Love <fx@gnu.org>
parents:
diff changeset
2142
Dave Love <fx@gnu.org>
parents:
diff changeset
2143 @item ediff-use-last-dir
Dave Love <fx@gnu.org>
parents:
diff changeset
2144 @vindex ediff-use-last-dir
Dave Love <fx@gnu.org>
parents:
diff changeset
2145 Controls the way Ediff presents the
Dave Love <fx@gnu.org>
parents:
diff changeset
2146 default directory when it prompts the user for files to compare. If
Dave Love <fx@gnu.org>
parents:
diff changeset
2147 @code{nil},
Dave Love <fx@gnu.org>
parents:
diff changeset
2148 Ediff uses the default directory of the current buffer when it
Dave Love <fx@gnu.org>
parents:
diff changeset
2149 prompts the user for file names. Otherwise, it will use the
Dave Love <fx@gnu.org>
parents:
diff changeset
2150 directories it had previously used for files A, B, or C, respectively.
Dave Love <fx@gnu.org>
parents:
diff changeset
2151
Dave Love <fx@gnu.org>
parents:
diff changeset
2152 @item ediff-no-emacs-help-in-control-buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
2153 @vindex ediff-no-emacs-help-in-control-buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
2154 If @code{t}, makes @kbd{C-h}
Dave Love <fx@gnu.org>
parents:
diff changeset
2155 behave like the @key{DEL} key, i.e., it will move you back to the previous
Dave Love <fx@gnu.org>
parents:
diff changeset
2156 difference rather than invoking help. This is useful when, in an xterm
Dave Love <fx@gnu.org>
parents:
diff changeset
2157 window or a text-only terminal, the Backspace key is bound to @kbd{C-h} and is
Dave Love <fx@gnu.org>
parents:
diff changeset
2158 positioned more conveniently than the @key{DEL} key.
Dave Love <fx@gnu.org>
parents:
diff changeset
2159
Dave Love <fx@gnu.org>
parents:
diff changeset
2160 @item ediff-toggle-read-only-function
Dave Love <fx@gnu.org>
parents:
diff changeset
2161 @vindex ediff-toggle-read-only-function
Dave Love <fx@gnu.org>
parents:
diff changeset
2162 This variable's value is a function that Ediff uses to toggle
Dave Love <fx@gnu.org>
parents:
diff changeset
2163 the read-only property in its buffers.
Dave Love <fx@gnu.org>
parents:
diff changeset
2164
Dave Love <fx@gnu.org>
parents:
diff changeset
2165 The default function that Ediff uses simply toggles the read-only property,
Dave Love <fx@gnu.org>
parents:
diff changeset
2166 unless the file is under version control. For a checked-in file under
Dave Love <fx@gnu.org>
parents:
diff changeset
2167 version control, Ediff first tries to check the file out.
Dave Love <fx@gnu.org>
parents:
diff changeset
2168
Dave Love <fx@gnu.org>
parents:
diff changeset
2169 @item ediff-make-buffers-readonly-at-startup nil
Dave Love <fx@gnu.org>
parents:
diff changeset
2170 @vindex ediff-make-buffers-readonly-at-startup
Dave Love <fx@gnu.org>
parents:
diff changeset
2171 If t, all variant buffers are made read-only at Ediff startup.
Dave Love <fx@gnu.org>
parents:
diff changeset
2172
Dave Love <fx@gnu.org>
parents:
diff changeset
2173 @item ediff-keep-variants
Dave Love <fx@gnu.org>
parents:
diff changeset
2174 @vindex @code{ediff-keep-variants}
Dave Love <fx@gnu.org>
parents:
diff changeset
2175 The default is @code{t}, meaning that the buffers being compared or merged will
Dave Love <fx@gnu.org>
parents:
diff changeset
2176 be preserved when Ediff quits. Setting this to @code{nil} causes Ediff to
Dave Love <fx@gnu.org>
parents:
diff changeset
2177 offer the user a chance to delete these buffers (if they are not modified).
Dave Love <fx@gnu.org>
parents:
diff changeset
2178 Supplying a prefix argument to the quit command (@code{q}) temporarily
Dave Love <fx@gnu.org>
parents:
diff changeset
2179 reverses the meaning of this variable. This is convenient when the user
Dave Love <fx@gnu.org>
parents:
diff changeset
2180 prefers one of the behaviors most of the time, but occasionally needs the
Dave Love <fx@gnu.org>
parents:
diff changeset
2181 other behavior.
Dave Love <fx@gnu.org>
parents:
diff changeset
2182
Dave Love <fx@gnu.org>
parents:
diff changeset
2183 However, Ediff temporarily resets this variable to @code{t} if it is
Dave Love <fx@gnu.org>
parents:
diff changeset
2184 invoked via one of the "buffer" jobs, such as @code{ediff-buffers}.
Dave Love <fx@gnu.org>
parents:
diff changeset
2185 This is because it is all too easy to loose day's work otherwise.
Dave Love <fx@gnu.org>
parents:
diff changeset
2186 Besides, in a "buffer" job, the variant buffers have already been loaded
Dave Love <fx@gnu.org>
parents:
diff changeset
2187 prior to starting Ediff, so Ediff just preserves status quo here.
Dave Love <fx@gnu.org>
parents:
diff changeset
2188
Dave Love <fx@gnu.org>
parents:
diff changeset
2189 Using @code{ediff-cleanup-hook}, one can make Ediff delete the variants
Dave Love <fx@gnu.org>
parents:
diff changeset
2190 unconditionally (e.g., by making @code{ediff-janitor} into one of these hooks).
Dave Love <fx@gnu.org>
parents:
diff changeset
2191 @item ediff-grab-mouse
Dave Love <fx@gnu.org>
parents:
diff changeset
2192 @vindex @code{ediff-grab-mouse}
Dave Love <fx@gnu.org>
parents:
diff changeset
2193 Default is @code{t}. Normally, Ediff grabs mouse and puts it in its
Dave Love <fx@gnu.org>
parents:
diff changeset
2194 control frame. This is useful since the user can be sure that when he
Dave Love <fx@gnu.org>
parents:
diff changeset
2195 needs to type an Ediff command the focus will be in an appropriate Ediff's
Dave Love <fx@gnu.org>
parents:
diff changeset
2196 frame. However, some users prefer to move the mouse by themselves. The
Dave Love <fx@gnu.org>
parents:
diff changeset
2197 above variable, if set to @code{maybe}, will prevent Ediff from grabbing
Dave Love <fx@gnu.org>
parents:
diff changeset
2198 the mouse in many situations, usually after commands that may take more
Dave Love <fx@gnu.org>
parents:
diff changeset
2199 time than usual. In other situation, Ediff will continue grabbing the mouse
Dave Love <fx@gnu.org>
parents:
diff changeset
2200 and putting it where it believes is appropriate. If the value is
Dave Love <fx@gnu.org>
parents:
diff changeset
2201 @code{nil}, then mouse is entirely user's responsibility.
Dave Love <fx@gnu.org>
parents:
diff changeset
2202 Try different settings and see which one is for you.
Dave Love <fx@gnu.org>
parents:
diff changeset
2203 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
2204
Dave Love <fx@gnu.org>
parents:
diff changeset
2205
Dave Love <fx@gnu.org>
parents:
diff changeset
2206 @node Notes on Heavy-duty Customization, , Miscellaneous, Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
2207 @section Notes on Heavy-duty Customization
Dave Love <fx@gnu.org>
parents:
diff changeset
2208
Dave Love <fx@gnu.org>
parents:
diff changeset
2209 Some users need to customize Ediff in rather sophisticated ways, which
Dave Love <fx@gnu.org>
parents:
diff changeset
2210 requires different defaults for different kinds of files (e.g., SGML,
Dave Love <fx@gnu.org>
parents:
diff changeset
2211 etc.). Ediff supports this kind of customization in several ways. First,
Dave Love <fx@gnu.org>
parents:
diff changeset
2212 most customization variables are buffer-local. Those that aren't are
Dave Love <fx@gnu.org>
parents:
diff changeset
2213 usually accessible from within Ediff Control Panel, so one can make them
Dave Love <fx@gnu.org>
parents:
diff changeset
2214 local to the panel by calling make-local-variable from within
Dave Love <fx@gnu.org>
parents:
diff changeset
2215 @code{ediff-startup-hook}.
Dave Love <fx@gnu.org>
parents:
diff changeset
2216
Dave Love <fx@gnu.org>
parents:
diff changeset
2217 Second, the function @code{ediff-setup} accepts an optional sixth
Dave Love <fx@gnu.org>
parents:
diff changeset
2218 argument which has the form @code{((@var{var-name-1} .@: @var{val-1})
Dave Love <fx@gnu.org>
parents:
diff changeset
2219 (@var{var-name-2} .@: @var{val-2}) @dots{})}. The function
Dave Love <fx@gnu.org>
parents:
diff changeset
2220 @code{ediff-setup} sets the variables in the list to the respective
Dave Love <fx@gnu.org>
parents:
diff changeset
2221 values, locally in the Ediff control buffer. This is an easy way to
Dave Love <fx@gnu.org>
parents:
diff changeset
2222 throw in custom variables (which usually should be buffer-local) that
Dave Love <fx@gnu.org>
parents:
diff changeset
2223 can then be tested in various hooks.
Dave Love <fx@gnu.org>
parents:
diff changeset
2224
Dave Love <fx@gnu.org>
parents:
diff changeset
2225 Make sure the variable @code{ediff-job-name} and @code{ediff-word-mode} are set
Dave Love <fx@gnu.org>
parents:
diff changeset
2226 properly in this case, as some things in Ediff depend on this.
Dave Love <fx@gnu.org>
parents:
diff changeset
2227
Dave Love <fx@gnu.org>
parents:
diff changeset
2228 Finally, if you want custom-tailored help messages, you can set the
Dave Love <fx@gnu.org>
parents:
diff changeset
2229 variables @code{ediff-brief-help-message-function} and
Dave Love <fx@gnu.org>
parents:
diff changeset
2230 @code{ediff-long-help-message-function}
Dave Love <fx@gnu.org>
parents:
diff changeset
2231 to functions that return help strings.
Dave Love <fx@gnu.org>
parents:
diff changeset
2232 @vindex ediff-startup-hook
Dave Love <fx@gnu.org>
parents:
diff changeset
2233 @findex ediff-setup
Dave Love <fx@gnu.org>
parents:
diff changeset
2234 @vindex ediff-job-name
Dave Love <fx@gnu.org>
parents:
diff changeset
2235 @vindex ediff-word-mode
Dave Love <fx@gnu.org>
parents:
diff changeset
2236 @vindex ediff-brief-help-message-function
Dave Love <fx@gnu.org>
parents:
diff changeset
2237 @vindex ediff-long-help-message-function
Dave Love <fx@gnu.org>
parents:
diff changeset
2238
Dave Love <fx@gnu.org>
parents:
diff changeset
2239 When customizing Ediff, some other variables are useful, although they are
Dave Love <fx@gnu.org>
parents:
diff changeset
2240 not user-definable. They are local to the Ediff control buffer, so this
Dave Love <fx@gnu.org>
parents:
diff changeset
2241 buffer must be current when you access these variables. The control buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
2242 is accessible via the variable @code{ediff-control-buffer}, which is also
Dave Love <fx@gnu.org>
parents:
diff changeset
2243 local to that buffer. It is usually used for checking if the current buffer
Dave Love <fx@gnu.org>
parents:
diff changeset
2244 is also the control buffer.
Dave Love <fx@gnu.org>
parents:
diff changeset
2245
Dave Love <fx@gnu.org>
parents:
diff changeset
2246 Other variables of interest are:
Dave Love <fx@gnu.org>
parents:
diff changeset
2247 @table @code
Dave Love <fx@gnu.org>
parents:
diff changeset
2248 @item ediff-buffer-A
Dave Love <fx@gnu.org>
parents:
diff changeset
2249 The first of the data buffers being compared.
Dave Love <fx@gnu.org>
parents:
diff changeset
2250
Dave Love <fx@gnu.org>
parents:
diff changeset
2251 @item ediff-buffer-B
Dave Love <fx@gnu.org>
parents:
diff changeset
2252 The second of the data buffers being compared.
Dave Love <fx@gnu.org>
parents:
diff changeset
2253
Dave Love <fx@gnu.org>
parents:
diff changeset
2254 @item ediff-buffer-C
Dave Love <fx@gnu.org>
parents:
diff changeset
2255 In three-way comparisons, this is the third buffer being compared.
Dave Love <fx@gnu.org>
parents:
diff changeset
2256 In merging, this is the merge buffer.
Dave Love <fx@gnu.org>
parents:
diff changeset
2257 In two-way comparison, this variable is nil.
Dave Love <fx@gnu.org>
parents:
diff changeset
2258
Dave Love <fx@gnu.org>
parents:
diff changeset
2259 @item ediff-window-A
Dave Love <fx@gnu.org>
parents:
diff changeset
2260 The window displaying buffer A. If buffer A is not visible, this variable
Dave Love <fx@gnu.org>
parents:
diff changeset
2261 is nil or it may be a dead window.
Dave Love <fx@gnu.org>
parents:
diff changeset
2262
Dave Love <fx@gnu.org>
parents:
diff changeset
2263 @item ediff-window-B
Dave Love <fx@gnu.org>
parents:
diff changeset
2264 The window displaying buffer B.
Dave Love <fx@gnu.org>
parents:
diff changeset
2265
Dave Love <fx@gnu.org>
parents:
diff changeset
2266 @item ediff-window-C
Dave Love <fx@gnu.org>
parents:
diff changeset
2267 The window displaying buffer C, if any.
Dave Love <fx@gnu.org>
parents:
diff changeset
2268
Dave Love <fx@gnu.org>
parents:
diff changeset
2269 @item ediff-control-frame
Dave Love <fx@gnu.org>
parents:
diff changeset
2270 A dedicated frame displaying the control buffer, if it exists.
Dave Love <fx@gnu.org>
parents:
diff changeset
2271 It is non-nil only if Ediff uses the multiframe display, i.e., when the
Dave Love <fx@gnu.org>
parents:
diff changeset
2272 control buffer is in its own frame.
Dave Love <fx@gnu.org>
parents:
diff changeset
2273 @end table
Dave Love <fx@gnu.org>
parents:
diff changeset
2274
Dave Love <fx@gnu.org>
parents:
diff changeset
2275 @node Credits, Index, Customization, Top
Dave Love <fx@gnu.org>
parents:
diff changeset
2276 @chapter Credits
Dave Love <fx@gnu.org>
parents:
diff changeset
2277
Dave Love <fx@gnu.org>
parents:
diff changeset
2278 Ediff was written by Michael Kifer <kifer@@cs.sunysb.edu>. It was inspired
Dave Love <fx@gnu.org>
parents:
diff changeset
2279 by emerge.el written by Dale R.@: Worley <drw@@math.mit.edu>. An idea due to
Dave Love <fx@gnu.org>
parents:
diff changeset
2280 Boris Goldowsky <boris@@cs.rochester.edu> made it possible to highlight
Dave Love <fx@gnu.org>
parents:
diff changeset
2281 fine differences in Ediff buffers. Alastair Burt <burt@@dfki.uni-kl.de>
Dave Love <fx@gnu.org>
parents:
diff changeset
2282 ported Ediff to XEmacs, Eric Freudenthal <freudent@@jan.ultra.nyu.edu>
Dave Love <fx@gnu.org>
parents:
diff changeset
2283 made it work with VC, Marc Paquette <marcpa@@cam.org> wrote the
26639
4aad3cb5a850 very minor fixes.
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26589
diff changeset
2284 toolbar support package for Ediff, and Hrvoje Niksic <hniksic@@xemacs.org>
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2285 adapted it to the Emacs customization package.
Dave Love <fx@gnu.org>
parents:
diff changeset
2286
Dave Love <fx@gnu.org>
parents:
diff changeset
2287 Many people provided help with bug reports, patches, and advice.
Dave Love <fx@gnu.org>
parents:
diff changeset
2288 Without them, Ediff would not be nearly as useful as it is today.
Dave Love <fx@gnu.org>
parents:
diff changeset
2289 Here is a full list of contributors (I hope I didn't miss anyone):
Dave Love <fx@gnu.org>
parents:
diff changeset
2290
Dave Love <fx@gnu.org>
parents:
diff changeset
2291 @example
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
2292 Adrian Aichner (aichner@@ecf.teradyne.com),
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2293 Steve Baur (steve@@xemacs.org),
Dave Love <fx@gnu.org>
parents:
diff changeset
2294 Neal Becker (neal@@ctd.comsat.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2295 E.@: Jay Berkenbilt (ejb@@ql.org),
Dave Love <fx@gnu.org>
parents:
diff changeset
2296 Alastair Burt (burt@@dfki.uni-kl.de),
Dave Love <fx@gnu.org>
parents:
diff changeset
2297 Paul Bibilo (peb@@delcam.co.uk),
Dave Love <fx@gnu.org>
parents:
diff changeset
2298 Kevin Broadey (KevinB@@bartley.demon.co.uk),
Dave Love <fx@gnu.org>
parents:
diff changeset
2299 Harald Boegeholz (hwb@@machnix.mathematik.uni-stuttgart.de),
Dave Love <fx@gnu.org>
parents:
diff changeset
2300 Bradley A.@: Bosch (brad@@lachman.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2301 Michael D.@: Carney (carney@@ltx-tr.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2302 Jin S.@: Choi (jin@@atype.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2303 Scott Cummings (cummings@@adc.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2304 Albert Dvornik (bert@@mit.edu),
Dave Love <fx@gnu.org>
parents:
diff changeset
2305 Eric Eide (eeide@@asylum.cs.utah.edu),
Dave Love <fx@gnu.org>
parents:
diff changeset
2306 Paul Eggert (eggert@@twinsun.com),
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
2307 Urban Engberg (ue@@cci.dk),
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2308 Kevin Esler (esler@@ch.hp.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2309 Robert Estes (estes@@ece.ucdavis.edu),
Dave Love <fx@gnu.org>
parents:
diff changeset
2310 Jay Finger (jayf@@microsoft.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2311 Xavier Fornari (xavier@@europe.cma.fr),
Dave Love <fx@gnu.org>
parents:
diff changeset
2312 Eric Freudenthal (freudent@@jan.ultra.nyu.edu),
Dave Love <fx@gnu.org>
parents:
diff changeset
2313 Job Ganzevoort (Job.Ganzevoort@@cwi.nl),
Dave Love <fx@gnu.org>
parents:
diff changeset
2314 Boris Goldowsky (boris@@cs.rochester.edu),
Dave Love <fx@gnu.org>
parents:
diff changeset
2315 Allan Gottlieb (gottlieb@@allan.ultra.nyu.edu),
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
2316 Aaron Gross (aaron@@bfr.co.il),
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2317 Thorbjoern Hansen (thorbjoern.hansen@@mchp.siemens.de),
Dave Love <fx@gnu.org>
parents:
diff changeset
2318 Xiaoli Huang (hxl@@epic.com),
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
2319 Andreas Jaeger (aj@@suse.de),
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2320 Lars Magne Ingebrigtsen (larsi@@ifi.uio.no),
Dave Love <fx@gnu.org>
parents:
diff changeset
2321 Larry Gouge (larry@@itginc.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2322 Karl Heuer (kwzh@@gnu.org),
Dave Love <fx@gnu.org>
parents:
diff changeset
2323 (irvine@@lks.csi.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2324 (jaffe@@chipmunk.cita.utoronto.ca),
Dave Love <fx@gnu.org>
parents:
diff changeset
2325 David Karr (dkarr@@nmo.gtegsc.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2326 Norbert Kiesel (norbert@@i3.informatik.rwth-aachen.de),
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
2327 Sam Steingold (sds@@goems.com),
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2328 Leigh L Klotz (klotz@@adoc.xerox.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2329 Fritz Knabe (Fritz.Knabe@@ecrc.de),
Dave Love <fx@gnu.org>
parents:
diff changeset
2330 Heinz Knutzen (hk@@informatik.uni-kiel.d400.de),
Dave Love <fx@gnu.org>
parents:
diff changeset
2331 Andrew Koenig (ark@@research.att.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2332 Ken Laprade (laprade@@dw3f.ess.harris.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2333 Will C Lauer (wcl@@cadre.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2334 Richard Levitte (levitte@@e.kth.se),
Dave Love <fx@gnu.org>
parents:
diff changeset
2335 Mike Long (mike.long@@analog.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2336 Martin Maechler (maechler@@stat.math.ethz.ch),
Dave Love <fx@gnu.org>
parents:
diff changeset
2337 Simon Marshall (simon@@gnu.org),
Dave Love <fx@gnu.org>
parents:
diff changeset
2338 Richard Mlynarik (mly@@adoc.xerox.com),
33019
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
2339 Stefan Monnier (monnier@@cs.yale.edu),
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2340 Chris Murphy (murphycm@@sun.aston.ac.uk),
Dave Love <fx@gnu.org>
parents:
diff changeset
2341 Erik Naggum (erik@@naggum.no),
Dave Love <fx@gnu.org>
parents:
diff changeset
2342 Eyvind Ness (Eyvind.Ness@@hrp.no),
Dave Love <fx@gnu.org>
parents:
diff changeset
2343 Ray Nickson (nickson@@cs.uq.oz.au),
Dave Love <fx@gnu.org>
parents:
diff changeset
2344 David Petchey (petchey_david@@jpmorgan.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2345 Benjamin Pierce (benjamin.pierce@@cl.cam.ac.uk),
26263
4f315ca65976 *** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 25829
diff changeset
2346 Francois Pinard (pinard@@iro.umontreal.ca),
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2347 Tibor Polgar (tlp00@@spg.amdahl.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2348 David Prince (dave0d@@fegs.co.uk),
Dave Love <fx@gnu.org>
parents:
diff changeset
2349 Paul Raines (raines@@slac.stanford.edu),
Dave Love <fx@gnu.org>
parents:
diff changeset
2350 Bill Richter (richter@@math.nwu.edu),
Dave Love <fx@gnu.org>
parents:
diff changeset
2351 C.S.@: Roberson (roberson@@aur.alcatel.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2352 Kevin Rodgers (kevin.rodgers@@ihs.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2353 Sandy Rutherford (sandy@@ibm550.sissa.it),
Dave Love <fx@gnu.org>
parents:
diff changeset
2354 Heribert Schuetz (schuetz@@ecrc.de),
Dave Love <fx@gnu.org>
parents:
diff changeset
2355 Andy Scott (ascott@@pcocd2.intel.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2356 Axel Seibert (axel@@tumbolia.ppp.informatik.uni-muenchen.de),
35411
be20c22dc16d 2001-01-19 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 34144
diff changeset
2357 Vin Shelton (acs@@xemacs.org),
be20c22dc16d 2001-01-19 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 34144
diff changeset
2358 Scott O. Sherman (Scott.Sherman@@mci.com),
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2359 Richard Stallman (rms@@gnu.org),
Dave Love <fx@gnu.org>
parents:
diff changeset
2360 Richard Stanton (stanton@@haas.berkeley.edu),
Dave Love <fx@gnu.org>
parents:
diff changeset
2361 Ake Stenhoff (etxaksf@@aom.ericsson.se),
Dave Love <fx@gnu.org>
parents:
diff changeset
2362 Stig (stig@@hackvan.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2363 Peter Stout (Peter_Stout@@cs.cmu.edu),
Dave Love <fx@gnu.org>
parents:
diff changeset
2364 Chuck Thompson (cthomp@@cs.uiuc.edu),
Dave Love <fx@gnu.org>
parents:
diff changeset
2365 Ray Tomlinson (tomlinso@@bbn.com),
Dave Love <fx@gnu.org>
parents:
diff changeset
2366 Raymond Toy (toy@@rtp.ericsson.se),
Dave Love <fx@gnu.org>
parents:
diff changeset
2367 Jan Vroonhof (vroonhof@@math.ethz.ch),
35411
be20c22dc16d 2001-01-19 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 34144
diff changeset
2368 Colin Walters (walters@@cis.ohio-state.edu),
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2369 Philippe Waroquiers (philippe.waroquiers@@eurocontrol.be),
Dave Love <fx@gnu.org>
parents:
diff changeset
2370 Klaus Weber (gizmo@@zork.north.de),
26639
4aad3cb5a850 very minor fixes.
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 26589
diff changeset
2371 Ben Wing (ben@@xemacs.org),
33019
6306740f6938 2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 30009
diff changeset
2372 Tom Wurgler (twurgler@@goodyear.com),
35411
be20c22dc16d 2001-01-19 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents: 34144
diff changeset
2373 Steve Youngs (youngs@@xemacs.org),
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2374 Ilya Zakharevich (ilya@@math.ohio-state.edu),
Dave Love <fx@gnu.org>
parents:
diff changeset
2375 Eli Zaretskii (eliz@@is.elta.co.il)
Dave Love <fx@gnu.org>
parents:
diff changeset
2376 @end example
Dave Love <fx@gnu.org>
parents:
diff changeset
2377
Dave Love <fx@gnu.org>
parents:
diff changeset
2378 @node Index, , Credits, Top
Dave Love <fx@gnu.org>
parents:
diff changeset
2379 @unnumbered Index
Dave Love <fx@gnu.org>
parents:
diff changeset
2380 @printindex cp
Dave Love <fx@gnu.org>
parents:
diff changeset
2381
29713
983e65f12610 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 29165
diff changeset
2382 @setchapternewpage odd
25829
Dave Love <fx@gnu.org>
parents:
diff changeset
2383 @contents
Dave Love <fx@gnu.org>
parents:
diff changeset
2384 @bye