Mercurial > emacs
annotate lisp/scroll-bar.el @ 56303:d86ec00a8470
(isearch-mode-map): Bind C-M-w to isearch-del-char,
C-M-y to isearch-yank-char. Bind M-% to isearch-query-replace,
C-M-% to isearch-query-replace-regexp.
(minibuffer-local-isearch-map): Add arrow key bindings.
Bind C-f to isearch-yank-char-in-minibuffer.
(isearch-forward): Doc fix.
(isearch-edit-string): Doc fix.
(isearch-query-replace, isearch-query-replace-regexp): New funs.
(isearch-del-char): Add optional arg. Set isearch-yank-flag to t.
(isearch-yank-char): Add optional arg.
(isearch-yank-char-in-minibuffer): New fun.
| author | Juri Linkov <juri@jurta.org> |
|---|---|
| date | Thu, 01 Jul 2004 09:54:51 +0000 |
| parents | ad02f6299e9a |
| children | 6fb026ad601f |
| rev | line source |
|---|---|
|
38412
253f761ad37b
Some fixes to follow coding conventions in files maintained by FSF.
Pavel Jan?k <Pavel@Janik.cz>
parents:
36803
diff
changeset
|
1 ;;; scroll-bar.el --- window system-independent scroll bar support |
| 1772 | 2 |
|
50398
1b58100e624c
(scroll-bar-mode): Correctly specify `nil' choice.
Miles Bader <miles@gnu.org>
parents:
49016
diff
changeset
|
3 ;; Copyright (C) 1993, 1994, 1995, 1999, 2000, 2001, 2003 |
|
36803
4b1f1bdaf676
(toplevel): Test if `x-toolkit-scroll-bars' is
Gerd Moellmann <gerd@gnu.org>
parents:
34871
diff
changeset
|
4 ;; Free Software Foundation, Inc. |
| 1772 | 5 |
| 6 ;; Maintainer: FSF | |
| 7 ;; Keywords: hardware | |
| 8 | |
| 14169 | 9 ;; This file is part of GNU Emacs. |
| 1772 | 10 |
| 14169 | 11 ;; GNU Emacs is free software; you can redistribute it and/or modify |
| 12 ;; it under the terms of the GNU General Public License as published by | |
| 13 ;; the Free Software Foundation; either version 2, or (at your option) | |
| 14 ;; any later version. | |
| 1772 | 15 |
| 14169 | 16 ;; GNU Emacs is distributed in the hope that it will be useful, |
| 17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 19 ;; GNU General Public License for more details. | |
| 1772 | 20 |
| 14169 | 21 ;; You should have received a copy of the GNU General Public License |
| 22 ;; along with GNU Emacs; see the file COPYING. If not, write to the | |
| 23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
| 24 ;; Boston, MA 02111-1307, USA. | |
|
2233
fb0ed5a1d0f3
Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2232
diff
changeset
|
25 |
|
2315
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2233
diff
changeset
|
26 ;;; Commentary: |
|
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2233
diff
changeset
|
27 |
|
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2233
diff
changeset
|
28 ;; Window-system-independent bindings of mouse clicks on the scroll bar. |
|
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2233
diff
changeset
|
29 ;; Presently emulates the scroll-bar behavior of xterm. |
| 14169 | 30 |
|
2315
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2233
diff
changeset
|
31 ;;; Code: |
|
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2233
diff
changeset
|
32 |
|
1821
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1772
diff
changeset
|
33 (require 'mouse) |
|
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1772
diff
changeset
|
34 |
| 1772 | 35 |
| 36 ;;;; Utilities. | |
| 37 | |
|
7222
3dae5675cd3e
(scroll-bar-event-ratio): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4469
diff
changeset
|
38 (defun scroll-bar-event-ratio (event) |
|
3dae5675cd3e
(scroll-bar-event-ratio): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4469
diff
changeset
|
39 "Given a scroll bar event EVENT, return the scroll bar position as a ratio. |
|
3dae5675cd3e
(scroll-bar-event-ratio): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4469
diff
changeset
|
40 The value is a cons cell (PORTION . WHOLE) containing two integers |
|
3dae5675cd3e
(scroll-bar-event-ratio): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4469
diff
changeset
|
41 whose ratio gives the event's vertical position in the scroll bar, with 0 |
|
3dae5675cd3e
(scroll-bar-event-ratio): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4469
diff
changeset
|
42 referring to the top and 1 to the bottom." |
|
3dae5675cd3e
(scroll-bar-event-ratio): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4469
diff
changeset
|
43 (nth 2 event)) |
|
3dae5675cd3e
(scroll-bar-event-ratio): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4469
diff
changeset
|
44 |
|
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
45 (defun scroll-bar-scale (num-denom whole) |
| 1772 | 46 "Given a pair (NUM . DENOM) and WHOLE, return (/ (* NUM WHOLE) DENOM). |
|
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
47 This is handy for scaling a position on a scroll bar into real units, |
|
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
48 like buffer positions. If SCROLL-BAR-POS is the (PORTION . WHOLE) pair |
|
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
49 from a scroll bar event, then (scroll-bar-scale SCROLL-BAR-POS |
| 1772 | 50 \(buffer-size)) is the position in the current buffer corresponding to |
|
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
51 that scroll bar position." |
| 1772 | 52 ;; We multiply before we divide to maintain precision. |
| 53 ;; We use floating point because the product of a large buffer size | |
|
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
54 ;; with a large scroll bar portion can easily overflow a lisp int. |
| 1772 | 55 (truncate (/ (* (float (car num-denom)) whole) (cdr num-denom)))) |
| 56 | |
|
54399
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
57 (defun scroll-bar-columns (side) |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
58 "Return the width, measured in columns, of the vertical scrollbar on SIDE. |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
59 SIDE must be the symbol `left' or `right'." |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
60 (let* ((wsb (window-scroll-bars)) |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
61 (vtype (nth 2 wsb)) |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
62 (cols (nth 1 wsb))) |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
63 (cond |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
64 ((not (memq side '(left right))) |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
65 (error "`left' or `right' expected instead of %S" side)) |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
66 ((and (eq vtype side) cols)) |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
67 ((eq (frame-parameter nil 'vertical-scroll-bars) side) |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
68 ;; nil means it's a non-toolkit scroll bar, and its width in |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
69 ;; columns is 14 pixels rounded up. |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
70 (ceiling (or (frame-parameter nil 'scroll-bar-width) 14) |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
71 (frame-char-width))) |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
72 (0)))) |
|
ad02f6299e9a
2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents:
52558
diff
changeset
|
73 |
| 1772 | 74 |
|
1954
059d99d03aae
* term/x-win.el (scroll-bar-mode, scroll-bar-mode): Move these
Jim Blandy <jimb@redhat.com>
parents:
1821
diff
changeset
|
75 ;;;; Helpful functions for enabling and disabling scroll bars. |
|
059d99d03aae
* term/x-win.el (scroll-bar-mode, scroll-bar-mode): Move these
Jim Blandy <jimb@redhat.com>
parents:
1821
diff
changeset
|
76 |
|
18480
f0c705a82dca
(scroll-bar-mode): Extra defvar to avoid warning.
Richard M. Stallman <rms@gnu.org>
parents:
18479
diff
changeset
|
77 (defvar scroll-bar-mode) |
|
f0c705a82dca
(scroll-bar-mode): Extra defvar to avoid warning.
Richard M. Stallman <rms@gnu.org>
parents:
18479
diff
changeset
|
78 |
|
18891
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
79 (defvar scroll-bar-mode-explicit nil |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
80 "Non-nil means `set-scroll-bar-mode' should really do something. |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
81 This is nil while loading `scroll-bar.el', and t afterward.") |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
82 |
|
20129
a68db1ead5cf
(set-scroll-bar-mode): Take just one arg.
Karl Heuer <kwzh@gnu.org>
parents:
20061
diff
changeset
|
83 (defun set-scroll-bar-mode-1 (ignore value) |
|
a68db1ead5cf
(set-scroll-bar-mode): Take just one arg.
Karl Heuer <kwzh@gnu.org>
parents:
20061
diff
changeset
|
84 (set-scroll-bar-mode value)) |
|
a68db1ead5cf
(set-scroll-bar-mode): Take just one arg.
Karl Heuer <kwzh@gnu.org>
parents:
20061
diff
changeset
|
85 |
|
a68db1ead5cf
(set-scroll-bar-mode): Take just one arg.
Karl Heuer <kwzh@gnu.org>
parents:
20061
diff
changeset
|
86 (defun set-scroll-bar-mode (value) |
|
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
87 "Set `scroll-bar-mode' to VALUE and put the new value into effect." |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
88 (setq scroll-bar-mode value) |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
89 |
|
18891
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
90 (when scroll-bar-mode-explicit |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
91 ;; Apply it to default-frame-alist. |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
92 (let ((parameter (assq 'vertical-scroll-bars default-frame-alist))) |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
93 (if (consp parameter) |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
94 (setcdr parameter scroll-bar-mode) |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
95 (setq default-frame-alist |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
96 (cons (cons 'vertical-scroll-bars scroll-bar-mode) |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
97 default-frame-alist)))) |
|
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
98 |
|
18891
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
99 ;; Apply it to existing frames. |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
100 (let ((frames (frame-list))) |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
101 (while frames |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
102 (modify-frame-parameters |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
103 (car frames) |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
104 (list (cons 'vertical-scroll-bars scroll-bar-mode))) |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
105 (setq frames (cdr frames)))))) |
|
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
106 |
|
52558
3fb606ea8bf6
(set-scroll-bar-mode): Initialize to new built-in variable
Kim F. Storm <storm@cua.dk>
parents:
52401
diff
changeset
|
107 (defcustom scroll-bar-mode default-frame-scroll-bars |
|
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
108 "*Specify whether to have vertical scroll bars, and on which side. |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
109 Possible values are nil (no scroll bars), `left' (scroll bars on left) |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
110 and `right' (scroll bars on right). |
|
22908
53b018832269
(scroll-bar-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
21734
diff
changeset
|
111 To set this variable in a Lisp program, use `set-scroll-bar-mode' |
|
53b018832269
(scroll-bar-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
21734
diff
changeset
|
112 to make it take real effect. |
|
53b018832269
(scroll-bar-mode): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents:
21734
diff
changeset
|
113 Setting the variable with a customization buffer also takes effect." |
|
50398
1b58100e624c
(scroll-bar-mode): Correctly specify `nil' choice.
Miles Bader <miles@gnu.org>
parents:
49016
diff
changeset
|
114 :type '(choice (const :tag "none (nil)" nil) |
|
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
115 (const left) |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
116 (const right)) |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
117 :group 'frames |
|
47494
06a428ab2fcb
(scroll-bar-mode): Specify :initialize.
Richard M. Stallman <rms@gnu.org>
parents:
42851
diff
changeset
|
118 ;; The default value for :initialize would try to use :set |
|
06a428ab2fcb
(scroll-bar-mode): Specify :initialize.
Richard M. Stallman <rms@gnu.org>
parents:
42851
diff
changeset
|
119 ;; when processing the file in cus-dep.el. |
|
06a428ab2fcb
(scroll-bar-mode): Specify :initialize.
Richard M. Stallman <rms@gnu.org>
parents:
42851
diff
changeset
|
120 :initialize 'custom-initialize-default |
|
20129
a68db1ead5cf
(set-scroll-bar-mode): Take just one arg.
Karl Heuer <kwzh@gnu.org>
parents:
20061
diff
changeset
|
121 :set 'set-scroll-bar-mode-1) |
|
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
122 |
|
18891
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
123 ;; We just set scroll-bar-mode, but that was the default. |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
124 ;; If it is set again, that is for real. |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
125 (setq scroll-bar-mode-explicit t) |
|
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
126 |
|
42851
4c0ca26cfc69
(scroll-bar-mode): Make argument optional.
Pavel Jan?k <Pavel@Janik.cz>
parents:
38412
diff
changeset
|
127 (defun scroll-bar-mode (&optional flag) |
|
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
128 "Toggle display of vertical scroll bars on all frames. |
|
1954
059d99d03aae
* term/x-win.el (scroll-bar-mode, scroll-bar-mode): Move these
Jim Blandy <jimb@redhat.com>
parents:
1821
diff
changeset
|
129 This command applies to all frames that exist and frames to be |
|
059d99d03aae
* term/x-win.el (scroll-bar-mode, scroll-bar-mode): Move these
Jim Blandy <jimb@redhat.com>
parents:
1821
diff
changeset
|
130 created in the future. |
|
059d99d03aae
* term/x-win.el (scroll-bar-mode, scroll-bar-mode): Move these
Jim Blandy <jimb@redhat.com>
parents:
1821
diff
changeset
|
131 With a numeric argument, if the argument is negative, |
|
059d99d03aae
* term/x-win.el (scroll-bar-mode, scroll-bar-mode): Move these
Jim Blandy <jimb@redhat.com>
parents:
1821
diff
changeset
|
132 turn off scroll bars; otherwise, turn on scroll bars." |
|
059d99d03aae
* term/x-win.el (scroll-bar-mode, scroll-bar-mode): Move these
Jim Blandy <jimb@redhat.com>
parents:
1821
diff
changeset
|
133 (interactive "P") |
|
3613
f37a9c897699
* scroll-bar.el (scroll-bar-mode): Variable deleted.
Jim Blandy <jimb@redhat.com>
parents:
3588
diff
changeset
|
134 |
|
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
135 ;; Tweedle the variable according to the argument. |
|
52558
3fb606ea8bf6
(set-scroll-bar-mode): Initialize to new built-in variable
Kim F. Storm <storm@cua.dk>
parents:
52401
diff
changeset
|
136 (set-scroll-bar-mode (if (if (null flag) |
|
3fb606ea8bf6
(set-scroll-bar-mode): Initialize to new built-in variable
Kim F. Storm <storm@cua.dk>
parents:
52401
diff
changeset
|
137 (not scroll-bar-mode) |
|
3fb606ea8bf6
(set-scroll-bar-mode): Initialize to new built-in variable
Kim F. Storm <storm@cua.dk>
parents:
52401
diff
changeset
|
138 (setq flag (prefix-numeric-value flag)) |
|
3fb606ea8bf6
(set-scroll-bar-mode): Initialize to new built-in variable
Kim F. Storm <storm@cua.dk>
parents:
52401
diff
changeset
|
139 (or (not (numberp flag)) (>= flag 0))) |
|
3fb606ea8bf6
(set-scroll-bar-mode): Initialize to new built-in variable
Kim F. Storm <storm@cua.dk>
parents:
52401
diff
changeset
|
140 default-frame-scroll-bars))) |
|
3613
f37a9c897699
* scroll-bar.el (scroll-bar-mode): Variable deleted.
Jim Blandy <jimb@redhat.com>
parents:
3588
diff
changeset
|
141 |
|
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
142 (defun toggle-scroll-bar (arg) |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
143 "Toggle whether or not the selected frame has vertical scroll bars. |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
144 With arg, turn vertical scroll bars on if and only if arg is positive. |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
145 The variable `scroll-bar-mode' controls which side the scroll bars are on |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
146 when they are turned on; if it is nil, they go on the left." |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
147 (interactive "P") |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
148 (if (null arg) |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
149 (setq arg |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
150 (if (cdr (assq 'vertical-scroll-bars |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
151 (frame-parameters (selected-frame)))) |
|
20061
fb0d3082b28c
(toggle-scroll-bar): Call prefix-numeric-value.
Karl Heuer <kwzh@gnu.org>
parents:
19683
diff
changeset
|
152 -1 1)) |
|
fb0d3082b28c
(toggle-scroll-bar): Call prefix-numeric-value.
Karl Heuer <kwzh@gnu.org>
parents:
19683
diff
changeset
|
153 (setq arg (prefix-numeric-value arg))) |
|
21734
807f4e7fa560
(scroll-bar-mode, toggle-scroll-bar): By default,
Geoff Voelker <voelker@cs.washington.edu>
parents:
21427
diff
changeset
|
154 (modify-frame-parameters |
|
807f4e7fa560
(scroll-bar-mode, toggle-scroll-bar): By default,
Geoff Voelker <voelker@cs.washington.edu>
parents:
21427
diff
changeset
|
155 (selected-frame) |
|
807f4e7fa560
(scroll-bar-mode, toggle-scroll-bar): By default,
Geoff Voelker <voelker@cs.washington.edu>
parents:
21427
diff
changeset
|
156 (list (cons 'vertical-scroll-bars |
|
807f4e7fa560
(scroll-bar-mode, toggle-scroll-bar): By default,
Geoff Voelker <voelker@cs.washington.edu>
parents:
21427
diff
changeset
|
157 (if (> arg 0) |
|
52558
3fb606ea8bf6
(set-scroll-bar-mode): Initialize to new built-in variable
Kim F. Storm <storm@cua.dk>
parents:
52401
diff
changeset
|
158 (or scroll-bar-mode default-frame-scroll-bars)))))) |
|
3613
f37a9c897699
* scroll-bar.el (scroll-bar-mode): Variable deleted.
Jim Blandy <jimb@redhat.com>
parents:
3588
diff
changeset
|
159 |
|
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
160 (defun toggle-horizontal-scroll-bar (arg) |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
161 "Toggle whether or not the selected frame has horizontal scroll bars. |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
162 With arg, turn horizontal scroll bars on if and only if arg is positive. |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
163 Horizontal scroll bars aren't implemented yet." |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
164 (interactive "P") |
|
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
165 (error "Horizontal scroll bars aren't implemented yet")) |
|
1954
059d99d03aae
* term/x-win.el (scroll-bar-mode, scroll-bar-mode): Move these
Jim Blandy <jimb@redhat.com>
parents:
1821
diff
changeset
|
166 |
|
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
167 ;;;; Buffer navigation using the scroll bar. |
| 1772 | 168 |
|
2698
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
169 ;;; This was used for up-events on button 2, but no longer. |
|
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
170 (defun scroll-bar-set-window-start (event) |
|
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
171 "Set the window start according to where the scroll bar is dragged. |
|
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
172 EVENT should be a scroll bar click or drag event." |
| 1772 | 173 (interactive "e") |
|
1821
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1772
diff
changeset
|
174 (let* ((end-position (event-end event)) |
| 1772 | 175 (window (nth 0 end-position)) |
| 176 (portion-whole (nth 2 end-position))) | |
| 177 (save-excursion | |
| 178 (set-buffer (window-buffer window)) | |
| 179 (save-excursion | |
|
3588
9685f1d5545b
* scroll-bar.el (scroll-bar-set-window-start): Remember that the
Jim Blandy <jimb@redhat.com>
parents:
3508
diff
changeset
|
180 (goto-char (+ (point-min) |
|
9685f1d5545b
* scroll-bar.el (scroll-bar-set-window-start): Remember that the
Jim Blandy <jimb@redhat.com>
parents:
3508
diff
changeset
|
181 (scroll-bar-scale portion-whole |
|
9685f1d5545b
* scroll-bar.el (scroll-bar-set-window-start): Remember that the
Jim Blandy <jimb@redhat.com>
parents:
3508
diff
changeset
|
182 (- (point-max) (point-min))))) |
| 1772 | 183 (beginning-of-line) |
| 184 (set-window-start window (point)))))) | |
| 185 | |
|
15215
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
186 (defun scroll-bar-drag-position (portion-whole) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
187 "Calculate new window start for drag event." |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
188 (save-excursion |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
189 (goto-char (+ (point-min) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
190 (scroll-bar-scale portion-whole |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
191 (- (point-max) (point-min))))) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
192 (beginning-of-line) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
193 (point))) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
194 |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
195 (defun scroll-bar-maybe-set-window-start (event) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
196 "Set the window start according to where the scroll bar is dragged. |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
197 Only change window start if the new start is substantially different. |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
198 EVENT should be a scroll bar click or drag event." |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
199 (interactive "e") |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
200 (let* ((end-position (event-end event)) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
201 (window (nth 0 end-position)) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
202 (portion-whole (nth 2 end-position)) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
203 (next-portion-whole (cons (1+ (car portion-whole)) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
204 (cdr portion-whole))) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
205 portion-start |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
206 next-portion-start |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
207 (current-start (window-start window))) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
208 (save-excursion |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
209 (set-buffer (window-buffer window)) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
210 (setq portion-start (scroll-bar-drag-position portion-whole)) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
211 (setq next-portion-start (max |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
212 (scroll-bar-drag-position next-portion-whole) |
|
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
213 (1+ portion-start))) |
|
19683
af32e336d12c
(scroll-bar-maybe-set-window-start): Change window
Geoff Voelker <voelker@cs.washington.edu>
parents:
18891
diff
changeset
|
214 (if (or (>= current-start next-portion-start) |
|
15215
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
215 (< current-start portion-start)) |
|
15264
0eb55cad57c6
(scroll-bar-maybe-set-window-start): Always set
Karl Heuer <kwzh@gnu.org>
parents:
15215
diff
changeset
|
216 (set-window-start window portion-start) |
|
0eb55cad57c6
(scroll-bar-maybe-set-window-start): Always set
Karl Heuer <kwzh@gnu.org>
parents:
15215
diff
changeset
|
217 ;; Always set window start, to ensure scroll bar position is updated. |
|
0eb55cad57c6
(scroll-bar-maybe-set-window-start): Always set
Karl Heuer <kwzh@gnu.org>
parents:
15215
diff
changeset
|
218 (set-window-start window current-start))))) |
|
15215
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
219 |
|
2698
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
220 ;; Scroll the window to the proper position for EVENT. |
|
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
221 (defun scroll-bar-drag-1 (event) |
|
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
222 (let* ((start-position (event-start event)) |
|
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
223 (window (nth 0 start-position)) |
|
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
224 (portion-whole (nth 2 start-position))) |
|
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
225 (save-excursion |
|
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
226 (set-buffer (window-buffer window)) |
| 3508 | 227 ;; Calculate position relative to the accessible part of the buffer. |
| 228 (goto-char (+ (point-min) | |
| 229 (scroll-bar-scale portion-whole | |
| 230 (- (point-max) (point-min))))) | |
|
50717
318f8d4ecf5a
(scroll-bar-drag-1): Replace beginning-of-line with vertical-motion.
Juanma Barranquero <lekktu@gmail.com>
parents:
50398
diff
changeset
|
231 (vertical-motion 0 window) |
|
2698
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
232 (set-window-start window (point))))) |
|
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
233 |
|
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
234 (defun scroll-bar-drag (event) |
|
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
235 "Scroll the window by dragging the scroll bar slider. |
|
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
236 If you click outside the slider, the window scrolls to bring the slider there." |
|
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
237 (interactive "e") |
|
11145
fb77829412af
(scroll-bar-drag): Bind echo-keystrokes to 0.
Richard M. Stallman <rms@gnu.org>
parents:
10555
diff
changeset
|
238 (let* (done |
|
21427
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
239 (echo-keystrokes 0) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
240 (end-position (event-end event)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
241 (window (nth 0 end-position)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
242 (before-scroll)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
243 (with-current-buffer (window-buffer window) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
244 (setq before-scroll point-before-scroll)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
245 (save-selected-window |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
246 (select-window window) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
247 (setq before-scroll |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
248 (or before-scroll (point)))) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
249 (scroll-bar-drag-1 event) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
250 (track-mouse |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
251 (while (not done) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
252 (setq event (read-event)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
253 (if (eq (car-safe event) 'mouse-movement) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
254 (setq event (read-event))) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
255 (cond ((eq (car-safe event) 'scroll-bar-movement) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
256 (scroll-bar-drag-1 event)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
257 (t |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
258 ;; Exit when we get the drag event; ignore that event. |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
259 (setq done t))))) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
260 (sit-for 0) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
261 (with-current-buffer (window-buffer window) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
262 (setq point-before-scroll before-scroll)))) |
|
2698
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
263 |
|
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
264 (defun scroll-bar-scroll-down (event) |
|
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
265 "Scroll the window's top line down to the location of the scroll bar click. |
|
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
266 EVENT should be a scroll bar click." |
| 1772 | 267 (interactive "e") |
|
21427
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
268 (let* ((end-position (event-end event)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
269 (window (nth 0 end-position)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
270 (before-scroll)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
271 (with-current-buffer (window-buffer window) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
272 (setq before-scroll point-before-scroll)) |
|
23248
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
273 (unwind-protect |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
274 (save-selected-window |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
275 (let ((portion-whole (nth 2 end-position))) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
276 (select-window window) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
277 (setq before-scroll |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
278 (or before-scroll (point))) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
279 (scroll-down |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
280 (scroll-bar-scale portion-whole (1- (window-height))))) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
281 (sit-for 0)) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
282 (with-current-buffer (window-buffer window) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
283 (setq point-before-scroll before-scroll))))) |
| 1772 | 284 |
|
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
285 (defun scroll-bar-scroll-up (event) |
|
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
286 "Scroll the line next to the scroll bar click to the top of the window. |
|
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
287 EVENT should be a scroll bar click." |
| 1772 | 288 (interactive "e") |
|
21427
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
289 (let* ((end-position (event-end event)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
290 (window (nth 0 end-position)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
291 (before-scroll)) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
292 (with-current-buffer (window-buffer window) |
|
b5a5ac474741
(scroll-bar-drag): Set point-before-scroll
Richard M. Stallman <rms@gnu.org>
parents:
20129
diff
changeset
|
293 (setq before-scroll point-before-scroll)) |
|
23248
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
294 (unwind-protect |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
295 (save-selected-window |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
296 (let ((portion-whole (nth 2 end-position))) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
297 (select-window window) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
298 (setq before-scroll |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
299 (or before-scroll (point))) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
300 (scroll-up |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
301 (scroll-bar-scale portion-whole (1- (window-height))))) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
302 (sit-for 0)) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
303 (with-current-buffer (window-buffer window) |
|
6119bb0ddd69
(scroll-bar-scroll-down, scroll-bar-scroll-up):
Karl Heuer <kwzh@gnu.org>
parents:
22908
diff
changeset
|
304 (setq point-before-scroll before-scroll))))) |
| 1772 | 305 |
| 306 | |
| 24981 | 307 ;;; Tookit scroll bars. |
| 308 | |
| 309 (defun scroll-bar-toolkit-scroll (event) | |
| 310 (interactive "e") | |
| 311 (let* ((end-position (event-end event)) | |
| 312 (window (nth 0 end-position)) | |
| 313 (part (nth 4 end-position)) | |
| 314 before-scroll) | |
|
27421
34b81c946198
(scroll-bar-timer): Variable removed.
Gerd Moellmann <gerd@gnu.org>
parents:
26510
diff
changeset
|
315 (cond ((eq part 'end-scroll)) |
| 24981 | 316 (t |
| 317 (with-current-buffer (window-buffer window) | |
| 318 (setq before-scroll point-before-scroll)) | |
| 319 (save-selected-window | |
| 320 (select-window window) | |
| 321 (setq before-scroll (or before-scroll (point))) | |
| 322 (cond ((eq part 'above-handle) | |
| 323 (scroll-up '-)) | |
| 324 ((eq part 'below-handle) | |
| 325 (scroll-up nil)) | |
|
26510
6866d2a9a421
(scroll-bar-toolkit-scroll): add handling of the `ratio'
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
24981
diff
changeset
|
326 ((eq part 'ratio) |
|
6866d2a9a421
(scroll-bar-toolkit-scroll): add handling of the `ratio'
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
24981
diff
changeset
|
327 (let* ((portion-whole (nth 2 end-position)) |
|
6866d2a9a421
(scroll-bar-toolkit-scroll): add handling of the `ratio'
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
24981
diff
changeset
|
328 (lines (scroll-bar-scale portion-whole |
|
6866d2a9a421
(scroll-bar-toolkit-scroll): add handling of the `ratio'
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
24981
diff
changeset
|
329 (1- (window-height))))) |
|
6866d2a9a421
(scroll-bar-toolkit-scroll): add handling of the `ratio'
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
24981
diff
changeset
|
330 (scroll-up (cond ((not (zerop lines)) lines) |
|
6866d2a9a421
(scroll-bar-toolkit-scroll): add handling of the `ratio'
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
24981
diff
changeset
|
331 ((< (car portion-whole) 0) -1) |
|
6866d2a9a421
(scroll-bar-toolkit-scroll): add handling of the `ratio'
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
24981
diff
changeset
|
332 (t 1))))) |
| 24981 | 333 ((eq part 'up) |
| 334 (scroll-up -1)) | |
| 335 ((eq part 'down) | |
| 336 (scroll-up 1)) | |
| 337 ((eq part 'top) | |
| 338 (set-window-start window (point-min))) | |
| 339 ((eq part 'bottom) | |
| 340 (goto-char (point-max)) | |
| 341 (recenter)) | |
| 342 ((eq part 'handle) | |
| 343 (scroll-bar-drag-1 event)))) | |
| 344 (sit-for 0) | |
| 345 (with-current-buffer (window-buffer window) | |
| 346 (setq point-before-scroll before-scroll)))))) | |
| 347 | |
| 348 | |
| 349 | |
| 1772 | 350 ;;;; Bindings. |
| 351 | |
| 352 ;;; For now, we'll set things up to work like xterm. | |
|
36803
4b1f1bdaf676
(toplevel): Test if `x-toolkit-scroll-bars' is
Gerd Moellmann <gerd@gnu.org>
parents:
34871
diff
changeset
|
353 (cond ((and (boundp 'x-toolkit-scroll-bars) x-toolkit-scroll-bars) |
| 24981 | 354 (global-set-key [vertical-scroll-bar mouse-1] |
| 355 'scroll-bar-toolkit-scroll)) | |
| 356 (t | |
| 357 (global-set-key [vertical-scroll-bar mouse-1] | |
| 358 'scroll-bar-scroll-up) | |
| 359 (global-set-key [vertical-scroll-bar drag-mouse-1] | |
| 360 'scroll-bar-scroll-up) | |
| 361 (global-set-key [vertical-scroll-bar down-mouse-2] | |
| 362 'scroll-bar-drag) | |
| 363 (global-set-key [vertical-scroll-bar mouse-3] | |
| 364 'scroll-bar-scroll-down) | |
| 365 (global-set-key [vertical-scroll-bar drag-mouse-3] | |
| 366 'scroll-bar-scroll-down))) | |
| 1772 | 367 |
| 368 | |
|
1973
3a08dacd8bfb
These are in preparation for a more thorough renaming to occur soon.
Jim Blandy <jimb@redhat.com>
parents:
1954
diff
changeset
|
369 (provide 'scroll-bar) |
| 1772 | 370 |
| 52401 | 371 ;;; arch-tag: 6f1d01d0-0b1e-4bf8-86db-d491e0f399f3 |
|
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
372 ;;; scroll-bar.el ends here |
