annotate lisp/avoid.el @ 19228:3e0e9b7e2307

(help-mode): Set view-no-disable-on-exit.
author Richard M. Stallman <rms@gnu.org>
date Fri, 08 Aug 1997 22:25:31 +0000
parents 2a9fdbfcb993
children b686f7cb6849
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13337
84acc3adcd63 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 12940
diff changeset
1 ;;; avoid.el --- make mouse pointer stay out of the way of editing
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
5745
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
3 ;;; Copyright (C) 1993, 1994 Free Software Foundation, Inc.
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4
12082
257af4819582 Change email address for Boris.
Boris Goldowsky <boris@gnu.org>
parents: 11269
diff changeset
5 ;; Author: Boris Goldowsky <boris@gnu.ai.mit.edu>
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 ;; Keywords: mouse
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 ;; This file is part of GNU Emacs.
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 ;; GNU Emacs is free software; you can redistribute it and/or modify
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; it under the terms of the GNU General Public License as published by
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; the Free Software Foundation; either version 2, or (at your option)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; any later version.
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; GNU Emacs is distributed in the hope that it will be useful,
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; GNU General Public License for more details.
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; You should have received a copy of the GNU General Public License
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
21 ;; along with GNU Emacs; see the file COPYING. If not, write to the
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
22 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
23 ;; Boston, MA 02111-1307, USA.
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 ;;; Commentary:
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
27 ;; For those who are annoyed by the mouse pointer obscuring text,
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
28 ;; this mode moves the mouse pointer - either just a little out of
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
29 ;; the way, or all the way to the corner of the frame.
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
30 ;; To use, load or evaluate this file and type M-x mouse-avoidance-mode .
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
31 ;; To set up permanently, put the following in your .emacs:
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
32 ;;
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
33 ;; (if window-system (mouse-avoidance-mode 'animate))
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
34 ;;
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
35 ;; The 'animate can be 'jump or 'banish or 'exile or 'protean if you prefer.
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
36 ;; See the documentation for function `mouse-avoidance-mode' for
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
37 ;; details of the different modes.
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
38 ;;
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
39 ;; For added silliness, make the animatee animate...
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
40 ;; put something similar to the following into your .emacs:
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
41 ;;
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
42 ;; (if window-system
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
43 ;; (mouse-avoidance-set-pointer-shape
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
44 ;; (eval (nth (random 4)
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
45 ;; '(x-pointer-man x-pointer-spider
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
46 ;; x-pointer-gobbler x-pointer-gumby)))))
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
47 ;;
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
48 ;; For completely random pointer shape, replace the setq above with:
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
49 ;; (setq x-pointer-shape (mouse-avoidance-random-shape))
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
50 ;;
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
51 ;; Bugs / Warnings / To-Do:
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
52 ;;
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
53 ;; - Using this code does slow emacs down. "banish" mode shouldn't
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
54 ;; be too bad, and on my workstation even "animate" is reasonable.
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
55 ;;
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
56 ;; - It ought to find out where any overlapping frames are and avoid them,
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
57 ;; rather than always raising the frame.
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
58
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
59 ;; Credits:
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
60 ;; This code was helped by all those who contributed suggestions,
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
61 ;; fixes, and additions
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
62 ;; Joe Harrington (and his advisor), for the original inspiration.
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
63 ;; Ken Manheimer, for dreaming up the Protean mode.
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
64 ;; Richard Stallman, for the awful cat-and-mouse pun, among other things.
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
65 ;; Mike Williams, Denis Howe, Bill Benedetto, Chris Moore, Don Morris,
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
66 ;; Simon Marshall, and M.S. Ashton, for their feedback.
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 14040
diff changeset
67
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 ;;; Code:
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 (provide 'avoid)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71
17436
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
72 (defgroup avoid nil
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
73 "Make mouse pointer stay out of the way of editing."
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
74 :prefix "mouse-avoidance-"
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
75 :group 'mouse)
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
76
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
77
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 (defvar mouse-avoidance-mode nil
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 "Value is t or a symbol if the mouse pointer should avoid the cursor.
7556
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
80 See function `mouse-avoidance-mode' for possible values. Changing this
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
81 variable is NOT the recommended way to change modes; use that function
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 instead.")
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83
17436
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
84 (defcustom mouse-avoidance-nudge-dist 15
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 "*Average distance that mouse will be moved when approached by cursor.
7571
d0c9af68a5ba (mouse-avoidance-nudge-dist): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 7556
diff changeset
86 Only applies in mouse-avoidance-mode `jump' and its derivatives.
17436
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
87 For best results make this larger than `mouse-avoidance-threshold'."
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
88 :type 'integer
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
89 :group 'avoid)
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90
17436
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
91 (defcustom mouse-avoidance-nudge-var 10
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
92 "*Variability of `mouse-avoidance-nudge-dist' (which see)."
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
93 :type 'integer
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
94 :group 'avoid)
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95
17436
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
96 (defcustom mouse-avoidance-animation-delay .01
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
97 "Delay between animation steps, in seconds."
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
98 :type 'number
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
99 :group 'avoid)
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
100
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
101 (defcustom mouse-avoidance-threshold 5
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 "*Mouse-pointer's flight distance.
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 If the cursor gets closer than this, the mouse pointer will move away.
17436
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
104 Only applies in mouse-avoidance-modes `animate' and `jump'."
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
105 :type 'integer
2a9fdbfcb993 Add defgroup; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents: 17067
diff changeset
106 :group 'avoid)
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
108 ;; Internal variables
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
109 (defvar mouse-avoidance-state nil)
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 (defvar mouse-avoidance-pointer-shapes nil)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 (defvar mouse-avoidance-n-pointer-shapes 0)
14897
9cce31ba2d61 (mouse-avoidance-old-pointer-shape): New vbl.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
112 (defvar mouse-avoidance-old-pointer-shape nil)
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 ;;; Functions:
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115
11269
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
116 (defsubst mouse-avoidance-set-pointer-shape (shape)
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
117 "Set the shape of the mouse pointer to SHAPE."
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
118 (setq x-pointer-shape shape)
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
119 (set-mouse-color nil))
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
120
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
121 (defun mouse-avoidance-point-position ()
7556
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
122 "Return the position of point as (FRAME X . Y).
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
123 Analogous to mouse-position."
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
124 (let* ((w (selected-window))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
125 (edges (window-edges w))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
126 (list
7849
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
127 (compute-motion (max (window-start w) (point-min)) ; start pos
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
128 ;; window-start can be < point-min if the
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
129 ;; latter has changed since the last redisplay
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
130 '(0 . 0) ; start XY
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
131 (point) ; stop pos
7849
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
132 (cons (window-width) (window-height)); stop XY: none
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
133 (1- (window-width)) ; width
7849
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
134 (cons (window-hscroll w) 0) ; 0 may not be right?
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
135 (selected-window))))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
136 ;; compute-motion returns (pos HPOS VPOS prevhpos contin)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
137 ;; we want: (frame hpos . vpos)
7849
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
138 (cons (selected-frame)
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
139 (cons (+ (car edges) (car (cdr list)))
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
140 (+ (car (cdr edges)) (car (cdr (cdr list))))))))
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
141
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
142 ;(defun mouse-avoidance-point-position-test ()
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
143 ; (interactive)
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
144 ; (message (format "point=%s mouse=%s"
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
145 ; (cdr (mouse-avoidance-point-position))
bbc7770db51c (mouse-avoidance-point-position): Fix compute-motion
Richard M. Stallman <rms@gnu.org>
parents: 7571
diff changeset
146 ; (cdr (mouse-position)))))
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
147
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
148 (defun mouse-avoidance-set-mouse-position (pos)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
149 ;; Carefully set mouse position to given position (X . Y)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
150 ;; Ideally, should check if X,Y is in the current frame, and if not,
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
151 ;; leave the mouse where it was. However, this is currently
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
152 ;; difficult to do, so we just raise the frame to avoid frame switches.
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
153 ;; Returns t if it moved the mouse.
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
154 (let ((f (selected-frame)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
155 (raise-frame f)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
156 (set-mouse-position f (car pos) (cdr pos))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
157 t))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
158
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
159 (defun mouse-avoidance-too-close-p (mouse)
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 ;; Return t if mouse pointer and point cursor are too close.
7879
e0f3cfb55df7 (mouse-avoidance-threshold): Renamed from ...threshhold.
Richard M. Stallman <rms@gnu.org>
parents: 7849
diff changeset
161 ;; Acceptable distance is defined by mouse-avoidance-threshold.
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
162 (let ((point (mouse-avoidance-point-position)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
163 (and (eq (car mouse) (car point))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
164 (car (cdr mouse))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
165 (< (abs (- (car (cdr mouse)) (car (cdr point))))
7879
e0f3cfb55df7 (mouse-avoidance-threshold): Renamed from ...threshhold.
Richard M. Stallman <rms@gnu.org>
parents: 7849
diff changeset
166 mouse-avoidance-threshold)
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
167 (< (abs (- (cdr (cdr mouse)) (cdr (cdr point))))
7879
e0f3cfb55df7 (mouse-avoidance-threshold): Renamed from ...threshhold.
Richard M. Stallman <rms@gnu.org>
parents: 7849
diff changeset
168 mouse-avoidance-threshold))))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
170 (defun mouse-avoidance-banish-destination ()
7556
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
171 "The position to which mouse-avoidance-mode `banish' moves the mouse.
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
172 You can redefine this if you want the mouse banished to a different corner."
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
173 (cons (1- (frame-width))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
174 0))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
175
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 (defun mouse-avoidance-banish-mouse ()
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 ;; Put the mouse pointer in the upper-right corner of the current frame.
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
178 (mouse-avoidance-set-mouse-position (mouse-avoidance-banish-destination)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
179
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
180 (defsubst mouse-avoidance-delta (cur delta dist var min max)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
181 ;; Decide how far to move in either dimension.
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
182 ;; Args are the CURRENT location, the desired DELTA for
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
183 ;; warp-conservation, the DISTANCE we like to move, the VARIABILITY
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
184 ;; in distance allowed, and the MIN and MAX possible window positions.
14040
187735b53d52 Comment fixes.
Karl Heuer <kwzh@gnu.org>
parents: 13337
diff changeset
185 ;; Returns something as close to DELTA as possible within the constraints.
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
186 (let ((L1 (max (- min cur) (+ (- dist) (- var))))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
187 (R1 (+ (- dist) var ))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
188 (L2 (+ dist (- var)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
189 (R2 (min (- max cur) (+ dist var))))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
190 (if (< R1 (- min cur)) (setq L1 nil R1 nil))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
191 (if (> L2 (- max cur)) (setq L2 nil R2 nil))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
192 (cond ((and L1 (< delta L1)) L1)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
193 ((and R1 (< delta R1)) delta)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
194 ((and R1 (< delta 0)) R1)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
195 ((and L2 (< delta L2)) L2)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
196 ((and R2 (< delta R2)) delta)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
197 (R2)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
198 ((or R1 L2))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
199 (t 0))))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 (defun mouse-avoidance-nudge-mouse ()
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 ;; Push the mouse a little way away, possibly animating the move
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
203 ;; For these modes, state keeps track of the total offset that we've
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
204 ;; accumulated, and tries to keep it close to zero.
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 (let* ((cur (mouse-position))
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
206 (cur-frame (car cur))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
207 (cur-pos (cdr cur))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
208 (deltax (mouse-avoidance-delta
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
209 (car cur-pos) (- (random mouse-avoidance-nudge-var)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
210 (car mouse-avoidance-state))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
211 mouse-avoidance-nudge-dist mouse-avoidance-nudge-var
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
212 0 (frame-width)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
213 (deltay (mouse-avoidance-delta
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
214 (cdr cur-pos) (- (random mouse-avoidance-nudge-var)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
215 (cdr mouse-avoidance-state))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
216 mouse-avoidance-nudge-dist mouse-avoidance-nudge-var
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
217 0 (frame-height))))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
218 (setq mouse-avoidance-state
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
219 (cons (+ (car mouse-avoidance-state) deltax)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
220 (+ (cdr mouse-avoidance-state) deltay)))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 (if (or (eq mouse-avoidance-mode 'animate)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 (eq mouse-avoidance-mode 'proteus))
11269
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
223 (let ((i 0.0))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 (while (<= i 1)
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
225 (mouse-avoidance-set-mouse-position
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
226 (cons (+ (car cur-pos) (round (* i deltax)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
227 (+ (cdr cur-pos) (round (* i deltay)))))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
228 (setq i (+ i (max .1 (/ 1.0 mouse-avoidance-nudge-dist))))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 (if (eq mouse-avoidance-mode 'proteus)
11269
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
230 (mouse-avoidance-set-pointer-shape
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
231 (mouse-avoidance-random-shape)))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 (sit-for mouse-avoidance-animation-delay)))
7556
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
233 (mouse-avoidance-set-mouse-position (cons (+ (car (cdr cur)) deltax)
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
234 (+ (cdr (cdr cur)) deltay))))))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 (defun mouse-avoidance-random-shape ()
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 "Return a random cursor shape.
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
238 This assumes that any variable whose name begins with x-pointer- and
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 has an integer value is a valid cursor shape. You might want to
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 redefine this function to suit your own tastes."
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 (if (null mouse-avoidance-pointer-shapes)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 (progn
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 (setq mouse-avoidance-pointer-shapes
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 (mapcar '(lambda (x) (symbol-value (intern x)))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 (all-completions "x-pointer-" obarray
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 '(lambda (x)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 (and (boundp x)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 (integerp (symbol-value x)))))))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 (setq mouse-avoidance-n-pointer-shapes
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 (length mouse-avoidance-pointer-shapes))))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 (nth (random mouse-avoidance-n-pointer-shapes)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 mouse-avoidance-pointer-shapes))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
254 (defun mouse-avoidance-banish-hook ()
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
255 (if (and (not executing-kbd-macro) ; don't check inside macro
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
256 (mouse-avoidance-kbd-command (this-command-keys)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
257 (mouse-avoidance-banish-mouse)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
258
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
259 (defun mouse-avoidance-exile-hook ()
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
260 ;; For exile mode, the state is nil when the mouse is in its normal
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
261 ;; position, and set to the old mouse-position when the mouse is in exile.
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
262 (if (and (not executing-kbd-macro)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
263 (mouse-avoidance-kbd-command (this-command-keys)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
264 (let ((mp (mouse-position)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
265 (cond ((and (not mouse-avoidance-state)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
266 (mouse-avoidance-too-close-p mp))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
267 (setq mouse-avoidance-state mp)
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
268 (mouse-avoidance-banish-mouse))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
269 ((and mouse-avoidance-state
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
270 (not (mouse-avoidance-too-close-p mouse-avoidance-state)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
271 (if (and (eq (car mp) (selected-frame))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
272 (equal (cdr mp) (mouse-avoidance-banish-destination)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
273 (mouse-avoidance-set-mouse-position
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
274 ;; move back only if user has not moved mouse
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
275 (cdr mouse-avoidance-state)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
276 ;; but clear state anyway, to be ready for another move
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
277 (setq mouse-avoidance-state nil))))))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
278
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 (defun mouse-avoidance-fancy-hook ()
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
280 ;; Used for the "fancy" modes, ie jump et al.
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
281 (if (and (not executing-kbd-macro) ; don't check inside macro
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
282 (mouse-avoidance-kbd-command (this-command-keys))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
283 (mouse-avoidance-too-close-p (mouse-position)))
5745
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
284 (let ((old-pos (mouse-position)))
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
285 (mouse-avoidance-nudge-mouse)
11269
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
286 (if (not (eq (selected-frame) (car old-pos)))
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
287 ;; This should never happen.
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
288 (apply 'set-mouse-position old-pos)))))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
290 (defun mouse-avoidance-kbd-command (key)
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 "Return t if the KEYSEQENCE is composed of keyboard events only.
7556
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
292 Return nil if there are any lists in the key sequence."
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 (cond ((null key) nil) ; Null event seems to be
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 ; returned occasionally.
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 ((not (vectorp key)) t) ; Strings are keyboard events.
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 ((catch 'done
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 (let ((i 0)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 (l (length key)))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 (while (< i l)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 (if (listp (aref key i))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301 (throw 'done nil))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 (setq i (1+ i))))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 t))))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304
11269
26d830b04546 avoid.el Add autoload cookies; doc fixes.
Boris Goldowsky <boris@gnu.org>
parents: 7879
diff changeset
305 ;;;###autoload
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 (defun mouse-avoidance-mode (&optional mode)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 "Set cursor avoidance mode to MODE.
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
308 MODE should be one of the symbols `banish', `exile', `jump', `animate',
5745
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
309 `cat-and-mouse', `proteus', or `none'.
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
310
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
311 If MODE is nil, toggle mouse avoidance between `none` and `banish'
5745
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
312 modes. Positive numbers and symbols other than the above are treated
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
313 as equivalent to `banish'; negative numbers and `-' are equivalent to `none'.
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
314
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
315 Effects of the different modes:
7556
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
316 * banish: Move the mouse to the upper-right corner on any keypress.
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
317 * exile: Move the mouse to the corner only if the cursor gets too close,
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
318 and allow it to return once the cursor is out of the way.
7556
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
319 * jump: If the cursor gets too close to the mouse, displace the mouse
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
320 a random distance & direction.
7556
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
321 * animate: As `jump', but shows steps along the way for illusion of motion.
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
322 * cat-and-mouse: Same as `animate'.
48f98b59a339 Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents: 7015
diff changeset
323 * proteus: As `animate', but changes the shape of the mouse pointer too.
5745
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
324
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
325 Whenever the mouse is moved, the frame is also raised.
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
326
7879
e0f3cfb55df7 (mouse-avoidance-threshold): Renamed from ...threshhold.
Richard M. Stallman <rms@gnu.org>
parents: 7849
diff changeset
327 \(see `mouse-avoidance-threshold' for definition of \"too close\",
5745
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
328 and `mouse-avoidance-nudge-dist' and `mouse-avoidance-nudge-var' for
01628c0b2646 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 5145
diff changeset
329 definition of \"random distance\".)"
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330 (interactive
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 (list (intern (completing-read
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
332 "Select cursor avoidance technique (SPACE for list): "
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
333 '(("banish") ("exile") ("jump") ("animate")
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
334 ("cat-and-mouse") ("proteus") ("none"))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
335 nil t))))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
336 (if (eq mode 'cat-and-mouse)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337 (setq mode 'animate))
12940
f7d26ee5ea26 (mouse-avoidance-mode): Use post-command-idle-hook. Use remove-hook.
Richard M. Stallman <rms@gnu.org>
parents: 12082
diff changeset
338 (remove-hook 'post-command-idle-hook 'mouse-avoidance-banish-hook)
f7d26ee5ea26 (mouse-avoidance-mode): Use post-command-idle-hook. Use remove-hook.
Richard M. Stallman <rms@gnu.org>
parents: 12082
diff changeset
339 (remove-hook 'post-command-idle-hook 'mouse-avoidance-exile-hook)
f7d26ee5ea26 (mouse-avoidance-mode): Use post-command-idle-hook. Use remove-hook.
Richard M. Stallman <rms@gnu.org>
parents: 12082
diff changeset
340 (remove-hook 'post-command-idle-hook 'mouse-avoidance-fancy-hook)
14897
9cce31ba2d61 (mouse-avoidance-old-pointer-shape): New vbl.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
341
9cce31ba2d61 (mouse-avoidance-old-pointer-shape): New vbl.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
342 ;; Restore pointer shape if necessary
9cce31ba2d61 (mouse-avoidance-old-pointer-shape): New vbl.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
343 (if (eq mouse-avoidance-mode 'proteus)
9cce31ba2d61 (mouse-avoidance-old-pointer-shape): New vbl.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
344 (mouse-avoidance-set-pointer-shape mouse-avoidance-old-pointer-shape))
9cce31ba2d61 (mouse-avoidance-old-pointer-shape): New vbl.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
345
9cce31ba2d61 (mouse-avoidance-old-pointer-shape): New vbl.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
346 ;; Do additional setup depending on version of mode requested
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
347 (cond ((eq mode 'none)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
348 (setq mouse-avoidance-mode nil))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
349 ((or (eq mode 'jump)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
350 (eq mode 'animate)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
351 (eq mode 'proteus))
12940
f7d26ee5ea26 (mouse-avoidance-mode): Use post-command-idle-hook. Use remove-hook.
Richard M. Stallman <rms@gnu.org>
parents: 12082
diff changeset
352 (add-hook 'post-command-idle-hook 'mouse-avoidance-fancy-hook)
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
353 (setq mouse-avoidance-mode mode
14897
9cce31ba2d61 (mouse-avoidance-old-pointer-shape): New vbl.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
354 mouse-avoidance-state (cons 0 0)
9cce31ba2d61 (mouse-avoidance-old-pointer-shape): New vbl.
Richard M. Stallman <rms@gnu.org>
parents: 14169
diff changeset
355 mouse-avoidance-old-pointer-shape x-pointer-shape))
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
356 ((eq mode 'exile)
12940
f7d26ee5ea26 (mouse-avoidance-mode): Use post-command-idle-hook. Use remove-hook.
Richard M. Stallman <rms@gnu.org>
parents: 12082
diff changeset
357 (add-hook 'post-command-idle-hook 'mouse-avoidance-exile-hook)
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
358 (setq mouse-avoidance-mode mode
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
359 mouse-avoidance-state nil))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
360 ((or (eq mode 'banish)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
361 (eq mode t)
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
362 (and (null mode) (null mouse-avoidance-mode))
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
363 (and mode (> (prefix-numeric-value mode) 0)))
12940
f7d26ee5ea26 (mouse-avoidance-mode): Use post-command-idle-hook. Use remove-hook.
Richard M. Stallman <rms@gnu.org>
parents: 12082
diff changeset
364 (add-hook 'post-command-idle-hook 'mouse-avoidance-banish-hook)
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
365 (setq mouse-avoidance-mode 'banish))
7015
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
366 (t (setq mouse-avoidance-mode nil)))
41b90d7dd228 doc fix.
Karl Heuer <kwzh@gnu.org>
parents: 6106
diff changeset
367 (force-mode-line-update))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
368
17067
15b18d794b75 Don't put "Avoid" in the mode line.
Karl Heuer <kwzh@gnu.org>
parents: 14897
diff changeset
369 ;; Most people who use avoid mode leave it on all the time, so it's not
15b18d794b75 Don't put "Avoid" in the mode line.
Karl Heuer <kwzh@gnu.org>
parents: 14897
diff changeset
370 ;; very informative to announce it in the mode line.
15b18d794b75 Don't put "Avoid" in the mode line.
Karl Heuer <kwzh@gnu.org>
parents: 14897
diff changeset
371 ;;(or (assq 'mouse-avoidance-mode minor-mode-alist)
15b18d794b75 Don't put "Avoid" in the mode line.
Karl Heuer <kwzh@gnu.org>
parents: 14897
diff changeset
372 ;; (setq minor-mode-alist (cons '(mouse-avoidance-mode " Avoid")
15b18d794b75 Don't put "Avoid" in the mode line.
Karl Heuer <kwzh@gnu.org>
parents: 14897
diff changeset
373 ;; minor-mode-alist)))
5119
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
374
bf9e7676a73e Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
375 ;;; End of avoid.el