Mercurial > emacs
annotate lisp/scroll-bar.el @ 20014:2ecea967337d
(elint-check-defcustom-form): New function.
(elint-special-forms): Use it.
author | Karl Heuer <kwzh@gnu.org> |
---|---|
date | Thu, 02 Oct 1997 02:47:57 +0000 |
parents | af32e336d12c |
children | fb0d3082b28c |
rev | line source |
---|---|
2232
4f9d60f7de9d
Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
1981
diff
changeset
|
1 ;;; scroll-bar.el --- window system-independent scroll bar support. |
1772 | 2 |
14169 | 3 ;; Copyright (C) 1993, 1994, 1995 Free Software Foundation, Inc. |
1772 | 4 |
5 ;; Maintainer: FSF | |
6 ;; Keywords: hardware | |
7 | |
14169 | 8 ;; This file is part of GNU Emacs. |
1772 | 9 |
14169 | 10 ;; GNU Emacs is free software; you can redistribute it and/or modify |
11 ;; it under the terms of the GNU General Public License as published by | |
12 ;; the Free Software Foundation; either version 2, or (at your option) | |
13 ;; any later version. | |
1772 | 14 |
14169 | 15 ;; GNU Emacs is distributed in the hope that it will be useful, |
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
18 ;; GNU General Public License for more details. | |
1772 | 19 |
14169 | 20 ;; You should have received a copy of the GNU General Public License |
21 ;; along with GNU Emacs; see the file COPYING. If not, write to the | |
22 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
23 ;; Boston, MA 02111-1307, USA. | |
2233
fb0ed5a1d0f3
Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2232
diff
changeset
|
24 |
2315
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2233
diff
changeset
|
25 ;;; Commentary: |
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2233
diff
changeset
|
26 |
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2233
diff
changeset
|
27 ;; 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
|
28 ;; Presently emulates the scroll-bar behavior of xterm. |
14169 | 29 |
2315
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2233
diff
changeset
|
30 ;;; Code: |
9e7ec92a4fdf
Added or corrected Commentary headers
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2233
diff
changeset
|
31 |
1821
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1772
diff
changeset
|
32 (require 'mouse) |
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1772
diff
changeset
|
33 |
1772 | 34 |
35 ;;;; Utilities. | |
36 | |
7222
3dae5675cd3e
(scroll-bar-event-ratio): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4469
diff
changeset
|
37 (defun scroll-bar-event-ratio (event) |
3dae5675cd3e
(scroll-bar-event-ratio): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4469
diff
changeset
|
38 "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
|
39 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
|
40 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
|
41 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
|
42 (nth 2 event)) |
3dae5675cd3e
(scroll-bar-event-ratio): New function.
Richard M. Stallman <rms@gnu.org>
parents:
4469
diff
changeset
|
43 |
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
44 (defun scroll-bar-scale (num-denom whole) |
1772 | 45 "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
|
46 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
|
47 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
|
48 from a scroll bar event, then (scroll-bar-scale SCROLL-BAR-POS |
1772 | 49 \(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
|
50 that scroll bar position." |
1772 | 51 ;; We multiply before we divide to maintain precision. |
52 ;; 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
|
53 ;; with a large scroll bar portion can easily overflow a lisp int. |
1772 | 54 (truncate (/ (* (float (car num-denom)) whole) (cdr num-denom)))) |
55 | |
56 | |
1954
059d99d03aae
* term/x-win.el (scroll-bar-mode, scroll-bar-mode): Move these
Jim Blandy <jimb@redhat.com>
parents:
1821
diff
changeset
|
57 ;;;; 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
|
58 |
18480
f0c705a82dca
(scroll-bar-mode): Extra defvar to avoid warning.
Richard M. Stallman <rms@gnu.org>
parents:
18479
diff
changeset
|
59 (defvar scroll-bar-mode) |
f0c705a82dca
(scroll-bar-mode): Extra defvar to avoid warning.
Richard M. Stallman <rms@gnu.org>
parents:
18479
diff
changeset
|
60 |
18891
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
61 (defvar scroll-bar-mode-explicit nil |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
62 "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
|
63 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
|
64 |
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
65 (defun set-scroll-bar-mode (ignore value) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
66 "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
|
67 (setq scroll-bar-mode value) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
68 |
18891
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
69 (when scroll-bar-mode-explicit |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
70 ;; Apply it to default-frame-alist. |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
71 (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
|
72 (if (consp parameter) |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
73 (setcdr parameter scroll-bar-mode) |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
74 (setq default-frame-alist |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
75 (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
|
76 default-frame-alist)))) |
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
77 |
18891
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
78 ;; Apply it to existing frames. |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
79 (let ((frames (frame-list))) |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
80 (while frames |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
81 (modify-frame-parameters |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
82 (car frames) |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
83 (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
|
84 (setq frames (cdr frames)))))) |
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
85 |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
86 (defcustom scroll-bar-mode 'left |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
87 "*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
|
88 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
|
89 and `right' (scroll bars on right). |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
90 When you set the variable in a Lisp program, it takes effect for new frames, |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
91 and for existing frames when `toggle-scroll-bar' is used. |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
92 When you set this with the customization buffer, |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
93 it takes effect immediately for all frames." |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
94 :type '(choice (const :tag "none (nil)") |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
95 (const left) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
96 (const right)) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
97 :group 'frames |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
98 :set 'set-scroll-bar-mode) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
99 |
18891
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
100 ;; 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
|
101 ;; 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
|
102 (setq scroll-bar-mode-explicit t) |
86c0d896480e
(scroll-bar-mode-explicit): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
18480
diff
changeset
|
103 |
1954
059d99d03aae
* term/x-win.el (scroll-bar-mode, scroll-bar-mode): Move these
Jim Blandy <jimb@redhat.com>
parents:
1821
diff
changeset
|
104 (defun scroll-bar-mode (flag) |
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
105 "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
|
106 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
|
107 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
|
108 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
|
109 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
|
110 (interactive "P") |
4469
abb585cf9188
(scroll-bar-mode): If FLAG is non-nil, set it to its prefix-numeric-value.
Roland McGrath <roland@gnu.org>
parents:
3613
diff
changeset
|
111 (if flag (setq flag (prefix-numeric-value flag))) |
3613
f37a9c897699
* scroll-bar.el (scroll-bar-mode): Variable deleted.
Jim Blandy <jimb@redhat.com>
parents:
3588
diff
changeset
|
112 |
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
113 ;; Tweedle the variable according to the argument. |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
114 (set-scroll-bar-mode nil |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
115 (if (null flag) (not scroll-bar-mode) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
116 (and (or (not (numberp flag)) (>= flag 0)) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
117 'left)))) |
3613
f37a9c897699
* scroll-bar.el (scroll-bar-mode): Variable deleted.
Jim Blandy <jimb@redhat.com>
parents:
3588
diff
changeset
|
118 |
18479
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
119 (defun toggle-scroll-bar (arg) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
120 "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
|
121 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
|
122 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
|
123 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
|
124 (interactive "P") |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
125 (if (null arg) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
126 (setq arg |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
127 (if (cdr (assq 'vertical-scroll-bars |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
128 (frame-parameters (selected-frame)))) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
129 -1 1))) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
130 (modify-frame-parameters (selected-frame) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
131 (list (cons 'vertical-scroll-bars |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
132 (if (> arg 0) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
133 (or scroll-bar-mode 'left)))))) |
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 (defun toggle-horizontal-scroll-bar (arg) |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
136 "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
|
137 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
|
138 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
|
139 (interactive "P") |
dedaafd841c0
(toggle-scroll-bar): Moved from frame.el.
Richard M. Stallman <rms@gnu.org>
parents:
15264
diff
changeset
|
140 (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
|
141 |
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
142 ;;;; Buffer navigation using the scroll bar. |
1772 | 143 |
2698
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
144 ;;; 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
|
145 (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
|
146 "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
|
147 EVENT should be a scroll bar click or drag event." |
1772 | 148 (interactive "e") |
1821
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1772
diff
changeset
|
149 (let* ((end-position (event-end event)) |
1772 | 150 (window (nth 0 end-position)) |
151 (portion-whole (nth 2 end-position))) | |
152 (save-excursion | |
153 (set-buffer (window-buffer window)) | |
154 (save-excursion | |
3588
9685f1d5545b
* scroll-bar.el (scroll-bar-set-window-start): Remember that the
Jim Blandy <jimb@redhat.com>
parents:
3508
diff
changeset
|
155 (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
|
156 (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
|
157 (- (point-max) (point-min))))) |
1772 | 158 (beginning-of-line) |
159 (set-window-start window (point)))))) | |
160 | |
15215
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
161 (defun scroll-bar-drag-position (portion-whole) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
162 "Calculate new window start for drag event." |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
163 (save-excursion |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
164 (goto-char (+ (point-min) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
165 (scroll-bar-scale portion-whole |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
166 (- (point-max) (point-min))))) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
167 (beginning-of-line) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
168 (point))) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
169 |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
170 (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
|
171 "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
|
172 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
|
173 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
|
174 (interactive "e") |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
175 (let* ((end-position (event-end event)) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
176 (window (nth 0 end-position)) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
177 (portion-whole (nth 2 end-position)) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
178 (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
|
179 (cdr portion-whole))) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
180 portion-start |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
181 next-portion-start |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
182 (current-start (window-start window))) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
183 (save-excursion |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
184 (set-buffer (window-buffer window)) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
185 (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
|
186 (setq next-portion-start (max |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
187 (scroll-bar-drag-position next-portion-whole) |
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
188 (1+ portion-start))) |
19683
af32e336d12c
(scroll-bar-maybe-set-window-start): Change window
Geoff Voelker <voelker@cs.washington.edu>
parents:
18891
diff
changeset
|
189 (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
|
190 (< current-start portion-start)) |
15264
0eb55cad57c6
(scroll-bar-maybe-set-window-start): Always set
Karl Heuer <kwzh@gnu.org>
parents:
15215
diff
changeset
|
191 (set-window-start window portion-start) |
0eb55cad57c6
(scroll-bar-maybe-set-window-start): Always set
Karl Heuer <kwzh@gnu.org>
parents:
15215
diff
changeset
|
192 ;; 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
|
193 (set-window-start window current-start))))) |
15215
681866822119
(scroll-bar-drag-position): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
194 |
2698
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
195 ;; 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
|
196 (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
|
197 (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
|
198 (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
|
199 (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
|
200 (save-excursion |
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
201 (set-buffer (window-buffer window)) |
3508 | 202 ;; Calculate position relative to the accessible part of the buffer. |
203 (goto-char (+ (point-min) | |
204 (scroll-bar-scale portion-whole | |
205 (- (point-max) (point-min))))) | |
2698
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
206 (beginning-of-line) |
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
207 (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
|
208 |
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
209 (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
|
210 "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
|
211 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
|
212 (interactive "e") |
11145
fb77829412af
(scroll-bar-drag): Bind echo-keystrokes to 0.
Richard M. Stallman <rms@gnu.org>
parents:
10555
diff
changeset
|
213 (let* (done |
fb77829412af
(scroll-bar-drag): Bind echo-keystrokes to 0.
Richard M. Stallman <rms@gnu.org>
parents:
10555
diff
changeset
|
214 (echo-keystrokes 0)) |
10555
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
215 (or point-before-scroll |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
216 (setq point-before-scroll (point))) |
12040
e293764039a5
(scroll-bar-drag): Call scroll-bar-drag-1
Karl Heuer <kwzh@gnu.org>
parents:
11235
diff
changeset
|
217 ;; Our scrolling can move point; don't let that clear point-before-scroll. |
10555
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
218 (let (point-before-scroll) |
12040
e293764039a5
(scroll-bar-drag): Call scroll-bar-drag-1
Karl Heuer <kwzh@gnu.org>
parents:
11235
diff
changeset
|
219 (scroll-bar-drag-1 event) |
10555
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
220 (track-mouse |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
221 (while (not done) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
222 (setq event (read-event)) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
223 (if (eq (car-safe event) 'mouse-movement) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
224 (setq event (read-event))) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
225 (cond ((eq (car-safe event) 'scroll-bar-movement) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
226 (scroll-bar-drag-1 event)) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
227 (t |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
228 ;; Exit when we get the drag event; ignore that event. |
12040
e293764039a5
(scroll-bar-drag): Call scroll-bar-drag-1
Karl Heuer <kwzh@gnu.org>
parents:
11235
diff
changeset
|
229 (setq done t))))) |
e293764039a5
(scroll-bar-drag): Call scroll-bar-drag-1
Karl Heuer <kwzh@gnu.org>
parents:
11235
diff
changeset
|
230 (sit-for 0)))) |
2698
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
231 |
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
232 (defun scroll-bar-scroll-down (event) |
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
233 "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
|
234 EVENT should be a scroll bar click." |
1772 | 235 (interactive "e") |
236 (let ((old-selected-window (selected-window))) | |
237 (unwind-protect | |
238 (progn | |
1821
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1772
diff
changeset
|
239 (let* ((end-position (event-end event)) |
1772 | 240 (window (nth 0 end-position)) |
241 (portion-whole (nth 2 end-position))) | |
10555
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
242 (let (point-before-scroll) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
243 (select-window window)) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
244 (or point-before-scroll |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
245 (setq point-before-scroll (point))) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
246 (let (point-before-scroll) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
247 (scroll-down |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
248 (scroll-bar-scale portion-whole (1- (window-height))))))) |
1772 | 249 (select-window old-selected-window)))) |
250 | |
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
251 (defun scroll-bar-scroll-up (event) |
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
252 "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
|
253 EVENT should be a scroll bar click." |
1772 | 254 (interactive "e") |
255 (let ((old-selected-window (selected-window))) | |
256 (unwind-protect | |
257 (progn | |
1821
04fb1d3d6992
JimB's changes since January 18th
Jim Blandy <jimb@redhat.com>
parents:
1772
diff
changeset
|
258 (let* ((end-position (event-end event)) |
1772 | 259 (window (nth 0 end-position)) |
260 (portion-whole (nth 2 end-position))) | |
10555
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
261 (let (point-before-scroll) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
262 (select-window window)) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
263 (or point-before-scroll |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
264 (setq point-before-scroll (point))) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
265 (let (point-before-scroll) |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
266 (scroll-up |
39e925f8beaa
(scroll-bar-drag-1): Set point-before-scroll properly.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
267 (scroll-bar-scale portion-whole (1- (window-height))))))) |
1772 | 268 (select-window old-selected-window)))) |
269 | |
270 | |
271 ;;;; Bindings. | |
272 | |
273 ;;; For now, we'll set things up to work like xterm. | |
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
274 (global-set-key [vertical-scroll-bar mouse-1] 'scroll-bar-scroll-up) |
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
275 (global-set-key [vertical-scroll-bar drag-mouse-1] 'scroll-bar-scroll-up) |
1772 | 276 |
2698
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
277 (global-set-key [vertical-scroll-bar down-mouse-2] 'scroll-bar-drag) |
6940c6b5d988
(scroll-bar-drag, scroll-bar-drag-1): New functions.
Richard M. Stallman <rms@gnu.org>
parents:
2315
diff
changeset
|
278 |
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
279 (global-set-key [vertical-scroll-bar mouse-3] 'scroll-bar-scroll-down) |
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
280 (global-set-key [vertical-scroll-bar drag-mouse-3] 'scroll-bar-scroll-down) |
1772 | 281 |
282 | |
1973
3a08dacd8bfb
These are in preparation for a more thorough renaming to occur soon.
Jim Blandy <jimb@redhat.com>
parents:
1954
diff
changeset
|
283 (provide 'scroll-bar) |
1772 | 284 |
1981
bde0ca7e33b3
Use the term `scroll bar', instead of `scrollbar'.
Jim Blandy <jimb@redhat.com>
parents:
1973
diff
changeset
|
285 ;;; scroll-bar.el ends here |