Mercurial > emacs
annotate lisp/tooltip.el @ 38709:00a56d6da660
(image-type-regexps): Use `\`' instead of `^' in
most regular expressions.
| author | Gerd Moellmann <gerd@gnu.org> |
|---|---|
| date | Tue, 07 Aug 2001 08:03:10 +0000 |
| parents | cf803b8f08ad |
| children | c4955867228d |
| rev | line source |
|---|---|
| 25003 | 1 ;;; tooltip.el --- Show tooltip windows |
| 2 | |
|
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
3 ;; Copyright (C) 1997, 1999, 2000, 2001 Free Software Foundation, Inc. |
| 25003 | 4 |
| 5 ;; Author: Gerd Moellmann <gerd@acm.org> | |
| 6 ;; Keywords: help c mouse tools | |
| 7 | |
| 8 ;; This file is part of GNU Emacs. | |
| 9 | |
| 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. | |
| 14 | |
| 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. | |
| 19 | |
| 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. | |
| 24 | |
| 25 ;;; Commentary: | |
| 26 | |
| 27 ;; Put into your `.emacs' | |
| 28 | |
| 29 ;; (require 'tooltip) | |
| 30 ;; (tooltip-mode 1) | |
| 31 | |
| 32 | |
| 33 | |
| 34 ;;; Code: | |
| 35 | |
| 36 (eval-when-compile | |
| 37 (require 'cl) | |
| 38 (require 'comint) | |
| 39 (require 'gud)) | |
| 40 | |
| 41 (provide 'tooltip) | |
| 42 | |
| 43 | |
| 44 ;;; Customizable settings | |
| 45 | |
| 46 (defgroup tooltip nil | |
| 47 "Customization group for the `tooltip' package." | |
| 48 :group 'help | |
|
37755
cf803b8f08ad
(tooltip) <defgroup>: Put it in `gud' group instead
Gerd Moellmann <gerd@gnu.org>
parents:
35401
diff
changeset
|
49 :group 'gud |
| 25003 | 50 :group 'mouse |
| 51 :group 'tools | |
|
25332
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
52 :version "21.1" |
| 25003 | 53 :tag "Tool Tips") |
| 54 | |
|
25332
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
55 (defvar tooltip-mode) |
| 25003 | 56 |
| 57 (defcustom tooltip-delay 1.0 | |
| 58 "Seconds to wait before displaying a tooltip the first time." | |
| 59 :tag "Delay" | |
| 60 :type 'number | |
| 61 :group 'tooltip) | |
| 62 | |
| 63 | |
| 64 (defcustom tooltip-short-delay 0.1 | |
| 65 "Seconds to wait between subsequent tooltips on different items." | |
| 66 :tag "Short delay" | |
| 67 :type 'number | |
| 68 :group 'tooltip) | |
| 69 | |
| 70 | |
| 71 (defcustom tooltip-recent-seconds 1 | |
|
25332
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
72 "Display tooltips if changing tip items within this many seconds. |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
73 Do so after `tooltip-short-delay'." |
| 25003 | 74 :tag "Recent seconds" |
| 75 :type 'number | |
| 76 :group 'tooltip) | |
| 77 | |
| 78 | |
|
35401
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
79 (defcustom tooltip-hide-delay 5 |
|
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
80 "Hide tooltips automatically after this many seconds." |
|
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
81 :tag "Hide delay" |
|
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
82 :type 'number |
|
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
83 :group 'tooltip) |
|
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
84 |
|
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
85 |
|
33587
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
86 (defcustom tooltip-x-offset nil |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
87 "Specify an X offset for the display of tooltips. |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
88 The offset is relative to the position of the mouse. It must |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
89 be chosen so that the tooltip window doesn't contain the mouse |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
90 when it pops up." |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
91 :tag "X offset" |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
92 :type '(choice (const :tag "Default" nil) |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
93 (integer :tag "Offset" :value 1)) |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
94 :group 'tooltip) |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
95 |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
96 |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
97 (defcustom tooltip-y-offset nil |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
98 "Specify an Y offset for the display of tooltips. |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
99 The offset is relative to the position of the mouse. It must |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
100 be chosen so that the tooltip window doesn't contain the mouse |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
101 when it pops up." |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
102 :tag "Y offset" |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
103 :type '(choice (const :tag "Default" nil) |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
104 (integer :tag "Offset" :value 1)) |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
105 :group 'tooltip) |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
106 |
|
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
107 |
| 25003 | 108 (defcustom tooltip-frame-parameters |
| 109 '((name . "tooltip") | |
| 110 (internal-border-width . 5) | |
| 111 (border-width . 1)) | |
| 112 "Frame parameters used for tooltips." | |
| 113 :type 'sexp | |
| 114 :tag "Frame Parameters" | |
| 115 :group 'tooltip) | |
| 116 | |
| 117 | |
|
35043
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
118 (defface tooltip |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
119 '((((class color)) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
120 (:background "lightyellow" :foreground "black")) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
121 (t ())) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
122 "Face for tooltips." |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
123 :group 'tooltip) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
124 |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
125 |
| 25003 | 126 (defcustom tooltip-gud-tips-p nil |
|
27582
42b52d8b6703
(tooltip-gud-tips-p, tooltip-gud-toggle-dereference):
Dave Love <fx@gnu.org>
parents:
25332
diff
changeset
|
127 "*Non-nil means show tooltips in GUD sessions." |
| 25003 | 128 :type 'boolean |
| 129 :tag "GUD" | |
|
33140
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
130 :set #'(lambda (symbol on) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
131 (setq tooltip-gud-tips-p on) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
132 (if on (tooltip-gud-tips-setup))) |
| 25003 | 133 :group 'tooltip) |
| 134 | |
| 135 | |
| 136 (defcustom tooltip-gud-modes '(gud-mode c-mode c++-mode) | |
| 137 "List of modes for which to enable GUD tips." | |
| 138 :type 'sexp | |
| 139 :tag "GUD modes" | |
| 140 :group 'tooltip) | |
| 141 | |
| 30481 | 142 |
| 25003 | 143 (defcustom tooltip-gud-display |
| 144 '((eq (tooltip-event-buffer tooltip-gud-event) | |
| 145 (marker-buffer overlay-arrow-position))) | |
| 146 "List of forms determining where GUD tooltips are displayed. | |
| 147 | |
| 148 Forms in the list are combined with AND. The default is to display | |
| 149 only tooltips in the buffer containing the overlay arrow." | |
| 150 :type 'sexp | |
| 151 :tag "GUD buffers predicate" | |
| 152 :group 'tooltip) | |
| 153 | |
| 154 | |
|
32431
a35cc9700ff7
* tooltip.el (tooltip-use-echo-area): New user variable.
Sam Steingold <sds@gnu.org>
parents:
30481
diff
changeset
|
155 (defcustom tooltip-use-echo-area nil |
| 33923 | 156 "Use the echo area instead of tooltip frames. |
| 157 This is only relevant GUD display, since otherwise it is equivalent to | |
| 158 turning off Tooltip mode." | |
|
32431
a35cc9700ff7
* tooltip.el (tooltip-use-echo-area): New user variable.
Sam Steingold <sds@gnu.org>
parents:
30481
diff
changeset
|
159 :type 'boolean |
| 33925 | 160 :tag "Use echo area" |
|
32431
a35cc9700ff7
* tooltip.el (tooltip-use-echo-area): New user variable.
Sam Steingold <sds@gnu.org>
parents:
30481
diff
changeset
|
161 :group 'tooltip) |
|
a35cc9700ff7
* tooltip.el (tooltip-use-echo-area): New user variable.
Sam Steingold <sds@gnu.org>
parents:
30481
diff
changeset
|
162 |
| 25003 | 163 |
| 164 ;;; Variables that are not customizable. | |
| 165 | |
| 166 (defvar tooltip-hook nil | |
| 167 "Functions to call to display tooltips. | |
| 168 Each function is called with one argument EVENT which is a copy of | |
| 169 the last mouse movement event that occurred.") | |
| 170 | |
| 171 | |
| 172 (defvar tooltip-timeout-id nil | |
| 173 "The id of the timeout started when Emacs becomes idle.") | |
| 174 | |
| 175 | |
| 176 (defvar tooltip-last-mouse-motion-event nil | |
| 177 "A copy of the last mouse motion event seen.") | |
| 178 | |
| 179 | |
| 180 (defvar tooltip-hide-time nil | |
| 181 "Time when the last tooltip was hidden.") | |
| 182 | |
| 183 | |
| 184 (defvar tooltip-gud-debugger nil | |
| 185 "The debugger for which we show tooltips.") | |
| 186 | |
| 187 | |
| 188 | |
| 189 ;;; Event accessors | |
| 190 | |
| 191 (defun tooltip-event-buffer (event) | |
| 192 "Return the buffer over which event EVENT occurred. | |
| 193 This might return nil if the event did not occur over a buffer." | |
| 194 (let ((window (posn-window (event-end event)))) | |
| 195 (and window (window-buffer window)))) | |
| 196 | |
| 197 | |
| 198 | |
| 199 ;;; Switching tooltips on/off | |
| 200 | |
| 201 ;; We don't set track-mouse globally because this is a big redisplay | |
| 202 ;; problem in buffers having a pre-command-hook or such installed, | |
| 203 ;; which does a set-buffer, like the summary buffer of Gnus. Calling | |
| 204 ;; set-buffer prevents redisplay optimizations, so every mouse motion | |
| 205 ;; would be accompanied by a full redisplay. | |
| 206 | |
| 207 ;;;###autoload | |
| 208 (defun tooltip-mode (&optional arg) | |
| 209 "Mode for tooltip display. | |
| 210 With ARG, turn tooltip mode on if and only if ARG is positive." | |
| 211 (interactive "P") | |
|
34689
e045e0e60223
(tooltip-mode): Signal an error if x-show-tip
Gerd Moellmann <gerd@gnu.org>
parents:
34540
diff
changeset
|
212 (unless (fboundp 'x-show-tip) |
|
e045e0e60223
(tooltip-mode): Signal an error if x-show-tip
Gerd Moellmann <gerd@gnu.org>
parents:
34540
diff
changeset
|
213 (error "Sorry, tooltips are not yet available on this system")) |
| 25003 | 214 (let* ((on (if arg |
| 215 (> (prefix-numeric-value arg) 0) | |
| 216 (not tooltip-mode))) | |
| 217 (hook-fn (if on 'add-hook 'remove-hook))) | |
| 218 (setq tooltip-mode on) | |
| 219 (funcall hook-fn 'change-major-mode-hook 'tooltip-change-major-mode) | |
| 220 (tooltip-activate-mouse-motions-if-enabled) | |
| 221 (funcall hook-fn 'pre-command-hook 'tooltip-hide) | |
| 222 (funcall hook-fn 'tooltip-hook 'tooltip-gud-tips) | |
| 223 (funcall hook-fn 'tooltip-hook 'tooltip-help-tips) | |
| 224 (setq show-help-function (if on 'tooltip-show-help-function nil)) | |
| 225 ;; `ignore' is the default binding for mouse movements. | |
| 226 (define-key global-map [mouse-movement] | |
| 227 (if on 'tooltip-mouse-motion 'ignore)) | |
|
33140
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
228 (tooltip-gud-tips-setup))) |
| 25003 | 229 |
|
33140
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
230 (defun tooltip-gud-tips-setup () |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
231 "Setup debugger mode-hooks for tooltips." |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
232 (when (and tooltip-mode tooltip-gud-tips-p) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
233 (global-set-key [S-mouse-3] 'tooltip-gud-toggle-dereference) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
234 (add-hook 'gdb-mode-hook |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
235 #'(lambda () (setq tooltip-gud-debugger 'gdb))) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
236 (add-hook 'sdb-mode-hook |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
237 #'(lambda () (setq tooltip-gud-debugger 'sdb))) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
238 (add-hook 'dbx-mode-hook |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
239 #'(lambda () (setq tooltip-gud-debugger 'dbx))) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
240 (add-hook 'xdb-mode-hook |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
241 #'(lambda () (setq tooltip-gud-debugger 'xdb))) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
242 (add-hook 'perldb-mode-hook |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
243 #'(lambda () (setq tooltip-gud-debugger 'perldb))))) |
| 25003 | 244 |
| 245 ;;; Timeout for tooltip display | |
| 246 | |
| 247 (defun tooltip-delay () | |
| 248 "Return the delay in seconds for the next tooltip." | |
| 249 (let ((delay tooltip-delay) | |
| 30481 | 250 (now (float-time))) |
| 25003 | 251 (when (and tooltip-hide-time |
| 252 (< (- now tooltip-hide-time) tooltip-recent-seconds)) | |
| 253 (setq delay tooltip-short-delay)) | |
| 254 delay)) | |
| 255 | |
| 256 | |
|
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
257 (defun tooltip-cancel-delayed-tip () |
| 25003 | 258 "Disable the tooltip timeout." |
| 259 (when tooltip-timeout-id | |
| 260 (disable-timeout tooltip-timeout-id) | |
| 261 (setq tooltip-timeout-id nil))) | |
| 262 | |
| 263 | |
|
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
264 (defun tooltip-start-delayed-tip () |
| 25003 | 265 "Add a one-shot timeout to call function tooltip-timeout." |
| 266 (setq tooltip-timeout-id | |
| 267 (add-timeout (tooltip-delay) 'tooltip-timeout nil))) | |
| 268 | |
| 269 | |
| 270 (defun tooltip-timeout (object) | |
| 271 "Function called when timer with id tooltip-timeout-id fires." | |
| 272 (run-hook-with-args-until-success 'tooltip-hook | |
| 273 tooltip-last-mouse-motion-event)) | |
| 274 | |
| 275 | |
| 276 | |
| 277 ;;; Reacting on mouse movements | |
| 278 | |
| 279 (defun tooltip-change-major-mode () | |
| 280 "Function added to `change-major-mode-hook' when tooltip mode is on." | |
| 281 (add-hook 'post-command-hook 'tooltip-activate-mouse-motions-if-enabled)) | |
| 282 | |
| 283 | |
| 284 (defun tooltip-activate-mouse-motions-if-enabled () | |
| 285 "Reconsider for all buffers whether mouse motion events are desired." | |
| 286 (remove-hook 'post-command-hook 'tooltip-activate-mouse-motions-if-enabled) | |
| 287 (let ((buffers (buffer-list))) | |
| 288 (save-excursion | |
| 289 (while buffers | |
| 290 (set-buffer (car buffers)) | |
| 291 (if (and tooltip-mode | |
| 292 tooltip-gud-tips-p | |
| 293 (memq major-mode tooltip-gud-modes)) | |
| 294 (tooltip-activate-mouse-motions t) | |
| 295 (tooltip-activate-mouse-motions nil)) | |
| 296 (setq buffers (cdr buffers)))))) | |
| 297 | |
| 298 | |
| 299 (defun tooltip-activate-mouse-motions (activatep) | |
| 300 "Activate/deactivate mouse motion events for the current buffer. | |
| 301 ACTIVATEP non-nil means activate mouse motion events." | |
| 302 (if activatep | |
| 303 (progn | |
| 304 (make-local-variable 'track-mouse) | |
| 305 (setq track-mouse t)) | |
| 306 (kill-local-variable 'track-mouse))) | |
| 307 | |
| 308 | |
| 309 (defun tooltip-mouse-motion (event) | |
| 310 "Command handler for mouse movement events in `global-map'." | |
| 311 (interactive "e") | |
| 312 (tooltip-hide) | |
| 313 (when (car (mouse-pixel-position)) | |
| 314 (setq tooltip-last-mouse-motion-event (copy-sequence event)) | |
|
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
315 (tooltip-start-delayed-tip))) |
| 25003 | 316 |
| 317 | |
| 318 | |
| 319 ;;; Displaying tips | |
| 320 | |
|
35043
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
321 (defun tooltip-set-param (alist key value) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
322 "Change the value of KEY in alist ALIAS to VALUE. |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
323 If there's no association for KEY in ALIST, add one, otherwise |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
324 change the existing association. Value is the resulting alist." |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
325 (let ((param (assq key alist))) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
326 (if (consp param) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
327 (setcdr param value) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
328 (push (cons key value) alist)) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
329 alist)) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
330 |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
331 |
| 25003 | 332 (defun tooltip-show (text) |
| 333 "Show a tooltip window at the current mouse position displaying TEXT." | |
|
32431
a35cc9700ff7
* tooltip.el (tooltip-use-echo-area): New user variable.
Sam Steingold <sds@gnu.org>
parents:
30481
diff
changeset
|
334 (if tooltip-use-echo-area |
|
a35cc9700ff7
* tooltip.el (tooltip-use-echo-area): New user variable.
Sam Steingold <sds@gnu.org>
parents:
30481
diff
changeset
|
335 (message "%s" text) |
|
34540
e1e4704de6ed
(tooltip-show): If an error is signaled in
Gerd Moellmann <gerd@gnu.org>
parents:
33925
diff
changeset
|
336 (condition-case error |
|
35043
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
337 (let ((params (copy-sequence tooltip-frame-parameters)) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
338 (fg (face-attribute 'tooltip :foreground)) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
339 (bg (face-attribute 'tooltip :background))) |
|
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
340 (when (stringp fg) |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
341 (setq params (tooltip-set-param params 'foreground-color fg)) |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
342 (setq params (tooltip-set-param params 'border-color fg))) |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
343 (when (stringp bg) |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
344 (setq params (tooltip-set-param params 'background-color bg))) |
|
35043
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
345 (x-show-tip (propertize text 'face 'tooltip) |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
346 (selected-frame) |
| 35044 | 347 params |
|
35401
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
348 tooltip-hide-delay |
|
35043
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
349 tooltip-x-offset |
|
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
350 tooltip-y-offset)) |
|
34540
e1e4704de6ed
(tooltip-show): If an error is signaled in
Gerd Moellmann <gerd@gnu.org>
parents:
33925
diff
changeset
|
351 (error |
|
e1e4704de6ed
(tooltip-show): If an error is signaled in
Gerd Moellmann <gerd@gnu.org>
parents:
33925
diff
changeset
|
352 (message "Error while displaying tooltip: %s" error) |
|
e1e4704de6ed
(tooltip-show): If an error is signaled in
Gerd Moellmann <gerd@gnu.org>
parents:
33925
diff
changeset
|
353 (sit-for 1) |
|
e1e4704de6ed
(tooltip-show): If an error is signaled in
Gerd Moellmann <gerd@gnu.org>
parents:
33925
diff
changeset
|
354 (message "%s" text))))) |
|
e1e4704de6ed
(tooltip-show): If an error is signaled in
Gerd Moellmann <gerd@gnu.org>
parents:
33925
diff
changeset
|
355 |
| 25003 | 356 |
| 357 (defun tooltip-hide (&optional ignored-arg) | |
| 358 "Hide a tooltip, if one is displayed. | |
| 359 Value is non-nil if tooltip was open." | |
|
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
360 (tooltip-cancel-delayed-tip) |
| 25003 | 361 (when (x-hide-tip) |
| 30481 | 362 (setq tooltip-hide-time (float-time)))) |
| 25003 | 363 |
| 364 | |
| 365 | |
| 366 ;;; Debugger-related functions | |
| 367 | |
| 368 (defun tooltip-identifier-from-point (point) | |
| 369 "Extract the identifier at POINT, if any. | |
| 370 Value is nil if no identifier exists at point. Identifier extraction | |
| 371 is based on the current syntax table." | |
| 372 (save-excursion | |
| 373 (goto-char point) | |
| 374 (let ((start (progn (skip-syntax-backward "w_") (point)))) | |
| 375 (unless (looking-at "[0-9]") | |
| 376 (skip-syntax-forward "w_") | |
| 377 (when (> (point) start) | |
| 378 (buffer-substring start (point))))))) | |
| 379 | |
| 380 | |
| 381 (defmacro tooltip-region-active-p () | |
| 382 "Value is non-nil if the region is currently active." | |
| 383 (if (string-match "^GNU" (emacs-version)) | |
| 384 `(and transient-mark-mode mark-active) | |
| 385 `(region-active-p))) | |
| 386 | |
| 387 | |
| 388 (defun tooltip-expr-to-print (event) | |
| 389 "Return an expression that should be printed for EVENT. | |
| 390 If a region is active and the mouse is inside the region, print | |
| 391 the region. Otherwise, figure out the identifier around the point | |
| 392 where the mouse is." | |
| 393 (save-excursion | |
| 394 (set-buffer (tooltip-event-buffer event)) | |
| 395 (let ((point (posn-point (event-end event)))) | |
| 396 (if (tooltip-region-active-p) | |
| 397 (when (and (<= (region-beginning) point) (<= point (region-end))) | |
| 398 (buffer-substring (region-beginning) (region-end))) | |
| 399 (tooltip-identifier-from-point point))))) | |
| 400 | |
| 401 | |
| 402 (defun tooltip-process-prompt-regexp (process) | |
| 403 "Return regexp matching the prompt of PROCESS at the end of a string. | |
| 404 The prompt is taken from the value of COMINT-PROMPT-REGEXP in the buffer | |
| 405 of PROCESS." | |
| 406 (let ((prompt-regexp (save-excursion | |
| 407 (set-buffer (process-buffer process)) | |
| 408 comint-prompt-regexp))) | |
| 409 ;; Most start with `^' but the one for `sdb' cannot be easily | |
| 410 ;; stripped. Code the prompt for `sdb' fixed here. | |
| 411 (if (= (aref prompt-regexp 0) ?^) | |
| 412 (setq prompt-regexp (substring prompt-regexp 1)) | |
| 413 (setq prompt-regexp "\\*")) | |
| 414 (concat "\n*" prompt-regexp "$"))) | |
| 415 | |
| 416 | |
| 417 (defun tooltip-strip-prompt (process output) | |
| 418 "Return OUTPUT with any prompt of PROCESS stripped from its end." | |
| 419 (let ((prompt-regexp (tooltip-process-prompt-regexp process))) | |
| 420 (save-match-data | |
| 421 (when (string-match prompt-regexp output) | |
| 422 (setq output (substring output 0 (match-beginning 0))))) | |
| 423 output)) | |
| 424 | |
| 425 | |
| 426 | |
| 427 ;;; Tips for `gud' | |
| 428 | |
| 429 (defvar tooltip-gud-original-filter nil | |
| 430 "Process filter to restore after GUD output has been received.") | |
| 431 | |
| 432 | |
| 433 (defvar tooltip-gud-dereference nil | |
| 434 "Non-nil means print expressions with a `*' in front of them. | |
| 435 For C this would dereference a pointer expression.") | |
| 436 | |
| 437 | |
| 438 (defvar tooltip-gud-event nil | |
| 439 "The mouse movement event that led to a tooltip display. | |
| 440 This event can be examined by forms in TOOLTIP-GUD-DISPLAY.") | |
| 441 | |
| 442 | |
| 443 (defvar tooltip-gud-debugger nil | |
| 444 "A symbol describing the debugger running under GUD.") | |
| 445 | |
| 446 | |
| 447 (defun tooltip-gud-toggle-dereference () | |
|
27582
42b52d8b6703
(tooltip-gud-tips-p, tooltip-gud-toggle-dereference):
Dave Love <fx@gnu.org>
parents:
25332
diff
changeset
|
448 "Toggle whether tooltips should show `* expr' or `expr'." |
| 25003 | 449 (interactive) |
| 450 (setq tooltip-gud-dereference (not tooltip-gud-dereference)) | |
| 451 (when (interactive-p) | |
| 452 (message "Dereferencing is now %s." | |
| 453 (if tooltip-gud-dereference "on" "off")))) | |
| 454 | |
| 455 | |
| 456 (defun tooltip-gud-process-output (process output) | |
| 457 "Process debugger output and show it in a tooltip window." | |
| 458 (set-process-filter process tooltip-gud-original-filter) | |
| 459 (tooltip-show (tooltip-strip-prompt process output))) | |
| 460 | |
| 461 | |
| 462 (defun tooltip-gud-print-command (expr) | |
| 463 "Return a suitable command to print the expression EXPR. | |
| 464 If TOOLTIP-GUD-DEREFERENCE is t, also prepend a `*' to EXPR." | |
| 465 (when tooltip-gud-dereference | |
| 466 (setq expr (concat "*" expr))) | |
| 467 (case tooltip-gud-debugger | |
| 468 ((gdb dbx) (concat "print " expr)) | |
| 469 (xdb (concat "p " expr)) | |
| 470 (sdb (concat expr "/")) | |
| 471 (perldb expr))) | |
| 30481 | 472 |
| 25003 | 473 |
| 474 (defun tooltip-gud-tips (event) | |
|
25332
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
475 "Show tip for identifier or selection under the mouse. |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
476 The mouse must either point at an identifier or inside a selected |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
477 region for the tip window to be shown. If tooltip-gud-dereference is t, |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
478 add a `*' in front of the printed expression. |
| 25003 | 479 |
| 480 This function must return nil if it doesn't handle EVENT." | |
| 481 (let (gud-buffer process) | |
| 482 (when (and (eventp event) | |
| 483 tooltip-gud-tips-p | |
| 484 (boundp 'gud-comint-buffer) | |
| 485 (setq gud-buffer gud-comint-buffer) | |
| 486 (setq process (get-buffer-process gud-buffer)) | |
| 487 (posn-point (event-end event)) | |
| 488 (progn (setq tooltip-gud-event event) | |
| 489 (eval (cons 'and tooltip-gud-display)))) | |
| 490 (let ((expr (tooltip-expr-to-print event))) | |
| 491 (when expr | |
|
33140
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
492 (let ((cmd (tooltip-gud-print-command expr))) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
493 (unless (null cmd) ; CMD can be nil if unknown debugger |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
494 (setq tooltip-gud-original-filter (process-filter process)) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
495 (set-process-filter process 'tooltip-gud-process-output) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
496 (gud-basic-call cmd) |
|
61f4c87b845c
(tooltip-gud-tips-setup): New function.
Miles Bader <miles@gnu.org>
parents:
32431
diff
changeset
|
497 expr))))))) |
| 25003 | 498 |
| 499 | |
| 500 ;;; Tooltip help. | |
| 501 | |
| 502 (defvar tooltip-help-message nil | |
| 503 "The last help message received via `tooltip-show-help-function'.") | |
| 504 | |
| 505 | |
| 506 (defun tooltip-show-help-function (msg) | |
| 507 "Function installed as `show-help-function'. | |
| 508 MSG is either a help string to display, or nil to cancel the display." | |
| 509 (let ((previous-help tooltip-help-message)) | |
| 510 (setq tooltip-help-message msg) | |
| 511 (cond ((null msg) | |
|
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
512 ;; Cancel display. This also cancels a delayed tip, if |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
513 ;; there is one. |
| 25003 | 514 (tooltip-hide)) |
|
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
515 ((equal previous-help msg) |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
516 ;; Same help as before (but possibly the mouse has moved). |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
517 ;; Keep what we have. |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
518 ) |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
519 (t |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
520 ;; A different help. Remove a previous tooltip, and |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
521 ;; display a new one, with some delay. |
| 25003 | 522 (tooltip-hide) |
|
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
523 (tooltip-start-delayed-tip))))) |
| 25003 | 524 |
| 525 | |
| 526 (defun tooltip-help-tips (event) | |
| 527 "Hook function to display a help tooltip. | |
|
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
528 This is installed on the hook `tooltip-hook', which is run when |
|
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
529 the the timer with ID `tooltip-timeout-id' fires. |
| 25003 | 530 Value is non-nil if this function handled the tip." |
| 531 (when (stringp tooltip-help-message) | |
| 532 (tooltip-show tooltip-help-message) | |
| 533 t)) | |
| 534 | |
| 535 | |
| 536 | |
|
33356
73a360d50e18
(tooltip-mode): Add a comment about startup.el
Gerd Moellmann <gerd@gnu.org>
parents:
33140
diff
changeset
|
537 ;;; Do this after all functions have been defined that are called from |
|
73a360d50e18
(tooltip-mode): Add a comment about startup.el
Gerd Moellmann <gerd@gnu.org>
parents:
33140
diff
changeset
|
538 ;;; `tooltip-mode'. The actual default value of `tooltip-mode' is set |
|
73a360d50e18
(tooltip-mode): Add a comment about startup.el
Gerd Moellmann <gerd@gnu.org>
parents:
33140
diff
changeset
|
539 ;;; in startup.el. |
|
25332
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
540 |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
541 ;;;###autoload |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
542 (defcustom tooltip-mode nil |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
543 "Toggle tooltip-mode. |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
544 Setting this variable directly does not take effect; |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
545 use either \\[customize] or the function `tooltip-mode'." |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
546 :set (lambda (symbol value) |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
547 (tooltip-mode (or value 0))) |
|
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
548 :initialize 'custom-initialize-default |
| 25003 | 549 :type 'boolean |
| 550 :require 'tooltip | |
| 551 :group 'tooltip) | |
| 552 | |
| 553 | |
| 554 ;;; tooltip.el ends here |
