Mercurial > emacs
annotate lisp/winner.el @ 57723:6a65cb24e1be
Revision: miles@gnu.org--gnu-2004/emacs--cvs-trunk--0--patch-640
Merge from gnus--rel--5.10
Patches applied:
* miles@gnu.org--gnu-2004/gnus--rel--5.10--patch-59
- miles@gnu.org--gnu-2004/gnus--rel--5.10--patch-60
Update from CVS
2004-10-25 Reiner Steib <Reiner.Steib@gmx.de>
* lisp/gnus/html2text.el (html2text-buffer-head): Removed. Use `goto-char'
instead.
2004-10-24 Kevin Greiner <kevin.greiner@compsol.cc>
* lisp/gnus/gnus-start.el (gnus-convert-old-newsrc): Fixed numeric
comparison on string.
author | Miles Bader <miles@gnu.org> |
---|---|
date | Tue, 26 Oct 2004 22:33:43 +0000 |
parents | 96c2a9272e97 |
children | 5201ea9b1985 4c90ffeb71c5 |
rev | line source |
---|---|
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
1 ;;; winner.el --- Restore old window configurations |
17469 | 2 |
55349
96c2a9272e97
(winner-mode-map): Move winner-undo and winner-redo to C-c <left> and C-c
Juanma Barranquero <lekktu@gmail.com>
parents:
52401
diff
changeset
|
3 ;; Copyright (C) 1997, 1998, 2001, 2004 Free Software Foundation. Inc. |
17469 | 4 |
28071 | 5 ;; Author: Ivar Rummelhoff <ivarru@math.uio.no> |
17469 | 6 ;; Created: 27 Feb 1997 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
7 ;; Time-stamp: <2002-02-20 22:06:58 ivarru> |
28023
3978c673322b
Fix keywords, autoload cookies. Split
Dave Love <fx@gnu.org>
parents:
25733
diff
changeset
|
8 ;; Keywords: convenience frames |
17469 | 9 |
17470
c4cd2317fe60
Clean up comments, etc.
Richard M. Stallman <rms@gnu.org>
parents:
17469
diff
changeset
|
10 ;; This file is part of GNU Emacs. |
c4cd2317fe60
Clean up comments, etc.
Richard M. Stallman <rms@gnu.org>
parents:
17469
diff
changeset
|
11 |
c4cd2317fe60
Clean up comments, etc.
Richard M. Stallman <rms@gnu.org>
parents:
17469
diff
changeset
|
12 ;; GNU Emacs is free software; you can redistribute it and/or modify |
17469 | 13 ;; it under the terms of the GNU General Public License as published by |
14 ;; the Free Software Foundation; either version 2, or (at your option) | |
15 ;; any later version. | |
16 | |
17470
c4cd2317fe60
Clean up comments, etc.
Richard M. Stallman <rms@gnu.org>
parents:
17469
diff
changeset
|
17 ;; GNU Emacs is distributed in the hope that it will be useful, |
17469 | 18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
20 ;; GNU General Public License for more details. | |
21 | |
22 ;; You should have received a copy of the GNU General Public License | |
23 ;; along with GNU Emacs; see the file COPYING. If not, write to the | |
24 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
25 ;; Boston, MA 02111-1307, USA. | |
26 | |
27 ;;; Commentary: | |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
28 |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
29 ;; Winner mode is a global minor mode that records the changes in the |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
30 ;; window configuration (i.e. how the frames are partitioned into |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
31 ;; windows) so that the changes can be "undone" using the command |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
32 ;; `winner-undo'. By default this one is bound to the key sequence |
55349
96c2a9272e97
(winner-mode-map): Move winner-undo and winner-redo to C-c <left> and C-c
Juanma Barranquero <lekktu@gmail.com>
parents:
52401
diff
changeset
|
33 ;; ctrl-c left. If you change your mind (while undoing), you can |
96c2a9272e97
(winner-mode-map): Move winner-undo and winner-redo to C-c <left> and C-c
Juanma Barranquero <lekktu@gmail.com>
parents:
52401
diff
changeset
|
34 ;; press ctrl-c right (calling `winner-redo'). Even though it uses |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
35 ;; some features of Emacs20.3, winner.el should also work with |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
36 ;; Emacs19.34 and XEmacs20, provided that the installed version of |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
37 ;; custom is not obsolete. |
17469 | 38 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
39 ;; Winner mode was improved August 1998. |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
40 ;; Further improvements February 2002. |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
41 |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
42 ;;; Code: |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
43 |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
44 (eval-when-compile |
28023
3978c673322b
Fix keywords, autoload cookies. Split
Dave Love <fx@gnu.org>
parents:
25733
diff
changeset
|
45 (require 'cl)) |
17469 | 46 |
28023
3978c673322b
Fix keywords, autoload cookies. Split
Dave Love <fx@gnu.org>
parents:
25733
diff
changeset
|
47 (eval-when-compile |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
48 (cond |
25733
b2b3b42a23b3
Use aref instead of sref.
Richard M. Stallman <rms@gnu.org>
parents:
25639
diff
changeset
|
49 ((eq (aref (emacs-version) 0) ?X) |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
50 (defmacro winner-active-region () |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
51 '(region-active-p)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
52 (defsetf winner-active-region () (store) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
53 `(if ,store (zmacs-activate-region) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
54 (zmacs-deactivate-region)))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
55 (t (defmacro winner-active-region () |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
56 'mark-active) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
57 (defsetf winner-active-region () (store) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
58 `(setq mark-active ,store)))) ) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
59 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
60 (eval-and-compile |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
61 (cond |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
62 ((eq (aref (emacs-version) 0) ?X) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
63 (defalias 'winner-edges 'window-pixel-edges) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
64 (defsubst winner-window-list () |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
65 (remq (minibuffer-window) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
66 (window-list nil 0)))) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
67 (t (defalias 'winner-edges 'window-edges) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
68 (defsubst winner-window-list () |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
69 (window-list nil 0)))) ) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
70 |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
71 (require 'ring) |
17469 | 72 |
48248
ee08f1e3d269
(defgroup winner): Handle Emacs 19 compatibility so that definition
Markus Rost <rost@math.uni-bielefeld.de>
parents:
43556
diff
changeset
|
73 (unless (fboundp 'defgroup) |
ee08f1e3d269
(defgroup winner): Handle Emacs 19 compatibility so that definition
Markus Rost <rost@math.uni-bielefeld.de>
parents:
43556
diff
changeset
|
74 (defmacro defgroup (&rest rest))) |
ee08f1e3d269
(defgroup winner): Handle Emacs 19 compatibility so that definition
Markus Rost <rost@math.uni-bielefeld.de>
parents:
43556
diff
changeset
|
75 |
ee08f1e3d269
(defgroup winner): Handle Emacs 19 compatibility so that definition
Markus Rost <rost@math.uni-bielefeld.de>
parents:
43556
diff
changeset
|
76 (defgroup winner nil |
ee08f1e3d269
(defgroup winner): Handle Emacs 19 compatibility so that definition
Markus Rost <rost@math.uni-bielefeld.de>
parents:
43556
diff
changeset
|
77 "Restoring window configurations." |
ee08f1e3d269
(defgroup winner): Handle Emacs 19 compatibility so that definition
Markus Rost <rost@math.uni-bielefeld.de>
parents:
43556
diff
changeset
|
78 :group 'windows) |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
79 |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
80 (unless (fboundp 'defcustom) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
81 (defmacro defcustom (symbol &optional initvalue docs &rest rest) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
82 (list 'defvar symbol initvalue docs))) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
83 |
28023
3978c673322b
Fix keywords, autoload cookies. Split
Dave Love <fx@gnu.org>
parents:
25733
diff
changeset
|
84 ;;;###autoload |
20968 | 85 (defcustom winner-mode nil |
86 "Toggle winner-mode. | |
24637 | 87 Setting this variable directly does not take effect; |
88 use either \\[customize] or the function `winner-mode'." | |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
89 :set #'(lambda (symbol value) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
90 (winner-mode (or value 0))) |
20968 | 91 :initialize 'custom-initialize-default |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
92 :type 'boolean |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
93 :group 'winner |
20968 | 94 :require 'winner) |
95 | |
96 (defcustom winner-dont-bind-my-keys nil | |
97 "If non-nil: Do not use `winner-mode-map' in Winner mode." | |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
98 :type 'boolean |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
99 :group 'winner) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
100 |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
101 (defcustom winner-ring-size 200 |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
102 "Maximum number of stored window configurations per frame." |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
103 :type 'integer |
20968 | 104 :group 'winner) |
17469 | 105 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
106 (defcustom winner-boring-buffers '("*Completions*") |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
107 "`winner-undo' will not restore windows displaying any of these \ |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
108 buffers. |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
109 You may want to include buffer names such as *Help*, *Apropos*, |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
110 *Buffer List*, *info* and *Compile-Log*." |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
111 :type '(repeat string) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
112 :group 'winner) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
113 |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
114 |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
115 |
17469 | 116 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
117 ;;;; Saving old configurations (internal variables and subroutines) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
118 |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
119 |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
120 ;;; Current configuration |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
121 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
122 ;; List the windows according to their edges. |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
123 (defun winner-sorted-window-list () |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
124 (sort (winner-window-list) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
125 (lambda (x y) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
126 (loop for a in (winner-edges x) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
127 for b in (winner-edges y) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
128 while (= a b) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
129 finally return (< a b))))) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
130 |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
131 (defun winner-win-data () |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
132 ;; Essential properties of the windows in the selected frame. |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
133 (loop for win in (winner-sorted-window-list) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
134 collect (cons (winner-edges win) (window-buffer win)))) |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
135 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
136 ;; This variable is updated with the current window configuration |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
137 ;; every time it changes. |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
138 (defvar winner-currents nil) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
139 |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
140 ;; The current configuration (+ the buffers involved). |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
141 (defsubst winner-conf () |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
142 (cons (current-window-configuration) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
143 (winner-win-data))) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
144 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
145 |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
146 ;; Save current configuration. |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
147 ;; (Called below by `winner-save-old-configurations'). |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
148 (defun winner-remember () |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
149 (let ((entry (assq (selected-frame) winner-currents))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
150 (if entry (setcdr entry (winner-conf)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
151 (push (cons (selected-frame) (winner-conf)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
152 winner-currents)))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
153 |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
154 ;; Consult `winner-currents'. |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
155 (defun winner-configuration (&optional frame) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
156 (or (cdr (assq (or frame (selected-frame)) winner-currents)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
157 (letf (((selected-frame) frame)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
158 (winner-conf)))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
159 |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
160 |
17469 | 161 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
162 ;;; Saved configurations |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
163 |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
164 ;; This variable contains the window cofiguration rings. |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
165 ;; The key in this alist is the frame. |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
166 (defvar winner-ring-alist nil) |
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
167 |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
168 ;; Find the right ring. If it does not exist, create one. |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
169 (defsubst winner-ring (frame) |
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
170 (or (cdr (assq frame winner-ring-alist)) |
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
171 (progn |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
172 (let ((ring (make-ring winner-ring-size))) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
173 (ring-insert ring (winner-configuration frame)) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
174 (push (cons frame ring) winner-ring-alist) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
175 ring)))) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
176 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
177 ;; If the same command is called several times in a row, |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
178 ;; we only save one window configuration. |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
179 (defvar winner-last-command nil) |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
180 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
181 ;; Frames affected by the previous command. |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
182 (defvar winner-last-frames nil) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
183 |
38334
63281ffd14fd
(winner-equal): Make it a defun. Don't compare Winner
Gerd Moellmann <gerd@gnu.org>
parents:
28071
diff
changeset
|
184 |
63281ffd14fd
(winner-equal): Make it a defun. Don't compare Winner
Gerd Moellmann <gerd@gnu.org>
parents:
28071
diff
changeset
|
185 (defun winner-equal (a b) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
186 "Check whether two Winner configurations (as produced by |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
187 `winner-conf') are equal." |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
188 (equal (cdr a) (cdr b))) |
38334
63281ffd14fd
(winner-equal): Make it a defun. Don't compare Winner
Gerd Moellmann <gerd@gnu.org>
parents:
28071
diff
changeset
|
189 |
63281ffd14fd
(winner-equal): Make it a defun. Don't compare Winner
Gerd Moellmann <gerd@gnu.org>
parents:
28071
diff
changeset
|
190 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
191 ;; Save the current window configuration, if it has changed. |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
192 ;; If so return frame, otherwise return nil. |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
193 (defun winner-insert-if-new (frame) |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
194 (unless (or (memq frame winner-last-frames) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
195 (eq this-command 'winner-redo)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
196 (let ((conf (winner-configuration frame)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
197 (ring (winner-ring frame))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
198 (when (and (not (ring-empty-p ring)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
199 (winner-equal conf (ring-ref ring 0))) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
200 ;; When the previous configuration was very similar, |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
201 ;; keep only the latest. |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
202 (ring-remove ring 0)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
203 (ring-insert ring conf) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
204 (push frame winner-last-frames) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
205 frame))) |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
206 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
207 |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
208 |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
209 ;;; Hooks |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
210 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
211 ;; Frames affected by the current command. |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
212 (defvar winner-modified-list nil) |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
213 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
214 ;; Called whenever the window configuration changes |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
215 ;; (a `window-configuration-change-hook'). |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
216 (defun winner-change-fun () |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
217 (unless (or (memq (selected-frame) winner-modified-list) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
218 (/= 0 (minibuffer-depth))) |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
219 (push (selected-frame) winner-modified-list))) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
220 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
221 ;; A `post-command-hook' for emacsen with |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
222 ;; `window-configuration-change-hook'. |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
223 (defun winner-save-old-configurations () |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
224 (when (zerop (minibuffer-depth)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
225 (unless (eq this-command winner-last-command) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
226 (setq winner-last-frames nil) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
227 (setq winner-last-command this-command)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
228 (dolist (frame winner-modified-list) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
229 (winner-insert-if-new frame)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
230 (setq winner-modified-list nil) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
231 (winner-remember))) |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
232 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
233 ;; A `minibuffer-setup-hook'. |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
234 (defun winner-save-unconditionally () |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
235 (unless (eq this-command winner-last-command) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
236 (setq winner-last-frames nil) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
237 (setq winner-last-command this-command)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
238 (winner-insert-if-new (selected-frame)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
239 (winner-remember)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
240 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
241 ;; A `post-command-hook' for other emacsen. |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
242 ;; Also called by `winner-undo' before "undoing". |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
243 (defun winner-save-conditionally () |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
244 (when (zerop (minibuffer-depth)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
245 (winner-save-unconditionally))) |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
246 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
247 |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
248 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
249 ;;;; Restoring configurations |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
250 |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
251 ;; Works almost as `set-window-configuration', |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
252 ;; but does not change the contents or the size of the minibuffer, |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
253 ;; and tries to preserve the selected window. |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
254 (defun winner-set-conf (winconf) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
255 (let* ((miniwin (minibuffer-window)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
256 (chosen (selected-window)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
257 (minisize (window-height miniwin))) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
258 (letf (((window-buffer miniwin)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
259 ((window-point miniwin))) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
260 (set-window-configuration winconf)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
261 (cond |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
262 ((window-live-p chosen) (select-window chosen)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
263 ((window-minibuffer-p (selected-window)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
264 (other-window 1))) |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
265 (when (/= minisize (window-height miniwin)) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
266 (letf (((selected-window) miniwin) ) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
267 (setf (window-height) minisize))))) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
268 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
269 |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
270 |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
271 (defvar winner-point-alist nil) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
272 ;; `set-window-configuration' restores old points and marks. This is |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
273 ;; not what we want, so we make a list of the "real" (i.e. new) points |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
274 ;; and marks before undoing window configurations. |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
275 ;; |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
276 ;; Format of entries: (buffer (mark . mark-active) (window . point) ..) |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
277 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
278 (defun winner-make-point-alist () |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
279 (letf (((current-buffer))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
280 (loop with alist |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
281 for win in (winner-window-list) |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
282 for entry = |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
283 (or (assq (window-buffer win) alist) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
284 (car (push (list (set-buffer (window-buffer win)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
285 (cons (mark t) (winner-active-region))) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
286 alist))) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
287 do (push (cons win (window-point win)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
288 (cddr entry)) |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
289 finally return alist))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
290 |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
291 (defun winner-get-point (buf win) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
292 ;; Consult (and possibly extend) `winner-point-alist'. |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
293 ;; Returns nil iff buf no longer exists. |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
294 (when (buffer-name buf) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
295 (let ((entry (assq buf winner-point-alist))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
296 (cond |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
297 (entry |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
298 (or (cdr (assq win (cddr entry))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
299 (cdr (assq nil (cddr entry))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
300 (letf (((current-buffer) buf)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
301 (push (cons nil (point)) (cddr entry)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
302 (point)))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
303 (t (letf (((current-buffer) buf)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
304 (push (list buf |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
305 (cons (mark t) (winner-active-region)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
306 (cons nil (point))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
307 winner-point-alist) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
308 (point))))))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
309 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
310 ;; Make sure point does not end up in the minibuffer and delete |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
311 ;; windows displaying dead or boring buffers |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
312 ;; (c.f. `winner-boring-buffers'). Return nil iff all the windows |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
313 ;; should be deleted. Preserve correct points and marks. |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
314 (defun winner-set (conf) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
315 ;; For the format of `conf', see `winner-conf'. |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
316 (let* ((buffers nil) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
317 (alive |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
318 ;; Possibly update `winner-point-alist' |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
319 (loop for buf in (mapcar 'cdr (cdr conf)) |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
320 for pos = (winner-get-point buf nil) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
321 if (and pos (not (memq buf buffers))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
322 do (push buf buffers) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
323 collect pos))) |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
324 (winner-set-conf (car conf)) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
325 (let (xwins) ; to be deleted |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
326 |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
327 ;; Restore points |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
328 (dolist (win (winner-sorted-window-list)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
329 (unless (and (pop alive) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
330 (setf (window-point win) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
331 (winner-get-point (window-buffer win) win)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
332 (not (member (buffer-name (window-buffer win)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
333 winner-boring-buffers))) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
334 (push win xwins))) ; delete this window |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
335 |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
336 ;; Restore marks |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
337 (letf (((current-buffer))) |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
338 (loop for buf in buffers |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
339 for entry = (cadr (assq buf winner-point-alist)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
340 do (progn (set-buffer buf) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
341 (set-mark (car entry)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
342 (setf (winner-active-region) (cdr entry))))) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
343 ;; Delete windows, whose buffers are dead or boring. |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
344 ;; Return t if this is still a possible configuration. |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
345 (or (null xwins) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
346 (progn |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
347 (mapc 'delete-window (cdr xwins)) ; delete all but one |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
348 (unless (one-window-p t) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
349 (delete-window (car xwins)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
350 t)))))) |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
351 |
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
352 |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
353 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
354 ;;;; Winner mode (a minor mode) |
17469 | 355 |
20968 | 356 (defcustom winner-mode-hook nil |
357 "Functions to run whenever Winner mode is turned on." | |
358 :type 'hook | |
20969
6007dc30ec3b
*** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents:
20968
diff
changeset
|
359 :group 'winner) |
17469 | 360 |
20969
6007dc30ec3b
*** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents:
20968
diff
changeset
|
361 (defcustom winner-mode-leave-hook nil |
20968 | 362 "Functions to run whenever Winner mode is turned off." |
363 :type 'hook | |
20969
6007dc30ec3b
*** empty log message ***
Dan Nicolaescu <done@ece.arizona.edu>
parents:
20968
diff
changeset
|
364 :group 'winner) |
17469 | 365 |
366 (defvar winner-mode-map nil "Keymap for Winner mode.") | |
17470
c4cd2317fe60
Clean up comments, etc.
Richard M. Stallman <rms@gnu.org>
parents:
17469
diff
changeset
|
367 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
368 ;; Check if `window-configuration-change-hook' is working. |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
369 (defun winner-hook-installed-p () |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
370 (save-window-excursion |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
371 (let ((winner-var nil) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
372 (window-configuration-change-hook |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
373 '((lambda () (setq winner-var t))))) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
374 (split-window) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
375 winner-var))) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
376 |
28023
3978c673322b
Fix keywords, autoload cookies. Split
Dave Love <fx@gnu.org>
parents:
25733
diff
changeset
|
377 |
3978c673322b
Fix keywords, autoload cookies. Split
Dave Love <fx@gnu.org>
parents:
25733
diff
changeset
|
378 ;;;###autoload |
17469 | 379 (defun winner-mode (&optional arg) |
380 "Toggle Winner mode. | |
381 With arg, turn Winner mode on if and only if arg is positive." | |
382 (interactive "P") | |
383 (let ((on-p (if arg (> (prefix-numeric-value arg) 0) | |
384 (not winner-mode)))) | |
385 (cond | |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
386 ;; Turn mode on |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
387 (on-p |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
388 (setq winner-mode t) |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
389 (cond |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
390 ((winner-hook-installed-p) |
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
391 (add-hook 'window-configuration-change-hook 'winner-change-fun) |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
392 (add-hook 'post-command-hook 'winner-save-old-configurations)) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
393 (t (add-hook 'post-command-hook 'winner-save-conditionally))) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
394 (add-hook 'minibuffer-setup-hook 'winner-save-unconditionally) |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
395 (setq winner-modified-list (frame-list)) |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
396 (winner-save-old-configurations) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
397 (run-hooks 'winner-mode-hook) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
398 (when (interactive-p) (message "Winner mode enabled"))) |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
399 ;; Turn mode off |
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
400 (winner-mode |
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
401 (setq winner-mode nil) |
21125
d66c9c7b4927
Use list syntax for key definitions.
Richard M. Stallman <rms@gnu.org>
parents:
21016
diff
changeset
|
402 (remove-hook 'window-configuration-change-hook 'winner-change-fun) |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
403 (remove-hook 'post-command-hook 'winner-save-old-configurations) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
404 (remove-hook 'post-command-hook 'winner-save-conditionally) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
405 (remove-hook 'minibuffer-setup-hook 'winner-save-unconditionally) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
406 (run-hooks 'winner-mode-leave-hook) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
407 (when (interactive-p) (message "Winner mode disabled")))))) |
17469 | 408 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
409 ;; Inspired by undo (simple.el) |
24590 | 410 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
411 (defvar winner-undo-frame nil) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
412 |
24590 | 413 (defvar winner-pending-undo-ring nil |
414 "The ring currently used by winner undo.") | |
415 (defvar winner-undo-counter nil) | |
416 (defvar winner-undone-data nil) ; There confs have been passed. | |
417 | |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
418 (defun winner-undo () |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
419 "Switch back to an earlier window configuration saved by Winner mode. |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
420 In other words, \"undo\" changes in window configuration." |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
421 (interactive) |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
422 (cond |
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
423 ((not winner-mode) (error "Winner mode is turned off")) |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
424 (t (unless (and (eq last-command 'winner-undo) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
425 (eq winner-undo-frame (selected-frame))) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
426 (winner-save-conditionally) ; current configuration->stack |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
427 (setq winner-undo-frame (selected-frame)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
428 (setq winner-point-alist (winner-make-point-alist)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
429 (setq winner-pending-undo-ring (winner-ring (selected-frame))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
430 (setq winner-undo-counter 0) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
431 (setq winner-undone-data (list (winner-win-data)))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
432 (incf winner-undo-counter) ; starting at 1 |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
433 (when (and (winner-undo-this) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
434 (not (window-minibuffer-p (selected-window)))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
435 (message "Winner undo (%d / %d)" |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
436 winner-undo-counter |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
437 (1- (ring-length winner-pending-undo-ring))))))) |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
438 |
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
439 |
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
440 |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
441 (defun winner-undo-this () ; The heart of winner undo. |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
442 (loop |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
443 (cond |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
444 ((>= winner-undo-counter (ring-length winner-pending-undo-ring)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
445 (message "No further window configuration undo information") |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
446 (return nil)) |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
447 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
448 ((and ; If possible configuration |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
449 (winner-set (ring-ref winner-pending-undo-ring |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
450 winner-undo-counter)) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
451 ; .. and new configuration |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
452 (let ((data (winner-win-data))) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
453 (and (not (member data winner-undone-data)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
454 (push data winner-undone-data)))) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
455 (return t)) ; .. then everything is fine. |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
456 (t ;; Otherwise, discharge it (and try the next one). |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
457 (ring-remove winner-pending-undo-ring winner-undo-counter))))) |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48248
diff
changeset
|
458 |
17469 | 459 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
460 (defun winner-redo () ; If you change your mind. |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
461 "Restore a more recent window configuration saved by Winner mode." |
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
462 (interactive) |
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
463 (cond |
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
464 ((eq last-command 'winner-undo) |
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
465 (winner-set |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
466 (if (zerop (minibuffer-depth)) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
467 (ring-remove winner-pending-undo-ring 0) |
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
468 (ring-ref winner-pending-undo-ring 0))) |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
469 (unless (eq (selected-window) (minibuffer-window)) |
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
470 (message "Winner undid undo"))) |
19564
8d89cc0f2b42
Many changes by Ivar Rummelhoff.
Richard M. Stallman <rms@gnu.org>
parents:
19502
diff
changeset
|
471 (t (error "Previous command was not a winner-undo")))) |
43556
9e4a1be87f8c
(winner-boring-buffers, winner-set): A window which
Richard M. Stallman <rms@gnu.org>
parents:
38334
diff
changeset
|
472 |
25639
8d9a53e6b71c
Major changes. Avoid changing point and mark.
Richard M. Stallman <rms@gnu.org>
parents:
24637
diff
changeset
|
473 ;;; To be evaluated when the package is loaded: |
17469 | 474 |
475 (unless winner-mode-map | |
476 (setq winner-mode-map (make-sparse-keymap)) | |
55349
96c2a9272e97
(winner-mode-map): Move winner-undo and winner-redo to C-c <left> and C-c
Juanma Barranquero <lekktu@gmail.com>
parents:
52401
diff
changeset
|
477 (define-key winner-mode-map [(control c) left] 'winner-undo) |
96c2a9272e97
(winner-mode-map): Move winner-undo and winner-redo to C-c <left> and C-c
Juanma Barranquero <lekktu@gmail.com>
parents:
52401
diff
changeset
|
478 (define-key winner-mode-map [(control c) right] 'winner-redo)) |
17469 | 479 |
480 (unless (or (assq 'winner-mode minor-mode-map-alist) | |
481 winner-dont-bind-my-keys) | |
482 (push (cons 'winner-mode winner-mode-map) | |
483 minor-mode-map-alist)) | |
484 | |
485 (provide 'winner) | |
486 | |
52401 | 487 ;;; arch-tag: 686d1c1b-010e-42ca-a192-b5685112418f |
17470
c4cd2317fe60
Clean up comments, etc.
Richard M. Stallman <rms@gnu.org>
parents:
17469
diff
changeset
|
488 ;;; winner.el ends here |