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
|
|
|
|
|
|
|
|
|
;;; Copyright (C) 1993 Free Software Foundation, Inc.
|
|
|
|
|
|
|
|
|
|
;; Maintainer: FSF
|
|
|
|
|
;; Keywords: hardware
|
|
|
|
|
|
|
|
|
|
;;; This file is part of GNU Emacs.
|
|
|
|
|
|
|
|
|
|
;;; 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.
|
|
|
|
|
|
|
|
|
|
;;; 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.
|
|
|
|
|
|
|
|
|
|
;;; 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, 675 Mass Ave, Cambridge, MA 02139, USA.
|
|
|
|
|
|
1993-03-17 17:17:05 +00:00
|
|
|
|
;;; Code:
|
|
|
|
|
|
1993-01-26 01:58:16 +00:00
|
|
|
|
(require 'mouse)
|
|
|
|
|
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
|
|
|
|
;;;; Utilities.
|
|
|
|
|
|
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.
|
|
|
|
|
(defvar scroll-bar-mode nil)
|
|
|
|
|
|
|
|
|
|
(defun scroll-bar-mode (flag)
|
|
|
|
|
"Toggle display of vertical scroll bars on each frame.
|
|
|
|
|
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")
|
|
|
|
|
(setq scroll-bar-mode (if (null flag) (not scroll-bar-mode)
|
|
|
|
|
(or (not (numberp flag)) (>= flag 0))))
|
|
|
|
|
(mapcar
|
|
|
|
|
(function
|
|
|
|
|
(lambda (param-name)
|
|
|
|
|
(let ((parameter (assq param-name default-frame-alist)))
|
|
|
|
|
(if (consp parameter)
|
|
|
|
|
(setcdr parameter scroll-bar-mode)
|
|
|
|
|
(setq default-frame-alist
|
|
|
|
|
(cons (cons param-name scroll-bar-mode)
|
|
|
|
|
default-frame-alist))))))
|
1993-03-02 07:29:47 +00:00
|
|
|
|
'(vertical-scroll-bars horizontal-scroll-bars))
|
1993-02-25 00:38:55 +00:00
|
|
|
|
(let ((frames (frame-list)))
|
|
|
|
|
(while frames
|
|
|
|
|
(modify-frame-parameters
|
|
|
|
|
(car frames)
|
1993-03-02 07:29:47 +00:00
|
|
|
|
(list (cons 'vertical-scroll-bars scroll-bar-mode)
|
|
|
|
|
(cons 'horizontal-scroll-bars scroll-bar-mode)))
|
1993-02-25 00:38:55 +00:00
|
|
|
|
(setq frames (cdr frames)))))
|
|
|
|
|
|
1993-03-02 07:29:47 +00:00
|
|
|
|
;;;; Buffer navigation using the scroll bar.
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
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-03-02 07:29:47 +00:00
|
|
|
|
(goto-char (scroll-bar-scale portion-whole (buffer-size)))
|
1993-01-14 14:52:32 +00:00
|
|
|
|
(beginning-of-line)
|
|
|
|
|
(set-window-start window (point))))))
|
|
|
|
|
|
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")
|
|
|
|
|
(let ((old-selected-window (selected-window)))
|
|
|
|
|
(unwind-protect
|
|
|
|
|
(progn
|
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)))
|
|
|
|
|
(select-window window)
|
|
|
|
|
(scroll-down
|
1993-03-02 07:29:47 +00:00
|
|
|
|
(scroll-bar-scale portion-whole (1- (window-height))))))
|
1993-01-14 14:52:32 +00:00
|
|
|
|
(select-window old-selected-window))))
|
|
|
|
|
|
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")
|
|
|
|
|
(let ((old-selected-window (selected-window)))
|
|
|
|
|
(unwind-protect
|
|
|
|
|
(progn
|
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)))
|
|
|
|
|
(select-window window)
|
|
|
|
|
(scroll-up
|
1993-03-02 07:29:47 +00:00
|
|
|
|
(scroll-bar-scale portion-whole (1- (window-height))))))
|
1993-01-14 14:52:32 +00:00
|
|
|
|
(select-window old-selected-window))))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;;;; 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-03-02 07:29:47 +00:00
|
|
|
|
(global-set-key [vertical-scroll-bar mouse-2] 'scroll-bar-set-window-start)
|
|
|
|
|
(global-set-key [vertical-scroll-bar drag-mouse-2] 'scroll-bar-set-window-start)
|
1993-01-14 14:52:32 +00:00
|
|
|
|
|
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
|