Mercurial > emacs
annotate lisp/ediff-wind.el @ 59061:a7985894de81
Comment change.
| author | Richard M. Stallman <rms@gnu.org> |
|---|---|
| date | Tue, 21 Dec 2004 11:50:52 +0000 |
| parents | 695cf19ef79e |
| children | 2dd49ab983ac 375f2633d815 |
| rev | line source |
|---|---|
| 11042 | 1 ;;; ediff-wind.el --- window manipulation utilities |
| 14169 | 2 |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
3 ;; Copyright (C) 1994, 95, 96, 97, 2000, 01, 02 Free Software Foundation, Inc. |
| 11042 | 4 |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
5 ;; Author: Michael Kifer <kifer@cs.stonybrook.edu> |
| 11042 | 6 |
| 7 ;; This file is part of GNU Emacs. | |
| 8 | |
| 9 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
| 10 ;; it under the terms of the GNU General Public License as published by | |
| 11 ;; the Free Software Foundation; either version 2, or (at your option) | |
| 12 ;; any later version. | |
| 13 | |
| 14 ;; GNU Emacs is distributed in the hope that it will be useful, | |
| 15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 17 ;; GNU General Public License for more details. | |
| 18 | |
| 19 ;; You should have received a copy of the GNU General Public License | |
| 14169 | 20 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
| 21 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
| 22 ;; Boston, MA 02111-1307, USA. | |
| 11042 | 23 |
|
38422
7a94f1c588c4
Some fixes to follow coding conventions.
Pavel Jan?k <Pavel@Janik.cz>
parents:
36857
diff
changeset
|
24 ;;; Commentary: |
|
7a94f1c588c4
Some fixes to follow coding conventions.
Pavel Jan?k <Pavel@Janik.cz>
parents:
36857
diff
changeset
|
25 |
| 14169 | 26 ;;; Code: |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
27 |
| 18054 | 28 (provide 'ediff-wind) |
| 11042 | 29 |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
30 ;; Compiler pacifier |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
31 (defvar icon-title-format) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
32 (defvar top-toolbar-height) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
33 (defvar bottom-toolbar-height) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
34 (defvar left-toolbar-height) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
35 (defvar right-toolbar-height) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
36 (defvar left-toolbar-width) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
37 (defvar right-toolbar-width) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
38 (defvar default-menubar) |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
39 (defvar top-gutter) |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
40 (defvar frame-icon-title-format) |
| 18054 | 41 (defvar ediff-diff-status) |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
42 (defvar ediff-emacs-p) |
| 18054 | 43 |
| 44 (eval-when-compile | |
| 45 (let ((load-path (cons (expand-file-name ".") load-path))) | |
| 46 (or (featurep 'ediff-init) | |
| 47 (load "ediff-init.el" nil nil 'nosuffix)) | |
| 48 (or (featurep 'ediff-util) | |
| 49 (load "ediff-util.el" nil nil 'nosuffix)) | |
| 50 (or (featurep 'ediff-help) | |
| 51 (load "ediff-help.el" nil nil 'nosuffix)) | |
| 52 (or (featurep 'ediff-tbar) | |
| 21940 | 53 ediff-emacs-p |
| 18054 | 54 (load "ediff-tbar.el" 'noerror nil 'nosuffix)) |
| 55 )) | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
56 ;; end pacifier |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
57 |
| 18054 | 58 (require 'ediff-init) |
| 11042 | 59 |
| 18054 | 60 ;; be careful with ediff-tbar |
| 61 (if ediff-xemacs-p | |
| 62 (condition-case nil | |
| 63 (require 'ediff-tbar) | |
| 64 (error | |
| 65 (defun ediff-compute-toolbar-width () 0))) | |
| 66 (defun ediff-compute-toolbar-width () 0)) | |
| 67 | |
| 68 (defgroup ediff-window nil | |
| 69 "Ediff window manipulation" | |
| 70 :prefix "ediff-" | |
| 71 :group 'ediff | |
| 72 :group 'frames) | |
| 73 | |
| 74 | |
| 75 (defcustom ediff-window-setup-function (if (ediff-window-display-p) | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
76 'ediff-setup-windows-multiframe |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
77 'ediff-setup-windows-plain) |
| 11042 | 78 "*Function called to set up windows. |
| 26934 | 79 Ediff provides a choice of two functions: `ediff-setup-windows-plain', for |
| 80 doing everything in one frame, and `ediff-setup-windows-multiframe', | |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
81 which sets the control panel in a separate frame. Also, if the latter |
| 11042 | 82 function detects that one of the buffers A/B is seen in some other frame, |
| 83 it will try to keep that buffer in that frame. | |
| 84 | |
| 85 If you don't like the two functions provided---write your own one. | |
| 86 The basic guidelines: | |
| 87 1. It should leave the control buffer current and the control window | |
| 26934 | 88 selected. |
| 89 2. It should set `ediff-window-A', `ediff-window-B', `ediff-window-C', | |
| 90 and `ediff-control-window' to contain window objects that display | |
| 11042 | 91 the corresponding buffers. |
| 92 3. It should accept the following arguments: | |
| 93 buffer-A, buffer-B, buffer-C, control-buffer | |
| 94 Buffer C may not be used in jobs that compare only two buffers. | |
| 95 If you plan to do something fancy, take a close look at how the two | |
| 18054 | 96 provided functions are written." |
|
46694
9b8e9cf6b790
(ediff-window-setup-function): Extend type declaration.
Markus Rost <rost@math.uni-bielefeld.de>
parents:
43220
diff
changeset
|
97 :type '(choice (const :tag "Multi Frame" ediff-setup-windows-multiframe) |
|
9b8e9cf6b790
(ediff-window-setup-function): Extend type declaration.
Markus Rost <rost@math.uni-bielefeld.de>
parents:
43220
diff
changeset
|
98 (const :tag "Single Frame" ediff-setup-windows-plain) |
|
9b8e9cf6b790
(ediff-window-setup-function): Extend type declaration.
Markus Rost <rost@math.uni-bielefeld.de>
parents:
43220
diff
changeset
|
99 (function :tag "Other function")) |
| 18054 | 100 :group 'ediff-window) |
| 11042 | 101 |
| 102 ;; indicates if we are in a multiframe setup | |
| 103 (ediff-defvar-local ediff-multiframe nil "") | |
| 104 | |
| 105 ;; Share of the frame occupied by the merge window (buffer C) | |
| 106 (ediff-defvar-local ediff-merge-window-share 0.45 "") | |
| 107 | |
| 108 ;; The control window. | |
| 109 (ediff-defvar-local ediff-control-window nil "") | |
| 110 ;; Official window for buffer A | |
| 111 (ediff-defvar-local ediff-window-A nil "") | |
| 112 ;; Official window for buffer B | |
| 113 (ediff-defvar-local ediff-window-B nil "") | |
| 114 ;; Official window for buffer C | |
| 115 (ediff-defvar-local ediff-window-C nil "") | |
| 116 ;; Ediff's window configuration. | |
| 117 ;; Used to minimize the need to rearrange windows. | |
| 118 (ediff-defvar-local ediff-window-config-saved "" "") | |
| 119 | |
| 19047 | 120 ;; Association between buff-type and ediff-window-* |
| 121 (defconst ediff-window-alist | |
| 122 '((A . ediff-window-A) | |
| 123 (?A . ediff-window-A) | |
| 124 (B . ediff-window-B) | |
| 125 (?B . ediff-window-B) | |
| 126 (C . ediff-window-C) | |
| 127 (?C . ediff-window-C))) | |
| 128 | |
| 11042 | 129 |
| 18054 | 130 (defcustom ediff-split-window-function 'split-window-vertically |
| 11042 | 131 "*The function used to split the main window between buffer-A and buffer-B. |
| 132 You can set it to a horizontal split instead of the default vertical split | |
| 133 by setting this variable to `split-window-horizontally'. | |
| 134 You can also have your own function to do fancy splits. | |
| 135 This variable has no effect when buffer-A/B are shown in different frames. | |
| 18054 | 136 In this case, Ediff will use those frames to display these buffers." |
| 137 :type 'function | |
| 138 :group 'ediff-window) | |
| 11042 | 139 |
| 18054 | 140 (defcustom ediff-merge-split-window-function 'split-window-horizontally |
| 11042 | 141 "*The function used to split the main window between buffer-A and buffer-B. |
| 142 You can set it to a vertical split instead of the default horizontal split | |
| 143 by setting this variable to `split-window-vertically'. | |
| 144 You can also have your own function to do fancy splits. | |
| 145 This variable has no effect when buffer-A/B/C are shown in different frames. | |
| 18054 | 146 In this case, Ediff will use those frames to display these buffers." |
| 147 :type 'function | |
| 148 :group 'ediff-window) | |
| 11042 | 149 |
| 150 (defconst ediff-control-frame-parameters | |
| 26934 | 151 (list |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
152 '(name . "Ediff") |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
153 ;;'(unsplittable . t) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
154 '(minibuffer . nil) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
155 '(user-position . t) ; Emacs only |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
156 '(vertical-scroll-bars . nil) ; Emacs only |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
157 '(scrollbar-width . 0) ; XEmacs only |
|
48034
2bdc2b912091
2002-10-27 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
47846
diff
changeset
|
158 '(scrollbar-height . 0) ; XEmacs only |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
159 '(menu-bar-lines . 0) ; Emacs only |
|
33842
f6a67d77484a
* ediff-diff.el: Moved variables around to have it compile under NT.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
33317
diff
changeset
|
160 '(tool-bar-lines . 0) ; Emacs 21+ only |
|
47846
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
161 ;; don't lower but auto-raise |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
162 '(auto-lower . nil) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
163 '(auto-raise . t) |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
164 '(visibility . nil) |
|
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
165 ;; make initial frame small to avoid distraction |
|
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
166 '(width . 1) '(height . 1) |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
167 ;; this blocks queries from window manager as to where to put |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
168 ;; ediff's control frame. we put the frame outside the display, |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
169 ;; so the initial frame won't jump all over the screen |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
170 (cons 'top (if (fboundp 'ediff-display-pixel-height) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
171 (1+ (ediff-display-pixel-height)) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
172 3000)) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
173 (cons 'left (if (fboundp 'ediff-display-pixel-width) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
174 (1+ (ediff-display-pixel-width)) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
175 3000)) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
176 ) |
| 11042 | 177 "Frame parameters for displaying Ediff Control Panel. |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
178 Used internally---not a user option.") |
| 11042 | 179 |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
180 ;; position of the mouse; used to decide whether to warp the mouse into ctl |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
181 ;; frame |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
182 (ediff-defvar-local ediff-mouse-pixel-position nil "") |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
183 |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
184 ;; not used for now |
|
13948
60556fda3e6f
(ediff-mouse-pixel-threshold): Renamed from
Karl Heuer <kwzh@gnu.org>
parents:
13132
diff
changeset
|
185 (defvar ediff-mouse-pixel-threshold 30 |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
186 "If the user moves mouse more than this many pixels, Ediff won't warp mouse into control window.") |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
187 |
| 18054 | 188 (defcustom ediff-grab-mouse t |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
189 "*If t, Ediff will always grab the mouse and put it in the control frame. |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
190 If 'maybe, Ediff will do it sometimes, but not after operations that require |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
191 relatively long time. If nil, the mouse will be entirely user's |
| 18054 | 192 responsibility." |
| 193 :type 'boolean | |
| 194 :group 'ediff-window) | |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
195 |
| 18054 | 196 (defcustom ediff-control-frame-position-function 'ediff-make-frame-position |
| 11042 | 197 "Function to call to determine the desired location for the control panel. |
| 198 Expects three parameters: the control buffer, the desired width and height | |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
199 of the control frame. It returns an association list |
| 18054 | 200 of the form \(\(top . <position>\) \(left . <position>\)\)" |
| 18839 | 201 :type 'function |
| 18054 | 202 :group 'ediff-window) |
| 11042 | 203 |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
204 (defcustom ediff-control-frame-upward-shift 42 |
| 11042 | 205 "*The upward shift of control frame from the top of buffer A's frame. |
| 206 Measured in pixels. | |
| 207 This is used by the default control frame positioning function, | |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
208 `ediff-make-frame-position'. This variable is provided for easy |
|
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
209 customization of the default control frame positioning." |
| 18054 | 210 :type 'integer |
| 211 :group 'ediff-window) | |
| 11042 | 212 |
| 18054 | 213 (defcustom ediff-narrow-control-frame-leftward-shift (if ediff-xemacs-p 7 3) |
| 11042 | 214 "*The leftward shift of control frame from the right edge of buf A's frame. |
| 215 Measured in characters. | |
| 216 This is used by the default control frame positioning function, | |
| 217 `ediff-make-frame-position' to adjust the position of the control frame | |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
218 when it shows the short menu. This variable is provided for easy |
| 18054 | 219 customization of the default." |
| 220 :type 'integer | |
| 221 :group 'ediff-window) | |
| 11042 | 222 |
| 18054 | 223 (defcustom ediff-wide-control-frame-rightward-shift 7 |
| 11042 | 224 "*The rightward shift of control frame from the left edge of buf A's frame. |
| 225 Measured in characters. | |
| 226 This is used by the default control frame positioning function, | |
| 227 `ediff-make-frame-position' to adjust the position of the control frame | |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
228 when it shows the full menu. This variable is provided for easy |
| 18054 | 229 customization of the default." |
| 230 :type 'integer | |
| 231 :group 'ediff-window) | |
| 11042 | 232 |
| 233 | |
| 234 ;; Wide frame display | |
| 235 | |
| 236 ;; t means Ediff is using wide display | |
| 237 (ediff-defvar-local ediff-wide-display-p nil "") | |
| 238 ;; keeps frame config for toggling wide display | |
| 26934 | 239 (ediff-defvar-local ediff-wide-display-orig-parameters nil |
| 11042 | 240 "Frame parameters to be restored when the user wants to toggle the wide |
| 241 display off.") | |
| 242 (ediff-defvar-local ediff-wide-display-frame nil | |
| 243 "Frame to be used for wide display.") | |
| 244 (ediff-defvar-local ediff-make-wide-display-function 'ediff-make-wide-display | |
| 245 "The value is a function that is called to create a wide display. | |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
246 The function is called without arguments. It should resize the frame in |
| 11042 | 247 which buffers A, B, and C are to be displayed, and it should save the old |
| 248 frame parameters in `ediff-wide-display-orig-parameters'. | |
| 249 The variable `ediff-wide-display-frame' should be set to contain | |
| 250 the frame used for the wide display.") | |
| 251 | |
| 252 ;; Frame used for the control panel in a windowing system. | |
| 253 (ediff-defvar-local ediff-control-frame nil "") | |
| 254 | |
| 18054 | 255 (defcustom ediff-prefer-iconified-control-frame nil |
| 11042 | 256 "*If t, keep control panel iconified when help message is off. |
| 257 This has effect only on a windowing system. | |
|
13948
60556fda3e6f
(ediff-mouse-pixel-threshold): Renamed from
Karl Heuer <kwzh@gnu.org>
parents:
13132
diff
changeset
|
258 If t, hitting `?' to toggle control panel off iconifies it. |
| 11042 | 259 |
| 260 This is only useful in Emacs and only for certain kinds of window managers, | |
| 261 such as TWM and its derivatives, since the window manager must permit | |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
262 keyboard input to go into icons. XEmacs completely ignores keyboard input |
| 18054 | 263 into icons, regardless of the window manager." |
| 264 :type 'boolean | |
| 265 :group 'ediff-window) | |
| 11042 | 266 |
| 267 ;;; Functions | |
| 268 | |
| 269 (defun ediff-get-window-by-clicking (wind prev-wind wind-number) | |
| 270 (let (event) | |
| 271 (message | |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
272 "Select windows by clicking. Please click on Window %d " wind-number) |
| 11042 | 273 (while (not (ediff-mouse-event-p (setq event (ediff-read-event)))) |
| 274 (if (sit-for 1) ; if sequence of events, wait till the final word | |
| 275 (beep 1)) | |
| 276 (message "Please click on Window %d " wind-number)) | |
| 277 (ediff-read-event) ; discard event | |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
278 (setq wind (ediff-cond-compile-for-xemacs-or-emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
279 (event-window event) ; xemacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
280 (posn-window (event-start event)) ; emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
281 ) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
282 ) |
| 11042 | 283 )) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
284 |
| 11042 | 285 |
|
27899
42f9a58e0fc4
* viper-cmd.el (viper-envelop-ESC-key): added the option to
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
26934
diff
changeset
|
286 ;; Select the lowest window on the frame. |
| 11042 | 287 (defun ediff-select-lowest-window () |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
288 (ediff-cond-compile-for-xemacs-or-emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
289 (select-window (frame-lowest-window)) ; xemacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
290 ;; emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
291 (let* ((lowest-window (selected-window)) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
292 (bottom-edge (car (cdr (cdr (cdr (window-edges)))))) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
293 (last-window (save-excursion |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
294 (other-window -1) (selected-window))) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
295 (window-search t)) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
296 (while window-search |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
297 (let* ((this-window (next-window)) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
298 (next-bottom-edge |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
299 (car (cdr (cdr (cdr (window-edges this-window))))))) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
300 (if (< bottom-edge next-bottom-edge) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
301 (progn |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
302 (setq bottom-edge next-bottom-edge) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
303 (setq lowest-window this-window))) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
304 |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
305 (select-window this-window) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
306 (if (eq last-window this-window) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
307 (progn |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
308 (select-window lowest-window) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
309 (setq window-search nil)))))) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
310 )) |
| 11042 | 311 |
| 312 | |
| 313 ;;; Common window setup routines | |
| 314 | |
| 315 ;; Set up the window configuration. If POS is given, set the points to | |
| 316 ;; the beginnings of the buffers. | |
| 317 ;; When 3way comparison is added, this will have to choose the appropriate | |
| 318 ;; setup function based on ediff-job-name | |
| 319 (defun ediff-setup-windows (buffer-A buffer-B buffer-C control-buffer) | |
| 320 ;; Make sure we are not in the minibuffer window when we try to delete | |
| 321 ;; all other windows. | |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
322 (run-hooks 'ediff-before-setup-windows-hook) |
| 11042 | 323 (if (eq (selected-window) (minibuffer-window)) |
| 324 (other-window 1)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
325 |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
326 ;; in case user did a no-no on a tty |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
327 (or (ediff-window-display-p) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
328 (setq ediff-window-setup-function 'ediff-setup-windows-plain)) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
329 |
| 11042 | 330 (or (ediff-keep-window-config control-buffer) |
| 26934 | 331 (funcall |
| 19047 | 332 (ediff-with-current-buffer control-buffer ediff-window-setup-function) |
| 11042 | 333 buffer-A buffer-B buffer-C control-buffer)) |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
334 (run-hooks 'ediff-after-setup-windows-hook)) |
| 11042 | 335 |
| 336 ;; Just set up 3 windows. | |
| 337 ;; Usually used without windowing systems | |
| 338 ;; With windowing, we want to use dedicated frames. | |
| 339 (defun ediff-setup-windows-plain (buffer-A buffer-B buffer-C control-buffer) | |
| 19047 | 340 (ediff-with-current-buffer control-buffer |
| 11042 | 341 (setq ediff-multiframe nil)) |
| 342 (if ediff-merge-job | |
| 343 (ediff-setup-windows-plain-merge | |
| 344 buffer-A buffer-B buffer-C control-buffer) | |
| 26934 | 345 (ediff-setup-windows-plain-compare |
| 11042 | 346 buffer-A buffer-B buffer-C control-buffer))) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
347 |
| 11042 | 348 (defun ediff-setup-windows-plain-merge (buf-A buf-B buf-C control-buffer) |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
349 ;; skip dedicated and unsplittable frames |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
350 (ediff-destroy-control-frame control-buffer) |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
351 (let ((window-min-height 1) |
| 26934 | 352 split-window-function |
| 11042 | 353 merge-window-share merge-window-lines |
| 354 wind-A wind-B wind-C) | |
| 19047 | 355 (ediff-with-current-buffer control-buffer |
| 11042 | 356 (setq merge-window-share ediff-merge-window-share |
| 357 ;; this lets us have local versions of ediff-split-window-function | |
| 358 split-window-function ediff-split-window-function)) | |
| 359 (delete-other-windows) | |
| 360 (split-window-vertically) | |
| 361 (ediff-select-lowest-window) | |
| 362 (ediff-setup-control-buffer control-buffer) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
363 |
| 11042 | 364 ;; go to the upper window and split it betw A, B, and possibly C |
| 26934 | 365 (other-window 1) |
| 11042 | 366 (setq merge-window-lines |
| 367 (max 2 (round (* (window-height) merge-window-share)))) | |
| 368 (switch-to-buffer buf-A) | |
| 369 (setq wind-A (selected-window)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
370 |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
371 ;; XEmacs used to have a lot of trouble with display |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
372 ;; It did't set things right unless we tell it to sit still |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
373 ;; 19.12 seems ok. |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
374 ;;(if ediff-xemacs-p (sit-for 0)) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
375 |
| 11042 | 376 (split-window-vertically (max 2 (- (window-height) merge-window-lines))) |
| 26934 | 377 (if (eq (selected-window) wind-A) |
| 11042 | 378 (other-window 1)) |
| 379 (setq wind-C (selected-window)) | |
| 380 (switch-to-buffer buf-C) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
381 |
| 11042 | 382 (select-window wind-A) |
| 383 (funcall split-window-function) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
384 |
| 11042 | 385 (if (eq (selected-window) wind-A) |
| 386 (other-window 1)) | |
| 387 (switch-to-buffer buf-B) | |
| 388 (setq wind-B (selected-window)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
389 |
| 19047 | 390 (ediff-with-current-buffer control-buffer |
| 11042 | 391 (setq ediff-window-A wind-A |
| 392 ediff-window-B wind-B | |
| 393 ediff-window-C wind-C)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
394 |
| 11042 | 395 (ediff-select-lowest-window) |
| 396 (ediff-setup-control-buffer control-buffer) | |
| 397 )) | |
| 398 | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
399 |
| 11042 | 400 ;; This function handles all comparison jobs, including 3way jobs |
| 401 (defun ediff-setup-windows-plain-compare (buf-A buf-B buf-C control-buffer) | |
| 402 ;; skip dedicated and unsplittable frames | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
403 (ediff-destroy-control-frame control-buffer) |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
404 (let ((window-min-height 1) |
| 11042 | 405 split-window-function wind-width-or-height |
| 406 three-way-comparison | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
407 wind-A-start wind-B-start wind-A wind-B wind-C) |
| 19047 | 408 (ediff-with-current-buffer control-buffer |
| 11042 | 409 (setq wind-A-start (ediff-overlay-start |
| 410 (ediff-get-value-according-to-buffer-type | |
| 411 'A ediff-narrow-bounds)) | |
| 412 wind-B-start (ediff-overlay-start | |
| 413 (ediff-get-value-according-to-buffer-type | |
| 414 'B ediff-narrow-bounds)) | |
| 415 ;; this lets us have local versions of ediff-split-window-function | |
| 416 split-window-function ediff-split-window-function | |
| 417 three-way-comparison ediff-3way-comparison-job)) | |
| 418 (delete-other-windows) | |
| 419 (split-window-vertically) | |
| 420 (ediff-select-lowest-window) | |
| 421 (ediff-setup-control-buffer control-buffer) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
422 |
| 11042 | 423 ;; go to the upper window and split it betw A, B, and possibly C |
| 26934 | 424 (other-window 1) |
| 11042 | 425 (switch-to-buffer buf-A) |
| 426 (setq wind-A (selected-window)) | |
| 427 (if three-way-comparison | |
| 428 (setq wind-width-or-height | |
| 429 (/ (if (eq split-window-function 'split-window-vertically) | |
| 430 (window-height wind-A) | |
| 431 (window-width wind-A)) | |
| 432 3))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
433 |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
434 ;; XEmacs used to have a lot of trouble with display |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
435 ;; It did't set things right unless we told it to sit still |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
436 ;; 19.12 seems ok. |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
437 ;;(if ediff-xemacs-p (sit-for 0)) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
438 |
| 11042 | 439 (funcall split-window-function wind-width-or-height) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
440 |
| 11042 | 441 (if (eq (selected-window) wind-A) |
| 442 (other-window 1)) | |
| 443 (switch-to-buffer buf-B) | |
| 444 (setq wind-B (selected-window)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
445 |
| 11042 | 446 (if three-way-comparison |
| 447 (progn | |
| 448 (funcall split-window-function) ; equally | |
| 449 (if (eq (selected-window) wind-B) | |
| 450 (other-window 1)) | |
| 451 (switch-to-buffer buf-C) | |
| 452 (setq wind-C (selected-window)))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
453 |
| 19047 | 454 (ediff-with-current-buffer control-buffer |
| 11042 | 455 (setq ediff-window-A wind-A |
| 456 ediff-window-B wind-B | |
| 457 ediff-window-C wind-C)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
458 |
| 11042 | 459 ;; It is unlikely that we will want to implement 3way window comparison. |
| 460 ;; So, only buffers A and B are used here. | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
461 (if ediff-windows-job |
| 11042 | 462 (progn |
| 463 (set-window-start wind-A wind-A-start) | |
| 464 (set-window-start wind-B wind-B-start))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
465 |
| 11042 | 466 (ediff-select-lowest-window) |
| 467 (ediff-setup-control-buffer control-buffer) | |
| 468 )) | |
| 469 | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
470 |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
471 ;; dispatch an appropriate window setup function |
| 11042 | 472 (defun ediff-setup-windows-multiframe (buf-A buf-B buf-C control-buf) |
| 19047 | 473 (ediff-with-current-buffer control-buf |
| 11042 | 474 (setq ediff-multiframe t)) |
| 475 (if ediff-merge-job | |
| 476 (ediff-setup-windows-multiframe-merge buf-A buf-B buf-C control-buf) | |
| 477 (ediff-setup-windows-multiframe-compare buf-A buf-B buf-C control-buf))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
478 |
| 11042 | 479 (defun ediff-setup-windows-multiframe-merge (buf-A buf-B buf-C control-buf) |
| 480 ;;; Algorithm: | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
481 ;;; 1. Never use frames that have dedicated windows in them---it is bad to |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
482 ;;; destroy dedicated windows. |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
483 ;;; 2. If A and B are in the same frame but C's frame is different--- use one |
| 26934 | 484 ;;; frame for A and B and use a separate frame for C. |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
485 ;;; 3. If C's frame is non-existent, then: if the first suitable |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
486 ;;; non-dedicated frame is different from A&B's, then use it for C. |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
487 ;;; Otherwise, put A,B, and C in one frame. |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
488 ;;; 4. If buffers A, B, C are is separate frames, use them to display these |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
489 ;;; buffers. |
| 11042 | 490 |
| 26934 | 491 ;; Skip dedicated or iconified frames. |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
492 ;; Unsplittable frames are taken care of later. |
| 11042 | 493 (ediff-skip-unsuitable-frames 'ok-unsplittable) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
494 |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
495 (let* ((window-min-height 1) |
| 11042 | 496 (wind-A (ediff-get-visible-buffer-window buf-A)) |
| 497 (wind-B (ediff-get-visible-buffer-window buf-B)) | |
| 498 (wind-C (ediff-get-visible-buffer-window buf-C)) | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
499 (frame-A (if wind-A (window-frame wind-A))) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
500 (frame-B (if wind-B (window-frame wind-B))) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
501 (frame-C (if wind-C (window-frame wind-C))) |
| 11042 | 502 ;; on wide display, do things in one frame |
| 26934 | 503 (force-one-frame |
| 19047 | 504 (ediff-with-current-buffer control-buf ediff-wide-display-p)) |
| 11042 | 505 ;; this lets us have local versions of ediff-split-window-function |
| 26934 | 506 (split-window-function |
| 19047 | 507 (ediff-with-current-buffer control-buf ediff-split-window-function)) |
| 11042 | 508 (orig-wind (selected-window)) |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
509 (orig-frame (selected-frame)) |
| 11042 | 510 (use-same-frame (or force-one-frame |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
511 ;; A and C must be in one frame |
| 11042 | 512 (eq frame-A (or frame-C orig-frame)) |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
513 ;; B and C must be in one frame |
| 11042 | 514 (eq frame-B (or frame-C orig-frame)) |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
515 ;; A or B is not visible |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
516 (not (frame-live-p frame-A)) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
517 (not (frame-live-p frame-B)) |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
518 ;; A or B is not suitable for display |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
519 (not (ediff-window-ok-for-display wind-A)) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
520 (not (ediff-window-ok-for-display wind-B)) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
521 ;; A and B in the same frame, and no good frame |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
522 ;; for C |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
523 (and (eq frame-A frame-B) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
524 (not (frame-live-p frame-C))) |
| 11042 | 525 )) |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
526 ;; use-same-frame-for-AB implies wind A and B are ok for display |
| 11042 | 527 (use-same-frame-for-AB (and (not use-same-frame) |
| 528 (eq frame-A frame-B))) | |
| 19047 | 529 (merge-window-share (ediff-with-current-buffer control-buf |
| 11042 | 530 ediff-merge-window-share)) |
| 531 merge-window-lines | |
| 532 designated-minibuffer-frame | |
| 533 done-A done-B done-C) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
534 |
| 11042 | 535 ;; buf-A on its own |
| 536 (if (and (window-live-p wind-A) | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
537 (null use-same-frame) ; implies wind-A is suitable |
| 11042 | 538 (null use-same-frame-for-AB)) |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
539 (progn ; bug A on its own |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
540 ;; buffer buf-A is seen in live wind-A |
| 11042 | 541 (select-window wind-A) |
| 542 (delete-other-windows) | |
| 543 (setq wind-A (selected-window)) | |
| 544 (setq done-A t))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
545 |
| 11042 | 546 ;; buf-B on its own |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
547 (if (and (window-live-p wind-B) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
548 (null use-same-frame) ; implies wind-B is suitable |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
549 (null use-same-frame-for-AB)) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
550 (progn ; buf B on its own |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
551 ;; buffer buf-B is seen in live wind-B |
| 11042 | 552 (select-window wind-B) |
| 553 (delete-other-windows) | |
| 554 (setq wind-B (selected-window)) | |
| 555 (setq done-B t))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
556 |
| 11042 | 557 ;; buf-C on its own |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
558 (if (and (window-live-p wind-C) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
559 (ediff-window-ok-for-display wind-C) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
560 (null use-same-frame)) ; buf C on its own |
| 11042 | 561 (progn |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
562 ;; buffer buf-C is seen in live wind-C |
| 11042 | 563 (select-window wind-C) |
| 564 (delete-other-windows) | |
| 565 (setq wind-C (selected-window)) | |
| 566 (setq done-C t))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
567 |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
568 (if (and use-same-frame-for-AB ; implies wind A and B are suitable |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
569 (window-live-p wind-A)) |
| 26934 | 570 (progn |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
571 ;; wind-A must already be displaying buf-A |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
572 (select-window wind-A) |
| 11042 | 573 (delete-other-windows) |
| 574 (setq wind-A (selected-window)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
575 |
| 11042 | 576 (funcall split-window-function) |
| 26934 | 577 (if (eq (selected-window) wind-A) |
| 11042 | 578 (other-window 1)) |
| 579 (switch-to-buffer buf-B) | |
| 580 (setq wind-B (selected-window)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
581 |
| 11042 | 582 (setq done-A t |
| 583 done-B t))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
584 |
| 11042 | 585 (if use-same-frame |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
586 (let ((window-min-height 1)) |
| 18054 | 587 (if (and (eq frame-A frame-B) |
| 588 (eq frame-B frame-C) | |
| 589 (frame-live-p frame-A)) | |
| 590 (select-frame frame-A) | |
| 591 ;; avoid dedicated and non-splittable windows | |
| 592 (ediff-skip-unsuitable-frames)) | |
| 11042 | 593 (delete-other-windows) |
| 594 (setq merge-window-lines | |
| 595 (max 2 (round (* (window-height) merge-window-share)))) | |
| 596 (switch-to-buffer buf-A) | |
| 597 (setq wind-A (selected-window)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
598 |
| 11042 | 599 (split-window-vertically |
| 600 (max 2 (- (window-height) merge-window-lines))) | |
| 26934 | 601 (if (eq (selected-window) wind-A) |
| 11042 | 602 (other-window 1)) |
| 603 (setq wind-C (selected-window)) | |
| 604 (switch-to-buffer buf-C) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
605 |
| 11042 | 606 (select-window wind-A) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
607 |
| 11042 | 608 (funcall split-window-function) |
| 26934 | 609 (if (eq (selected-window) wind-A) |
| 11042 | 610 (other-window 1)) |
| 611 (switch-to-buffer buf-B) | |
| 612 (setq wind-B (selected-window)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
613 |
| 11042 | 614 (setq done-A t |
| 615 done-B t | |
| 616 done-C t) | |
| 617 )) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
618 |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
619 (or done-A ; Buf A to be set in its own frame, |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
620 ;;; or it was set before because use-same-frame = 1 |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
621 (progn |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
622 ;; Buf-A was not set up yet as it wasn't visible, |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
623 ;; and use-same-frame = nil, use-same-frame-for-AB = nil |
| 11042 | 624 (select-window orig-wind) |
| 625 (delete-other-windows) | |
| 626 (switch-to-buffer buf-A) | |
| 627 (setq wind-A (selected-window)) | |
| 628 )) | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
629 (or done-B ; Buf B to be set in its own frame, |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
630 ;;; or it was set before because use-same-frame = 1 |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
631 (progn |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
632 ;; Buf-B was not set up yet as it wasn't visible |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
633 ;; and use-same-frame = nil, use-same-frame-for-AB = nil |
| 11042 | 634 (select-window orig-wind) |
| 635 (delete-other-windows) | |
| 636 (switch-to-buffer buf-B) | |
| 637 (setq wind-B (selected-window)) | |
| 638 )) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
639 |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
640 (or done-C ; Buf C to be set in its own frame, |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
641 ;;; or it was set before because use-same-frame = 1 |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
642 (progn |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
643 ;; Buf-C was not set up yet as it wasn't visible |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
644 ;; and use-same-frame = nil |
| 11042 | 645 (select-window orig-wind) |
| 646 (delete-other-windows) | |
| 647 (switch-to-buffer buf-C) | |
| 648 (setq wind-C (selected-window)) | |
| 649 )) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
650 |
| 19047 | 651 (ediff-with-current-buffer control-buf |
| 11042 | 652 (setq ediff-window-A wind-A |
| 653 ediff-window-B wind-B | |
| 654 ediff-window-C wind-C) | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
655 (setq frame-A (window-frame ediff-window-A) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
656 designated-minibuffer-frame |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
657 (window-frame (minibuffer-window frame-A)))) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
658 |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
659 (ediff-setup-control-frame control-buf designated-minibuffer-frame) |
| 11042 | 660 )) |
| 661 | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
662 |
| 11042 | 663 ;; Window setup for all comparison jobs, including 3way comparisons |
| 664 (defun ediff-setup-windows-multiframe-compare (buf-A buf-B buf-C control-buf) | |
| 665 ;;; Algorithm: | |
| 26934 | 666 ;;; If a buffer is seen in a frame, use that frame for that buffer. |
| 11042 | 667 ;;; If it is not seen, use the current frame. |
| 668 ;;; If both buffers are not seen, they share the current frame. If one | |
| 669 ;;; of the buffers is not seen, it is placed in the current frame (where | |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
670 ;;; ediff started). If that frame is displaying the other buffer, it is |
| 11042 | 671 ;;; shared between the two buffers. |
| 672 ;;; However, if we decide to put both buffers in one frame | |
| 673 ;;; and the selected frame isn't splittable, we create a new frame and | |
| 674 ;;; put both buffers there, event if one of this buffers is visible in | |
| 675 ;;; another frame. | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
676 |
| 11042 | 677 ;; Skip dedicated or iconified frames. |
| 678 ;; Unsplittable frames are taken care of later. | |
| 679 (ediff-skip-unsuitable-frames 'ok-unsplittable) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
680 |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
681 (let* ((window-min-height 1) |
| 11042 | 682 (wind-A (ediff-get-visible-buffer-window buf-A)) |
| 683 (wind-B (ediff-get-visible-buffer-window buf-B)) | |
| 684 (wind-C (ediff-get-visible-buffer-window buf-C)) | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
685 (frame-A (if wind-A (window-frame wind-A))) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
686 (frame-B (if wind-B (window-frame wind-B))) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
687 (frame-C (if wind-C (window-frame wind-C))) |
| 19047 | 688 (ctl-frame-exists-p (ediff-with-current-buffer control-buf |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
689 (frame-live-p ediff-control-frame))) |
| 11042 | 690 ;; on wide display, do things in one frame |
| 26934 | 691 (force-one-frame |
| 19047 | 692 (ediff-with-current-buffer control-buf ediff-wide-display-p)) |
| 11042 | 693 ;; this lets us have local versions of ediff-split-window-function |
| 26934 | 694 (split-window-function |
| 19047 | 695 (ediff-with-current-buffer control-buf ediff-split-window-function)) |
| 11042 | 696 (three-way-comparison |
| 19047 | 697 (ediff-with-current-buffer control-buf ediff-3way-comparison-job)) |
| 11042 | 698 (orig-wind (selected-window)) |
| 699 (use-same-frame (or force-one-frame | |
| 700 (eq frame-A frame-B) | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
701 (not (ediff-window-ok-for-display wind-A)) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
702 (not (ediff-window-ok-for-display wind-B)) |
| 11042 | 703 (if three-way-comparison |
| 704 (or (eq frame-A frame-C) | |
| 705 (eq frame-B frame-C) | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
706 (not (ediff-window-ok-for-display wind-C)) |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
707 (not (frame-live-p frame-A)) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
708 (not (frame-live-p frame-B)) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
709 (not (frame-live-p frame-C)))) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
710 (and (not (frame-live-p frame-B)) |
| 11042 | 711 (or ctl-frame-exists-p |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
712 (eq frame-A (selected-frame)))) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
713 (and (not (frame-live-p frame-A)) |
| 11042 | 714 (or ctl-frame-exists-p |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
715 (eq frame-B (selected-frame)))))) |
| 26934 | 716 wind-A-start wind-B-start |
| 11042 | 717 designated-minibuffer-frame |
| 718 done-A done-B done-C) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
719 |
| 19047 | 720 (ediff-with-current-buffer control-buf |
| 11042 | 721 (setq wind-A-start (ediff-overlay-start |
| 722 (ediff-get-value-according-to-buffer-type | |
| 723 'A ediff-narrow-bounds)) | |
| 724 wind-B-start (ediff-overlay-start | |
| 725 (ediff-get-value-according-to-buffer-type | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
726 'B ediff-narrow-bounds)))) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
727 |
| 11042 | 728 (if (and (window-live-p wind-A) (null use-same-frame)) ; buf-A on its own |
| 729 (progn | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
730 ;; buffer buf-A is seen in live wind-A |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
731 (select-window wind-A) ; must be displaying buf-A |
| 11042 | 732 (delete-other-windows) |
| 733 (setq wind-A (selected-window)) | |
| 734 (setq done-A t))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
735 |
| 11042 | 736 (if (and (window-live-p wind-B) (null use-same-frame)) ; buf B on its own |
| 737 (progn | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
738 ;; buffer buf-B is seen in live wind-B |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
739 (select-window wind-B) ; must be displaying buf-B |
| 11042 | 740 (delete-other-windows) |
| 741 (setq wind-B (selected-window)) | |
| 742 (setq done-B t))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
743 |
| 11042 | 744 (if (and (window-live-p wind-C) (null use-same-frame)) ; buf C on its own |
| 745 (progn | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
746 ;; buffer buf-C is seen in live wind-C |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
747 (select-window wind-C) ; must be displaying buf-C |
| 11042 | 748 (delete-other-windows) |
| 749 (setq wind-C (selected-window)) | |
| 750 (setq done-C t))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
751 |
| 11042 | 752 (if use-same-frame |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
753 (let (wind-width-or-height) ; this affects 3way setups only |
| 18054 | 754 (if (and (eq frame-A frame-B) (frame-live-p frame-A)) |
| 755 (select-frame frame-A) | |
| 756 ;; avoid dedicated and non-splittable windows | |
| 757 (ediff-skip-unsuitable-frames)) | |
| 11042 | 758 (delete-other-windows) |
| 759 (switch-to-buffer buf-A) | |
| 760 (setq wind-A (selected-window)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
761 |
| 11042 | 762 (if three-way-comparison |
| 763 (setq wind-width-or-height | |
| 764 (/ | |
| 765 (if (eq split-window-function 'split-window-vertically) | |
| 766 (window-height wind-A) | |
| 767 (window-width wind-A)) | |
| 768 3))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
769 |
| 11042 | 770 (funcall split-window-function wind-width-or-height) |
| 26934 | 771 (if (eq (selected-window) wind-A) |
| 11042 | 772 (other-window 1)) |
| 773 (switch-to-buffer buf-B) | |
| 774 (setq wind-B (selected-window)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
775 |
| 11042 | 776 (if three-way-comparison |
| 777 (progn | |
| 778 (funcall split-window-function) ; equally | |
| 779 (if (memq (selected-window) (list wind-A wind-B)) | |
| 780 (other-window 1)) | |
| 781 (switch-to-buffer buf-C) | |
| 782 (setq wind-C (selected-window)))) | |
| 783 (setq done-A t | |
| 784 done-B t | |
| 785 done-C t) | |
| 786 )) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
787 |
| 11042 | 788 (or done-A ; Buf A to be set in its own frame |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
789 ;;; or it was set before because use-same-frame = 1 |
| 26934 | 790 (progn |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
791 ;; Buf-A was not set up yet as it wasn't visible, |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
792 ;; and use-same-frame = nil |
| 11042 | 793 (select-window orig-wind) |
| 794 (delete-other-windows) | |
| 795 (switch-to-buffer buf-A) | |
| 796 (setq wind-A (selected-window)) | |
| 797 )) | |
| 798 (or done-B ; Buf B to be set in its own frame | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
799 ;;; or it was set before because use-same-frame = 1 |
| 26934 | 800 (progn |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
801 ;; Buf-B was not set up yet as it wasn't visible, |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
802 ;; and use-same-frame = nil |
| 11042 | 803 (select-window orig-wind) |
| 804 (delete-other-windows) | |
| 805 (switch-to-buffer buf-B) | |
| 806 (setq wind-B (selected-window)) | |
| 807 )) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
808 |
| 11042 | 809 (if three-way-comparison |
| 810 (or done-C ; Buf C to be set in its own frame | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
811 ;;; or it was set before because use-same-frame = 1 |
| 26934 | 812 (progn |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
813 ;; Buf-C was not set up yet as it wasn't visible, |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
814 ;; and use-same-frame = nil |
| 11042 | 815 (select-window orig-wind) |
| 816 (delete-other-windows) | |
| 817 (switch-to-buffer buf-C) | |
| 818 (setq wind-C (selected-window)) | |
| 819 ))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
820 |
| 19047 | 821 (ediff-with-current-buffer control-buf |
| 11042 | 822 (setq ediff-window-A wind-A |
| 823 ediff-window-B wind-B | |
| 824 ediff-window-C wind-C) | |
|
47846
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
825 |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
826 (setq frame-A (window-frame ediff-window-A) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
827 designated-minibuffer-frame |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
828 (window-frame (minibuffer-window frame-A)))) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
829 |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
830 ;; It is unlikely that we'll implement a version of ediff-windows that |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
831 ;; would compare 3 windows at once. So, we don't use buffer C here. |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
832 (if ediff-windows-job |
| 11042 | 833 (progn |
| 834 (set-window-start wind-A wind-A-start) | |
| 835 (set-window-start wind-B wind-B-start))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
836 |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
837 (ediff-setup-control-frame control-buf designated-minibuffer-frame) |
| 11042 | 838 )) |
| 839 | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
840 ;; skip unsplittable frames and frames that have dedicated windows. |
| 11042 | 841 ;; create a new splittable frame if none is found |
| 842 (defun ediff-skip-unsuitable-frames (&optional ok-unsplittable) | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
843 (if (ediff-window-display-p) |
|
47846
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
844 (let ((wind-frame (window-frame (selected-window))) |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
845 seen-windows) |
|
33019
6306740f6938
2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
31928
diff
changeset
|
846 (while (and (not (memq (selected-window) seen-windows)) |
| 11042 | 847 (or |
|
47846
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
848 (ediff-frame-has-dedicated-windows wind-frame) |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
849 (ediff-frame-iconified-p wind-frame) |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
850 ;; skip small windows |
|
47846
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
851 (< (frame-height wind-frame) |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
852 (* 3 window-min-height)) |
| 11042 | 853 (if ok-unsplittable |
| 854 nil | |
|
47846
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
855 (ediff-frame-unsplittable-p wind-frame)))) |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
856 ;; remember history |
|
33019
6306740f6938
2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
31928
diff
changeset
|
857 (setq seen-windows (cons (selected-window) seen-windows)) |
| 11042 | 858 ;; try new window |
|
47846
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
859 (other-window 1 t) |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
860 (setq wind-frame (window-frame (selected-window))) |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
861 ) |
|
33019
6306740f6938
2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
31928
diff
changeset
|
862 (if (memq (selected-window) seen-windows) |
|
47846
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
863 ;; fed up, no appropriate frames |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
864 (setq wind-frame (make-frame '((unsplittable))))) |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
865 |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
866 (select-frame wind-frame) |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
867 ))) |
| 11042 | 868 |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
869 (defun ediff-frame-has-dedicated-windows (frame) |
|
47846
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
870 (let (ans) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
871 (walk-windows |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
872 (lambda (wind) (if (window-dedicated-p wind) |
|
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
873 (setq ans t))) |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
874 'ignore-minibuffer |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
875 frame) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
876 ans)) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
877 |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
878 ;; window is ok, if it is only one window on the frame, not counting the |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
879 ;; minibuffer, or none of the frame's windows is dedicated. |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
880 ;; The idea is that it is bad to destroy dedicated windows while creating an |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
881 ;; ediff window setup |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
882 (defun ediff-window-ok-for-display (wind) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
883 (and |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
884 (window-live-p wind) |
| 26934 | 885 (or |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
886 ;; only one window |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
887 (eq wind (next-window wind 'ignore-minibuffer (window-frame wind))) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
888 ;; none is dedicated |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
889 (not (ediff-frame-has-dedicated-windows (window-frame wind))) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
890 ))) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
891 |
| 11042 | 892 ;; Prepare or refresh control frame |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
893 (defun ediff-setup-control-frame (ctl-buffer designated-minibuffer-frame) |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
894 (let ((window-min-height 1) |
| 11042 | 895 ctl-frame-iconified-p dont-iconify-ctl-frame deiconify-ctl-frame |
| 26934 | 896 ctl-frame old-ctl-frame lines |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
897 ;; user-grabbed-mouse |
| 26934 | 898 fheight fwidth adjusted-parameters) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
899 |
| 19047 | 900 (ediff-with-current-buffer ctl-buffer |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
901 (ediff-cond-compile-for-xemacs-or-emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
902 (set-buffer-menubar nil) ; xemacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
903 nil ; emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
904 ) |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
905 ;;(setq user-grabbed-mouse (ediff-user-grabbed-mouse)) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
906 (run-hooks 'ediff-before-setup-control-frame-hook)) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
907 |
| 19047 | 908 (setq old-ctl-frame (ediff-with-current-buffer ctl-buffer ediff-control-frame)) |
| 909 (ediff-with-current-buffer ctl-buffer | |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
910 (setq ctl-frame (if (frame-live-p old-ctl-frame) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
911 old-ctl-frame |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
912 (make-frame ediff-control-frame-parameters)) |
|
29977
ebf68f69b586
(ediff-setup-control-frame): Remove :box
Gerd Moellmann <gerd@gnu.org>
parents:
27899
diff
changeset
|
913 ediff-control-frame ctl-frame) |
|
33050
84f89d78d87a
2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
33019
diff
changeset
|
914 ;; protect against undefined face-attribute |
|
36857
f6386773ce30
2001-03-17 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
33842
diff
changeset
|
915 (condition-case nil |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
916 (ediff-cond-compile-for-xemacs-or-emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
917 nil ; xemacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
918 (when (face-attribute 'mode-line :box) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
919 (set-face-attribute 'mode-line ctl-frame :box nil)) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
920 ) |
|
33050
84f89d78d87a
2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
33019
diff
changeset
|
921 (error)) |
|
84f89d78d87a
2000-10-29 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
33019
diff
changeset
|
922 ) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
923 |
| 11042 | 924 (setq ctl-frame-iconified-p (ediff-frame-iconified-p ctl-frame)) |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
925 (select-frame ctl-frame) |
| 11042 | 926 (if (window-dedicated-p (selected-window)) |
| 927 () | |
| 928 (delete-other-windows) | |
| 929 (switch-to-buffer ctl-buffer)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
930 |
| 11042 | 931 ;; must be before ediff-setup-control-buffer |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
932 ;; just a precaution--we should be in ctl-buffer already |
| 19047 | 933 (ediff-with-current-buffer ctl-buffer |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
934 (make-local-variable 'frame-title-format) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
935 (make-local-variable 'frame-icon-title-format) ; XEmacs |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
936 (make-local-variable 'icon-title-format)) ; Emacs |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
937 |
| 11042 | 938 (ediff-setup-control-buffer ctl-buffer) |
| 939 (setq dont-iconify-ctl-frame | |
| 940 (not (string= ediff-help-message ediff-brief-help-message))) | |
| 26934 | 941 (setq deiconify-ctl-frame |
| 11042 | 942 (and (eq this-command 'ediff-toggle-help) |
| 943 dont-iconify-ctl-frame)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
944 |
| 11042 | 945 ;; 1 more line for the modeline |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
946 (setq lines (1+ (count-lines (point-min) (point-max))) |
| 11042 | 947 fheight lines |
|
16766
beb94a5271e2
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
16248
diff
changeset
|
948 fwidth (max (+ (ediff-help-message-line-length) 2) |
|
beb94a5271e2
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
16248
diff
changeset
|
949 (ediff-compute-toolbar-width)) |
| 18054 | 950 adjusted-parameters |
| 951 (list | |
| 952 ;; possibly change surrogate minibuffer | |
| 953 (cons 'minibuffer | |
| 954 (minibuffer-window | |
| 955 designated-minibuffer-frame)) | |
| 956 (cons 'width fwidth) | |
| 957 (cons 'height fheight)) | |
| 958 ) | |
|
47846
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
959 |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
960 ;; adjust autoraise |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
961 (setq adjusted-parameters |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
962 (cons (if ediff-use-long-help-message |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
963 '(auto-raise . nil) |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
964 '(auto-raise . t)) |
|
8e6ed5c1f142
2002-10-12 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
46694
diff
changeset
|
965 adjusted-parameters)) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
966 |
| 11042 | 967 ;; In XEmacs, buffer menubar needs to be killed before frame parameters |
| 26934 | 968 ;; are changed. |
| 21940 | 969 (if (ediff-has-toolbar-support-p) |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
970 (ediff-cond-compile-for-xemacs-or-emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
971 (progn ; xemacs |
|
43220
69c91aaa067a
2002-02-10 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42602
diff
changeset
|
972 (if (ediff-has-gutter-support-p) |
|
69c91aaa067a
2002-02-10 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42602
diff
changeset
|
973 (set-specifier top-gutter (list ctl-frame nil))) |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
974 (sit-for 0) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
975 (set-specifier top-toolbar-height (list ctl-frame 0)) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
976 ;;(set-specifier bottom-toolbar-height (list ctl-frame 0)) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
977 (set-specifier left-toolbar-width (list ctl-frame 0)) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
978 (set-specifier right-toolbar-width (list ctl-frame 0)) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
979 ) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
980 nil ; emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
981 ) |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
982 ) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
983 |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
984 ;; Under OS/2 (emx) we have to call modify frame parameters twice, in order |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
985 ;; to make sure that at least once we do it for non-iconified frame. If |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
986 ;; appears that in the OS/2 port of Emacs, one can't modify frame |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
987 ;; parameters of iconified frames. As a precaution, we do likewise for |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
988 ;; windows-nt. |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
989 (if (memq system-type '(emx windows-nt windows-95)) |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
990 (modify-frame-parameters ctl-frame adjusted-parameters)) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
991 |
| 18054 | 992 ;; make or zap toolbar (if not requested) |
| 993 (ediff-make-bottom-toolbar ctl-frame) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
994 |
| 11042 | 995 (goto-char (point-min)) |
| 18054 | 996 |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
997 (modify-frame-parameters ctl-frame adjusted-parameters) |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
998 (make-frame-visible ctl-frame) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
999 |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
1000 ;; This works around a bug in 19.25 and earlier. There, if frame gets |
| 11042 | 1001 ;; iconified, the current buffer changes to that of the frame that |
| 1002 ;; becomes exposed as a result of this iconification. | |
| 1003 ;; So, we make sure the current buffer doesn't change. | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1004 (select-frame ctl-frame) |
| 11042 | 1005 (ediff-refresh-control-frame) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1006 |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1007 (cond ((and ediff-prefer-iconified-control-frame |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1008 (not ctl-frame-iconified-p) (not dont-iconify-ctl-frame)) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1009 (iconify-frame ctl-frame)) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1010 ((or deiconify-ctl-frame (not ctl-frame-iconified-p)) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1011 (raise-frame ctl-frame))) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1012 |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1013 (set-window-dedicated-p (selected-window) t) |
| 18054 | 1014 |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
1015 ;; Now move the frame. We must do it separately due to an obscure bug in |
| 18054 | 1016 ;; XEmacs |
| 1017 (modify-frame-parameters | |
| 1018 ctl-frame | |
| 1019 (funcall ediff-control-frame-position-function ctl-buffer fwidth fheight)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1020 |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1021 ;; synchronize so the cursor will move to control frame |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1022 ;; per RMS suggestion |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1023 (if (ediff-window-display-p) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1024 (let ((count 7)) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1025 (sit-for .1) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1026 (while (and (not (frame-visible-p ctl-frame)) (> count 0)) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1027 (setq count (1- count)) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1028 (sit-for .3)))) |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1029 |
| 11042 | 1030 (or (ediff-frame-iconified-p ctl-frame) |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1031 ;; don't warp the mouse, unless ediff-grab-mouse = t |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1032 (ediff-reset-mouse ctl-frame |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1033 (or (eq this-command 'ediff-quit) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1034 (not (eq ediff-grab-mouse t))))) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1035 |
| 11042 | 1036 (if ediff-xemacs-p |
| 19047 | 1037 (ediff-with-current-buffer ctl-buffer |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
1038 (ediff-cond-compile-for-xemacs-or-emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
1039 (make-local-hook 'select-frame-hook) ; xemacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
1040 nil ; emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
1041 ) |
|
42288
3ce98f3e0608
2001-12-24 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
38422
diff
changeset
|
1042 (add-hook |
|
3ce98f3e0608
2001-12-24 Michael Kifer <kifer@cs.sunysb.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
38422
diff
changeset
|
1043 'select-frame-hook 'ediff-xemacs-select-frame-hook nil 'local) |
| 11042 | 1044 )) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1045 |
| 19047 | 1046 (ediff-with-current-buffer ctl-buffer |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1047 (run-hooks 'ediff-after-setup-control-frame-hook)) |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1048 )) |
| 18054 | 1049 |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1050 |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1051 (defun ediff-destroy-control-frame (ctl-buffer) |
| 19047 | 1052 (ediff-with-current-buffer ctl-buffer |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1053 (if (and (ediff-window-display-p) (frame-live-p ediff-control-frame)) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1054 (let ((ctl-frame ediff-control-frame)) |
|
42602
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
1055 (ediff-cond-compile-for-xemacs-or-emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
1056 (set-buffer-menubar default-menubar) ; xemacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
1057 nil ; emacs |
|
633233bf2bbf
2002-01-07 Michael Kifer <kifer@cs.stonybrook.edu>
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
42288
diff
changeset
|
1058 ) |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1059 (setq ediff-control-frame nil) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1060 (delete-frame ctl-frame) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1061 ))) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1062 (ediff-skip-unsuitable-frames) |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1063 ;;(ediff-reset-mouse nil) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1064 ) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1065 |
| 11042 | 1066 |
| 1067 ;; finds a good place to clip control frame | |
| 1068 (defun ediff-make-frame-position (ctl-buffer ctl-frame-width ctl-frame-height) | |
| 19047 | 1069 (ediff-with-current-buffer ctl-buffer |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1070 (let* ((frame-A (window-frame ediff-window-A)) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1071 (frame-A-parameters (frame-parameters frame-A)) |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1072 (frame-A-top (eval (cdr (assoc 'top frame-A-parameters)))) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1073 (frame-A-left (eval (cdr (assoc 'left frame-A-parameters)))) |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1074 (frame-A-width (frame-width frame-A)) |
| 11042 | 1075 (ctl-frame ediff-control-frame) |
| 1076 horizontal-adjustment upward-adjustment | |
| 26934 | 1077 ctl-frame-top ctl-frame-left) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1078 |
| 11042 | 1079 ;; Multiple control frames are clipped based on the value of |
|
26263
4f315ca65976
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
21940
diff
changeset
|
1080 ;; ediff-control-buffer-number. This is done in order not to obscure |
| 11042 | 1081 ;; other active control panels. |
| 1082 (setq horizontal-adjustment (* 2 ediff-control-buffer-number) | |
| 1083 upward-adjustment (* -14 ediff-control-buffer-number)) | |
| 1084 | |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1085 (setq ctl-frame-top |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1086 (- frame-A-top upward-adjustment ediff-control-frame-upward-shift) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1087 ctl-frame-left |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1088 (+ frame-A-left |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1089 (if ediff-use-long-help-message |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1090 (* (ediff-frame-char-width ctl-frame) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1091 (+ ediff-wide-control-frame-rightward-shift |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1092 horizontal-adjustment)) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1093 (- (* frame-A-width (ediff-frame-char-width frame-A)) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1094 (* (ediff-frame-char-width ctl-frame) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1095 (+ ctl-frame-width |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1096 ediff-narrow-control-frame-leftward-shift |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1097 horizontal-adjustment)))))) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1098 (setq ctl-frame-top |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1099 (min ctl-frame-top |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1100 (- (ediff-display-pixel-height) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1101 (* 2 ctl-frame-height |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1102 (ediff-frame-char-height ctl-frame)))) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1103 ctl-frame-left |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1104 (min ctl-frame-left |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1105 (- (ediff-display-pixel-width) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1106 (* ctl-frame-width (ediff-frame-char-width ctl-frame))))) |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1107 ;; keep ctl frame within the visible bounds |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1108 (setq ctl-frame-top (max ctl-frame-top 1) |
|
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1109 ctl-frame-left (max ctl-frame-left 1)) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1110 |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1111 (list (cons 'top ctl-frame-top) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1112 (cons 'left ctl-frame-left)) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1113 ))) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1114 |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1115 (defun ediff-xemacs-select-frame-hook () |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1116 (if (and (equal (selected-frame) ediff-control-frame) |
|
14582
c768f6d7daaa
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14169
diff
changeset
|
1117 (not ediff-use-long-help-message)) |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1118 (raise-frame ediff-control-frame))) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1119 |
| 11042 | 1120 (defun ediff-make-wide-display () |
| 1121 "Construct an alist of parameters for the wide display. | |
| 1122 Saves the old frame parameters in `ediff-wide-display-orig-parameters'. | |
| 1123 The frame to be resized is kept in `ediff-wide-display-frame'. | |
| 1124 This function modifies only the left margin and the width of the display. | |
| 1125 It assumes that it is called from within the control buffer." | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1126 (if (not (fboundp 'ediff-display-pixel-width)) |
| 26934 | 1127 (error "Can't determine display width")) |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1128 (let* ((frame-A (window-frame ediff-window-A)) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1129 (frame-A-params (frame-parameters frame-A)) |
| 11042 | 1130 (cw (ediff-frame-char-width frame-A)) |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1131 (wd (- (/ (ediff-display-pixel-width) cw) 5))) |
| 26934 | 1132 (setq ediff-wide-display-orig-parameters |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1133 (list (cons 'left (max 0 (eval (cdr (assoc 'left frame-A-params))))) |
| 11042 | 1134 (cons 'width (cdr (assoc 'width frame-A-params)))) |
| 1135 ediff-wide-display-frame frame-A) | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1136 (modify-frame-parameters frame-A (list (cons 'left cw) |
| 11042 | 1137 (cons 'width wd))))) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1138 |
|
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1139 |
| 11042 | 1140 |
| 1141 ;; Revise the mode line to display which difference we have selected | |
| 1142 ;; Also resets modelines of buffers A/B, since they may be clobbered by | |
| 1143 ;; anothe invocations of Ediff. | |
| 1144 (defun ediff-refresh-mode-lines () | |
| 1145 (let (buf-A-state-diff buf-B-state-diff buf-C-state-diff buf-C-state-merge) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1146 |
| 11042 | 1147 (if (ediff-valid-difference-p) |
| 1148 (setq | |
| 1149 buf-C-state-diff (ediff-get-state-of-diff ediff-current-difference 'C) | |
| 1150 buf-C-state-merge (ediff-get-state-of-merge ediff-current-difference) | |
| 1151 buf-A-state-diff (ediff-get-state-of-diff ediff-current-difference 'A) | |
| 1152 buf-B-state-diff (ediff-get-state-of-diff ediff-current-difference 'B) | |
| 1153 buf-A-state-diff (if buf-A-state-diff | |
| 1154 (format "[%s] " buf-A-state-diff) | |
| 1155 "") | |
| 1156 buf-B-state-diff (if buf-B-state-diff | |
| 1157 (format "[%s] " buf-B-state-diff) | |
| 1158 "") | |
| 1159 buf-C-state-diff (if (and (ediff-buffer-live-p ediff-buffer-C) | |
| 1160 (or buf-C-state-diff buf-C-state-merge)) | |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1161 (format "[%s%s%s] " |
| 11042 | 1162 (or buf-C-state-diff "") |
| 1163 (if buf-C-state-merge | |
| 1164 (concat " " buf-C-state-merge) | |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1165 "") |
| 26934 | 1166 (if (ediff-get-state-of-ancestor |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1167 ediff-current-difference) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1168 " AncestorEmpty" |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1169 "") |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1170 ) |
| 11042 | 1171 "")) |
| 1172 (setq buf-A-state-diff "" | |
| 1173 buf-B-state-diff "" | |
| 1174 buf-C-state-diff "")) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1175 |
| 11042 | 1176 ;; control buffer format |
| 1177 (setq mode-line-format | |
| 18054 | 1178 (if (ediff-narrow-control-frame-p) |
| 1179 (list " " mode-line-buffer-identification) | |
| 1180 (list "-- " mode-line-buffer-identification " Quick Help"))) | |
| 11042 | 1181 ;; control buffer id |
| 26934 | 1182 (setq mode-line-buffer-identification |
| 11042 | 1183 (if (ediff-narrow-control-frame-p) |
| 1184 (ediff-make-narrow-control-buffer-id 'skip-name) | |
| 1185 (ediff-make-wide-control-buffer-id))) | |
| 1186 ;; Force mode-line redisplay | |
| 1187 (force-mode-line-update) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1188 |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1189 (if (and (ediff-window-display-p) (frame-live-p ediff-control-frame)) |
| 11042 | 1190 (ediff-refresh-control-frame)) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1191 |
| 19047 | 1192 (ediff-with-current-buffer ediff-buffer-A |
| 11042 | 1193 (setq ediff-diff-status buf-A-state-diff) |
| 1194 (ediff-strip-mode-line-format) | |
| 1195 (setq mode-line-format | |
| 1196 (list " A: " 'ediff-diff-status mode-line-format)) | |
| 1197 (force-mode-line-update)) | |
| 19047 | 1198 (ediff-with-current-buffer ediff-buffer-B |
| 11042 | 1199 (setq ediff-diff-status buf-B-state-diff) |
| 1200 (ediff-strip-mode-line-format) | |
| 1201 (setq mode-line-format | |
| 1202 (list " B: " 'ediff-diff-status mode-line-format)) | |
| 1203 (force-mode-line-update)) | |
| 1204 (if ediff-3way-job | |
| 19047 | 1205 (ediff-with-current-buffer ediff-buffer-C |
| 11042 | 1206 (setq ediff-diff-status buf-C-state-diff) |
| 1207 (ediff-strip-mode-line-format) | |
| 1208 (setq mode-line-format | |
| 1209 (list " C: " 'ediff-diff-status mode-line-format)) | |
| 1210 (force-mode-line-update))) | |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1211 (if (ediff-buffer-live-p ediff-ancestor-buffer) |
| 19047 | 1212 (ediff-with-current-buffer ediff-ancestor-buffer |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1213 (ediff-strip-mode-line-format) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1214 ;; we keep the second dummy string in the mode line format of the |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1215 ;; ancestor, since for other buffers Ediff prepends 2 strings and |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1216 ;; ediff-strip-mode-line-format expects that. |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1217 (setq mode-line-format |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1218 (list " Ancestor: " |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1219 (cond ((not (stringp buf-C-state-merge)) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1220 "") |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1221 ((string-match "prefer-A" buf-C-state-merge) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1222 "[=diff(B)] ") |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1223 ((string-match "prefer-B" buf-C-state-merge) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1224 "[=diff(A)] ") |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1225 (t "")) |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1226 mode-line-format)))) |
| 11042 | 1227 )) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1228 |
|
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1229 |
| 11042 | 1230 (defun ediff-refresh-control-frame () |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1231 (if ediff-emacs-p |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1232 ;; set frame/icon titles for Emacs |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1233 (modify-frame-parameters |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1234 ediff-control-frame |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1235 (list (cons 'title (ediff-make-base-title)) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1236 (cons 'icon-name (ediff-make-narrow-control-buffer-id)) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1237 )) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1238 ;; set frame/icon titles for XEmacs |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1239 (setq frame-title-format (ediff-make-base-title) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1240 frame-icon-title-format (ediff-make-narrow-control-buffer-id)) |
|
13132
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1241 ;; force an update of the frame title |
|
7ed272c3c177
(ediff-make-frame-position): fixed bugs.
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
12559
diff
changeset
|
1242 (modify-frame-parameters ediff-control-frame '(())))) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1243 |
|
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1244 |
| 11042 | 1245 (defun ediff-make-narrow-control-buffer-id (&optional skip-name) |
| 1246 (concat | |
| 1247 (if skip-name | |
| 1248 " " | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1249 (ediff-make-base-title)) |
| 26934 | 1250 (cond ((< ediff-current-difference 0) |
| 11042 | 1251 (format " _/%d" ediff-number-of-differences)) |
| 1252 ((>= ediff-current-difference ediff-number-of-differences) | |
| 1253 (format " $/%d" ediff-number-of-differences)) | |
| 1254 (t | |
| 1255 (format " %d/%d" | |
| 1256 (1+ ediff-current-difference) | |
| 1257 ediff-number-of-differences))))) | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1258 |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1259 (defun ediff-make-base-title () |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1260 (concat |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1261 (cdr (assoc 'name ediff-control-frame-parameters)) |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1262 ediff-control-buffer-suffix)) |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1263 |
| 11042 | 1264 (defun ediff-make-wide-control-buffer-id () |
| 1265 (cond ((< ediff-current-difference 0) | |
| 1266 (list (format "%%b At start of %d diffs" | |
| 1267 ediff-number-of-differences))) | |
| 1268 ((>= ediff-current-difference ediff-number-of-differences) | |
| 1269 (list (format "%%b At end of %d diffs" | |
| 1270 ediff-number-of-differences))) | |
| 1271 (t | |
| 1272 (list (format "%%b diff %d of %d" | |
| 1273 (1+ ediff-current-difference) | |
| 1274 ediff-number-of-differences))))) | |
| 1275 | |
| 1276 | |
| 1277 | |
| 1278 ;; If buff is not live, return nil | |
| 1279 (defun ediff-get-visible-buffer-window (buff) | |
| 1280 (if (ediff-buffer-live-p buff) | |
| 1281 (if ediff-xemacs-p | |
| 1282 (get-buffer-window buff t) | |
| 1283 (get-buffer-window buff 'visible)))) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1284 |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1285 |
| 11042 | 1286 ;;; Functions to decide when to redraw windows |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1287 |
| 11042 | 1288 (defun ediff-keep-window-config (control-buf) |
| 1289 (and (eq control-buf (current-buffer)) | |
| 1290 (/= (buffer-size) 0) | |
| 19047 | 1291 (ediff-with-current-buffer control-buf |
| 11042 | 1292 (let ((ctl-wind ediff-control-window) |
| 1293 (A-wind ediff-window-A) | |
| 1294 (B-wind ediff-window-B) | |
| 1295 (C-wind ediff-window-C)) | |
|
49588
37645a051842
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48034
diff
changeset
|
1296 |
| 11042 | 1297 (and |
| 1298 (ediff-window-visible-p A-wind) | |
| 1299 (ediff-window-visible-p B-wind) | |
| 1300 ;; if buffer C is defined then take it into account | |
| 1301 (or (not ediff-3way-job) | |
| 1302 (ediff-window-visible-p C-wind)) | |
| 1303 (eq (window-buffer A-wind) ediff-buffer-A) | |
| 1304 (eq (window-buffer B-wind) ediff-buffer-B) | |
| 1305 (or (not ediff-3way-job) | |
| 1306 (eq (window-buffer C-wind) ediff-buffer-C)) | |
| 1307 (string= ediff-window-config-saved | |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1308 (format "%S%S%S%S%S%S%S" |
| 11042 | 1309 ctl-wind A-wind B-wind C-wind |
|
12084
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1310 ediff-split-window-function |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1311 (ediff-multiframe-setup-p) |
|
4a13777b153b
(ediff-make-control-frame): optimized for display.
Karl Heuer <kwzh@gnu.org>
parents:
12020
diff
changeset
|
1312 ediff-wide-display-p))))))) |
| 11042 | 1313 |
| 1314 | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1315 ;;; Local Variables: |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1316 ;;; eval: (put 'ediff-defvar-local 'lisp-indent-hook 'defun) |
| 19047 | 1317 ;;; eval: (put 'ediff-with-current-buffer 'lisp-indent-hook 1) |
| 1318 ;;; eval: (put 'ediff-with-current-buffer 'edebug-form-spec '(form body)) | |
|
15480
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1319 ;;; End: |
|
43a3308fcf61
*** empty log message ***
Michael Kifer <kifer@cs.stonybrook.edu>
parents:
14582
diff
changeset
|
1320 |
| 52401 | 1321 ;;; arch-tag: 73d9a5d7-eed7-4d9c-8b4b-21d5d78eb597 |
| 11042 | 1322 ;;; ediff-wind.el ends here |
