1993-03-17 16:56:02 +00:00
|
|
|
|
;;; scroll-bar.el --- window system-independent scroll bar support.
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
1996-01-14 07:34:30 +00:00
|
|
|
|
;; Copyright (C) 1993, 1994, 1995 Free Software Foundation, Inc.
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
|
|
|
|
;; Maintainer: FSF
|
|
|
|
|
;; Keywords: hardware
|
|
|
|
|
|
1996-01-14 07:34:30 +00:00
|
|
|
|
;; This file is part of GNU Emacs.
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
1996-01-14 07:34:30 +00:00
|
|
|
|
;; GNU Emacs is free software; you can redistribute it and/or modify
|
|
|
|
|
;; it under the terms of the GNU General Public License as published by
|
|
|
|
|
;; the Free Software Foundation; either version 2, or (at your option)
|
|
|
|
|
;; any later version.
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
1996-01-14 07:34:30 +00:00
|
|
|
|
;; GNU Emacs is distributed in the hope that it will be useful,
|
|
|
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;; GNU General Public License for more details.
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
1996-01-14 07:34:30 +00:00
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;; along with GNU Emacs; see the file COPYING. If not, write to the
|
|
|
|
|
;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
|
|
;; Boston, MA 02111-1307, USA.
|
1993-03-17 17:17:05 +00:00
|
|
|
|
|
1993-03-22 16:53:22 +00:00
|
|
|
|
;;; Commentary:
|
|
|
|
|
|
|
|
|
|
;; Window-system-independent bindings of mouse clicks on the scroll bar.
|
|
|
|
|
;; Presently emulates the scroll-bar behavior of xterm.
|
1996-01-14 07:34:30 +00:00
|
|
|
|
|
1993-03-22 16:53:22 +00:00
|
|
|
|
;;; Code:
|
|
|
|
|
|
1993-01-26 01:58:16 +00:00
|
|
|
|
(require 'mouse)
|
|
|
|
|
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
|
|
|
|
;;;; Utilities.
|
|
|
|
|
|
1994-04-30 07:23:15 +00:00
|
|
|
|
(defun scroll-bar-event-ratio (event)
|
|
|
|
|
"Given a scroll bar event EVENT, return the scroll bar position as a ratio.
|
|
|
|
|
The value is a cons cell (PORTION . WHOLE) containing two integers
|
|
|
|
|
whose ratio gives the event's vertical position in the scroll bar, with 0
|
|
|
|
|
referring to the top and 1 to the bottom."
|
|
|
|
|
(nth 2 event))
|
|
|
|
|
|
1993-03-02 07:29:47 +00:00
|
|
|
|
(defun scroll-bar-scale (num-denom whole)
|
1993-01-14 14:52:32 +00:00
|
|
|
|
"Given a pair (NUM . DENOM) and WHOLE, return (/ (* NUM WHOLE) DENOM).
|
1993-03-02 07:29:47 +00:00
|
|
|
|
This is handy for scaling a position on a scroll bar into real units,
|
|
|
|
|
like buffer positions. If SCROLL-BAR-POS is the (PORTION . WHOLE) pair
|
|
|
|
|
from a scroll bar event, then (scroll-bar-scale SCROLL-BAR-POS
|
1993-01-14 14:52:32 +00:00
|
|
|
|
\(buffer-size)) is the position in the current buffer corresponding to
|
1993-03-02 07:29:47 +00:00
|
|
|
|
that scroll bar position."
|
1993-01-14 14:52:32 +00:00
|
|
|
|
;; We multiply before we divide to maintain precision.
|
|
|
|
|
;; We use floating point because the product of a large buffer size
|
1993-03-02 07:29:47 +00:00
|
|
|
|
;; with a large scroll bar portion can easily overflow a lisp int.
|
1993-01-14 14:52:32 +00:00
|
|
|
|
(truncate (/ (* (float (car num-denom)) whole) (cdr num-denom))))
|
|
|
|
|
|
|
|
|
|
|
1993-02-25 00:38:55 +00:00
|
|
|
|
;;;; Helpful functions for enabling and disabling scroll bars.
|
|
|
|
|
|
1997-06-28 00:44:52 +00:00
|
|
|
|
(defvar scroll-bar-mode)
|
|
|
|
|
|
1997-07-21 05:58:34 +00:00
|
|
|
|
(defvar scroll-bar-mode-explicit nil
|
|
|
|
|
"Non-nil means `set-scroll-bar-mode' should really do something.
|
|
|
|
|
This is nil while loading `scroll-bar.el', and t afterward.")
|
|
|
|
|
|
1997-10-23 06:44:15 +00:00
|
|
|
|
(defun set-scroll-bar-mode-1 (ignore value)
|
|
|
|
|
(set-scroll-bar-mode value))
|
|
|
|
|
|
|
|
|
|
(defun set-scroll-bar-mode (value)
|
1997-06-28 00:43:48 +00:00
|
|
|
|
"Set `scroll-bar-mode' to VALUE and put the new value into effect."
|
|
|
|
|
(setq scroll-bar-mode value)
|
|
|
|
|
|
1997-07-21 05:58:34 +00:00
|
|
|
|
(when scroll-bar-mode-explicit
|
|
|
|
|
;; Apply it to default-frame-alist.
|
|
|
|
|
(let ((parameter (assq 'vertical-scroll-bars default-frame-alist)))
|
|
|
|
|
(if (consp parameter)
|
|
|
|
|
(setcdr parameter scroll-bar-mode)
|
|
|
|
|
(setq default-frame-alist
|
|
|
|
|
(cons (cons 'vertical-scroll-bars scroll-bar-mode)
|
|
|
|
|
default-frame-alist))))
|
|
|
|
|
|
|
|
|
|
;; Apply it to existing frames.
|
|
|
|
|
(let ((frames (frame-list)))
|
|
|
|
|
(while frames
|
|
|
|
|
(modify-frame-parameters
|
|
|
|
|
(car frames)
|
|
|
|
|
(list (cons 'vertical-scroll-bars scroll-bar-mode)))
|
|
|
|
|
(setq frames (cdr frames))))))
|
1997-06-28 00:43:48 +00:00
|
|
|
|
|
1998-04-23 23:38:50 +00:00
|
|
|
|
(defcustom scroll-bar-mode
|
|
|
|
|
(if (eq system-type 'windows-nt) 'right 'left)
|
1997-06-28 00:43:48 +00:00
|
|
|
|
"*Specify whether to have vertical scroll bars, and on which side.
|
|
|
|
|
Possible values are nil (no scroll bars), `left' (scroll bars on left)
|
|
|
|
|
and `right' (scroll bars on right).
|
1998-08-05 07:09:48 +00:00
|
|
|
|
To set this variable in a Lisp program, use `set-scroll-bar-mode'
|
|
|
|
|
to make it take real effect.
|
|
|
|
|
Setting the variable with a customization buffer also takes effect."
|
1997-06-28 00:43:48 +00:00
|
|
|
|
:type '(choice (const :tag "none (nil)")
|
|
|
|
|
(const left)
|
|
|
|
|
(const right))
|
|
|
|
|
:group 'frames
|
1997-10-23 06:44:15 +00:00
|
|
|
|
:set 'set-scroll-bar-mode-1)
|
1997-06-28 00:43:48 +00:00
|
|
|
|
|
1997-07-21 05:58:34 +00:00
|
|
|
|
;; We just set scroll-bar-mode, but that was the default.
|
|
|
|
|
;; If it is set again, that is for real.
|
|
|
|
|
(setq scroll-bar-mode-explicit t)
|
|
|
|
|
|
1993-02-25 00:38:55 +00:00
|
|
|
|
(defun scroll-bar-mode (flag)
|
1997-06-28 00:43:48 +00:00
|
|
|
|
"Toggle display of vertical scroll bars on all frames.
|
1993-02-25 00:38:55 +00:00
|
|
|
|
This command applies to all frames that exist and frames to be
|
|
|
|
|
created in the future.
|
|
|
|
|
With a numeric argument, if the argument is negative,
|
|
|
|
|
turn off scroll bars; otherwise, turn on scroll bars."
|
|
|
|
|
(interactive "P")
|
1993-08-06 21:03:45 +00:00
|
|
|
|
(if flag (setq flag (prefix-numeric-value flag)))
|
1993-06-10 12:18:36 +00:00
|
|
|
|
|
1997-06-28 00:43:48 +00:00
|
|
|
|
;; Tweedle the variable according to the argument.
|
1997-10-23 06:44:15 +00:00
|
|
|
|
(set-scroll-bar-mode (if (null flag) (not scroll-bar-mode)
|
1997-06-28 00:43:48 +00:00
|
|
|
|
(and (or (not (numberp flag)) (>= flag 0))
|
1998-04-23 23:38:50 +00:00
|
|
|
|
(if (eq system-type 'windows-nt) 'right 'left)))))
|
1997-06-28 00:43:48 +00:00
|
|
|
|
|
|
|
|
|
(defun toggle-scroll-bar (arg)
|
|
|
|
|
"Toggle whether or not the selected frame has vertical scroll bars.
|
|
|
|
|
With arg, turn vertical scroll bars on if and only if arg is positive.
|
|
|
|
|
The variable `scroll-bar-mode' controls which side the scroll bars are on
|
|
|
|
|
when they are turned on; if it is nil, they go on the left."
|
|
|
|
|
(interactive "P")
|
|
|
|
|
(if (null arg)
|
|
|
|
|
(setq arg
|
|
|
|
|
(if (cdr (assq 'vertical-scroll-bars
|
|
|
|
|
(frame-parameters (selected-frame))))
|
1997-10-15 23:40:43 +00:00
|
|
|
|
-1 1))
|
|
|
|
|
(setq arg (prefix-numeric-value arg)))
|
1998-04-23 23:38:50 +00:00
|
|
|
|
(modify-frame-parameters
|
|
|
|
|
(selected-frame)
|
|
|
|
|
(list (cons 'vertical-scroll-bars
|
|
|
|
|
(if (> arg 0)
|
|
|
|
|
(or scroll-bar-mode
|
|
|
|
|
(if (eq system-type 'windows-nt) 'right 'left)))))))
|
1997-06-28 00:43:48 +00:00
|
|
|
|
|
|
|
|
|
(defun toggle-horizontal-scroll-bar (arg)
|
|
|
|
|
"Toggle whether or not the selected frame has horizontal scroll bars.
|
|
|
|
|
With arg, turn horizontal scroll bars on if and only if arg is positive.
|
|
|
|
|
Horizontal scroll bars aren't implemented yet."
|
|
|
|
|
(interactive "P")
|
|
|
|
|
(error "Horizontal scroll bars aren't implemented yet"))
|
1993-02-25 00:38:55 +00:00
|
|
|
|
|
1993-03-02 07:29:47 +00:00
|
|
|
|
;;;; Buffer navigation using the scroll bar.
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
1993-05-08 23:49:17 +00:00
|
|
|
|
;;; This was used for up-events on button 2, but no longer.
|
1993-03-02 07:29:47 +00:00
|
|
|
|
(defun scroll-bar-set-window-start (event)
|
|
|
|
|
"Set the window start according to where the scroll bar is dragged.
|
|
|
|
|
EVENT should be a scroll bar click or drag event."
|
1993-01-14 14:52:32 +00:00
|
|
|
|
(interactive "e")
|
1993-01-26 01:58:16 +00:00
|
|
|
|
(let* ((end-position (event-end event))
|
1993-01-14 14:52:32 +00:00
|
|
|
|
(window (nth 0 end-position))
|
|
|
|
|
(portion-whole (nth 2 end-position)))
|
|
|
|
|
(save-excursion
|
|
|
|
|
(set-buffer (window-buffer window))
|
|
|
|
|
(save-excursion
|
1993-06-09 09:44:24 +00:00
|
|
|
|
(goto-char (+ (point-min)
|
|
|
|
|
(scroll-bar-scale portion-whole
|
|
|
|
|
(- (point-max) (point-min)))))
|
1993-01-14 14:52:32 +00:00
|
|
|
|
(beginning-of-line)
|
|
|
|
|
(set-window-start window (point))))))
|
|
|
|
|
|
1996-05-11 18:30:16 +00:00
|
|
|
|
(defun scroll-bar-drag-position (portion-whole)
|
|
|
|
|
"Calculate new window start for drag event."
|
|
|
|
|
(save-excursion
|
|
|
|
|
(goto-char (+ (point-min)
|
|
|
|
|
(scroll-bar-scale portion-whole
|
|
|
|
|
(- (point-max) (point-min)))))
|
|
|
|
|
(beginning-of-line)
|
|
|
|
|
(point)))
|
|
|
|
|
|
|
|
|
|
(defun scroll-bar-maybe-set-window-start (event)
|
|
|
|
|
"Set the window start according to where the scroll bar is dragged.
|
|
|
|
|
Only change window start if the new start is substantially different.
|
|
|
|
|
EVENT should be a scroll bar click or drag event."
|
|
|
|
|
(interactive "e")
|
|
|
|
|
(let* ((end-position (event-end event))
|
|
|
|
|
(window (nth 0 end-position))
|
|
|
|
|
(portion-whole (nth 2 end-position))
|
|
|
|
|
(next-portion-whole (cons (1+ (car portion-whole))
|
|
|
|
|
(cdr portion-whole)))
|
|
|
|
|
portion-start
|
|
|
|
|
next-portion-start
|
|
|
|
|
(current-start (window-start window)))
|
|
|
|
|
(save-excursion
|
|
|
|
|
(set-buffer (window-buffer window))
|
|
|
|
|
(setq portion-start (scroll-bar-drag-position portion-whole))
|
|
|
|
|
(setq next-portion-start (max
|
|
|
|
|
(scroll-bar-drag-position next-portion-whole)
|
|
|
|
|
(1+ portion-start)))
|
1997-09-02 19:39:53 +00:00
|
|
|
|
(if (or (>= current-start next-portion-start)
|
1996-05-11 18:30:16 +00:00
|
|
|
|
(< current-start portion-start))
|
1996-05-21 14:40:27 +00:00
|
|
|
|
(set-window-start window portion-start)
|
|
|
|
|
;; Always set window start, to ensure scroll bar position is updated.
|
|
|
|
|
(set-window-start window current-start)))))
|
1996-05-11 18:30:16 +00:00
|
|
|
|
|
1993-05-08 23:49:17 +00:00
|
|
|
|
;; Scroll the window to the proper position for EVENT.
|
|
|
|
|
(defun scroll-bar-drag-1 (event)
|
|
|
|
|
(let* ((start-position (event-start event))
|
|
|
|
|
(window (nth 0 start-position))
|
|
|
|
|
(portion-whole (nth 2 start-position)))
|
|
|
|
|
(save-excursion
|
|
|
|
|
(set-buffer (window-buffer window))
|
1993-06-05 20:58:47 +00:00
|
|
|
|
;; Calculate position relative to the accessible part of the buffer.
|
|
|
|
|
(goto-char (+ (point-min)
|
|
|
|
|
(scroll-bar-scale portion-whole
|
|
|
|
|
(- (point-max) (point-min)))))
|
1993-05-08 23:49:17 +00:00
|
|
|
|
(beginning-of-line)
|
|
|
|
|
(set-window-start window (point)))))
|
|
|
|
|
|
|
|
|
|
(defun scroll-bar-drag (event)
|
|
|
|
|
"Scroll the window by dragging the scroll bar slider.
|
|
|
|
|
If you click outside the slider, the window scrolls to bring the slider there."
|
|
|
|
|
(interactive "e")
|
1995-03-28 17:42:27 +00:00
|
|
|
|
(let* (done
|
1998-04-08 07:25:05 +00:00
|
|
|
|
(echo-keystrokes 0)
|
|
|
|
|
(end-position (event-end event))
|
|
|
|
|
(window (nth 0 end-position))
|
|
|
|
|
(before-scroll))
|
|
|
|
|
(with-current-buffer (window-buffer window)
|
|
|
|
|
(setq before-scroll point-before-scroll))
|
|
|
|
|
(save-selected-window
|
|
|
|
|
(select-window window)
|
|
|
|
|
(setq before-scroll
|
|
|
|
|
(or before-scroll (point))))
|
|
|
|
|
(scroll-bar-drag-1 event)
|
|
|
|
|
(track-mouse
|
|
|
|
|
(while (not done)
|
|
|
|
|
(setq event (read-event))
|
|
|
|
|
(if (eq (car-safe event) 'mouse-movement)
|
|
|
|
|
(setq event (read-event)))
|
|
|
|
|
(cond ((eq (car-safe event) 'scroll-bar-movement)
|
|
|
|
|
(scroll-bar-drag-1 event))
|
|
|
|
|
(t
|
|
|
|
|
;; Exit when we get the drag event; ignore that event.
|
|
|
|
|
(setq done t)))))
|
|
|
|
|
(sit-for 0)
|
|
|
|
|
(with-current-buffer (window-buffer window)
|
|
|
|
|
(setq point-before-scroll before-scroll))))
|
1993-05-08 23:49:17 +00:00
|
|
|
|
|
1993-03-02 07:29:47 +00:00
|
|
|
|
(defun scroll-bar-scroll-down (event)
|
|
|
|
|
"Scroll the window's top line down to the location of the scroll bar click.
|
|
|
|
|
EVENT should be a scroll bar click."
|
1993-01-14 14:52:32 +00:00
|
|
|
|
(interactive "e")
|
1998-04-08 07:25:05 +00:00
|
|
|
|
(let* ((end-position (event-end event))
|
|
|
|
|
(window (nth 0 end-position))
|
|
|
|
|
(before-scroll))
|
|
|
|
|
(with-current-buffer (window-buffer window)
|
|
|
|
|
(setq before-scroll point-before-scroll))
|
|
|
|
|
(save-selected-window
|
|
|
|
|
(let ((portion-whole (nth 2 end-position)))
|
|
|
|
|
(select-window window)
|
|
|
|
|
(setq before-scroll
|
|
|
|
|
(or before-scroll (point)))
|
|
|
|
|
(scroll-down
|
|
|
|
|
(scroll-bar-scale portion-whole (1- (window-height))))))
|
|
|
|
|
(sit-for 0)
|
|
|
|
|
(with-current-buffer (window-buffer window)
|
|
|
|
|
(setq point-before-scroll before-scroll))))
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
1993-03-02 07:29:47 +00:00
|
|
|
|
(defun scroll-bar-scroll-up (event)
|
|
|
|
|
"Scroll the line next to the scroll bar click to the top of the window.
|
|
|
|
|
EVENT should be a scroll bar click."
|
1993-01-14 14:52:32 +00:00
|
|
|
|
(interactive "e")
|
1998-04-08 07:25:05 +00:00
|
|
|
|
(let* ((end-position (event-end event))
|
|
|
|
|
(window (nth 0 end-position))
|
|
|
|
|
(before-scroll))
|
|
|
|
|
(with-current-buffer (window-buffer window)
|
|
|
|
|
(setq before-scroll point-before-scroll))
|
|
|
|
|
(save-selected-window
|
|
|
|
|
(let ((portion-whole (nth 2 end-position)))
|
|
|
|
|
(select-window window)
|
|
|
|
|
(setq before-scroll
|
|
|
|
|
(or before-scroll (point)))
|
|
|
|
|
(scroll-up
|
|
|
|
|
(scroll-bar-scale portion-whole (1- (window-height))))))
|
|
|
|
|
(sit-for 0)
|
|
|
|
|
(with-current-buffer (window-buffer window)
|
|
|
|
|
(setq point-before-scroll before-scroll))))
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;;;; Bindings.
|
|
|
|
|
|
|
|
|
|
;;; For now, we'll set things up to work like xterm.
|
1993-03-02 07:29:47 +00:00
|
|
|
|
(global-set-key [vertical-scroll-bar mouse-1] 'scroll-bar-scroll-up)
|
|
|
|
|
(global-set-key [vertical-scroll-bar drag-mouse-1] 'scroll-bar-scroll-up)
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
1993-05-08 23:49:17 +00:00
|
|
|
|
(global-set-key [vertical-scroll-bar down-mouse-2] 'scroll-bar-drag)
|
|
|
|
|
|
1993-03-02 07:29:47 +00:00
|
|
|
|
(global-set-key [vertical-scroll-bar mouse-3] 'scroll-bar-scroll-down)
|
|
|
|
|
(global-set-key [vertical-scroll-bar drag-mouse-3] 'scroll-bar-scroll-down)
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
|
|
|
|
|
1993-03-02 02:11:18 +00:00
|
|
|
|
(provide 'scroll-bar)
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
1993-03-02 07:29:47 +00:00
|
|
|
|
;;; scroll-bar.el ends here
|