Mercurial > emacs
annotate lisp/tooltip.el @ 64193:7fc36b055c09
(dired-marker-char): Avoid quotations for `do' and `mark'
to not create links to unrelated functions in the Help buffer.
author | Juri Linkov <juri@jurta.org> |
---|---|
date | Sat, 09 Jul 2005 20:44:05 +0000 |
parents | 6fb026ad601f |
children | 32225b9cc7d5 f9a65d7ebd29 |
rev | line source |
---|---|
45236 | 1 ;;; tooltip.el --- show tooltip windows |
25003 | 2 |
60539
60737ce5edc8
(tooltip-mode): Use define-minor-mode and simplify.
Nick Roberts <nickrob@snap.net.nz>
parents:
60205
diff
changeset
|
3 ;; Copyright (C) 1997, 1999, 2000, 2001, 2002, 2003, 2004, 2005 |
59017
3d934eda2724
(tooltip-show-help-function): Replace "mouse-2"
Kim F. Storm <storm@cua.dk>
parents:
58488
diff
changeset
|
4 ;; Free Software Foundation, Inc. |
25003 | 5 |
6 ;; Author: Gerd Moellmann <gerd@acm.org> | |
7 ;; Keywords: help c mouse tools | |
8 | |
9 ;; This file is part of GNU Emacs. | |
10 | |
11 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
12 ;; it under the terms of the GNU General Public License as published by | |
13 ;; the Free Software Foundation; either version 2, or (at your option) | |
14 ;; any later version. | |
15 | |
16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 ;; GNU General Public License for more details. | |
20 | |
21 ;; You should have received a copy of the GNU General Public License | |
22 ;; along with GNU Emacs; see the file COPYING. If not, write to the | |
64091 | 23 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, |
24 ;; Boston, MA 02110-1301, USA. | |
25003 | 25 |
26 ;;; Commentary: | |
27 | |
28 ;;; Code: | |
29 | |
30 ;;; Customizable settings | |
31 | |
32 (defgroup tooltip nil | |
33 "Customization group for the `tooltip' package." | |
34 :group 'help | |
37755
cf803b8f08ad
(tooltip) <defgroup>: Put it in `gud' group instead
Gerd Moellmann <gerd@gnu.org>
parents:
35401
diff
changeset
|
35 :group 'gud |
25003 | 36 :group 'mouse |
37 :group 'tools | |
25332
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
38 :version "21.1" |
25003 | 39 :tag "Tool Tips") |
40 | |
40679
3c4df1ce9e4c
(tooltip-delay): Decrease to 0.7.
Eli Zaretskii <eliz@gnu.org>
parents:
40376
diff
changeset
|
41 (defcustom tooltip-delay 0.7 |
25003 | 42 "Seconds to wait before displaying a tooltip the first time." |
43 :tag "Delay" | |
44 :type 'number | |
45 :group 'tooltip) | |
46 | |
47 (defcustom tooltip-short-delay 0.1 | |
48 "Seconds to wait between subsequent tooltips on different items." | |
49 :tag "Short delay" | |
50 :type 'number | |
51 :group 'tooltip) | |
52 | |
53 (defcustom tooltip-recent-seconds 1 | |
25332
c09e05be2f4b
(tooltip-mode): Customize this, per convention.
Dave Love <fx@gnu.org>
parents:
25003
diff
changeset
|
54 "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
|
55 Do so after `tooltip-short-delay'." |
25003 | 56 :tag "Recent seconds" |
57 :type 'number | |
58 :group 'tooltip) | |
59 | |
40679
3c4df1ce9e4c
(tooltip-delay): Decrease to 0.7.
Eli Zaretskii <eliz@gnu.org>
parents:
40376
diff
changeset
|
60 (defcustom tooltip-hide-delay 10 |
35401
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
61 "Hide tooltips automatically after this many seconds." |
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
62 :tag "Hide delay" |
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
63 :type 'number |
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
64 :group 'tooltip) |
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
65 |
33587
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
66 (defcustom tooltip-x-offset nil |
46025
ce0d438fe05e
(tooltip-x-offset, tooltip-y-offset): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
45571
diff
changeset
|
67 "X offset, in pixels, for the display of tooltips. |
33587
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
68 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
|
69 be chosen so that the tooltip window doesn't contain the mouse |
40173
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
70 when it pops up. If the value is nil, the default offset is 5 |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
71 pixels. |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
72 |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
73 If `tooltip-frame-parameters' includes the `left' parameter, |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
74 the value of `tooltip-x-offset' is ignored." |
33587
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
75 :tag "X offset" |
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
76 :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
|
77 (integer :tag "Offset" :value 1)) |
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
78 :group 'tooltip) |
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
79 |
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
80 (defcustom tooltip-y-offset nil |
46025
ce0d438fe05e
(tooltip-x-offset, tooltip-y-offset): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
45571
diff
changeset
|
81 "Y offset, in pixels, for the display of tooltips. |
33587
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
82 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
|
83 be chosen so that the tooltip window doesn't contain the mouse |
40173
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
84 when it pops up. If the value is nil, the default offset is -10 |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
85 pixels. |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
86 |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
87 If `tooltip-frame-parameters' includes the `top' parameter, |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
88 the value of `tooltip-y-offset' is ignored." |
33587
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
89 :tag "Y offset" |
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
90 :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
|
91 (integer :tag "Offset" :value 1)) |
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
92 :group 'tooltip) |
7d4c3fcd3421
(tooltip-x-offset, tooltip-y-offset): New user-options.
Gerd Moellmann <gerd@gnu.org>
parents:
33356
diff
changeset
|
93 |
25003 | 94 (defcustom tooltip-frame-parameters |
95 '((name . "tooltip") | |
96 (internal-border-width . 5) | |
97 (border-width . 1)) | |
40173
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
98 "Frame parameters used for tooltips. |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
99 |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
100 If `left' or `top' parameters are included, they specify the absolute |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
101 position to pop up the tooltip." |
25003 | 102 :type 'sexp |
103 :tag "Frame Parameters" | |
104 :group 'tooltip) | |
105 | |
35043
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
106 (defface tooltip |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
107 '((((class color)) |
52031
5163fa137977
(defface tooltip): Inherit from variable-pitch.
John Paul Wallington <jpw@pobox.com>
parents:
49597
diff
changeset
|
108 :background "lightyellow" |
5163fa137977
(defface tooltip): Inherit from variable-pitch.
John Paul Wallington <jpw@pobox.com>
parents:
49597
diff
changeset
|
109 :foreground "black" |
5163fa137977
(defface tooltip): Inherit from variable-pitch.
John Paul Wallington <jpw@pobox.com>
parents:
49597
diff
changeset
|
110 :inherit variable-pitch) |
5163fa137977
(defface tooltip): Inherit from variable-pitch.
John Paul Wallington <jpw@pobox.com>
parents:
49597
diff
changeset
|
111 (t |
5163fa137977
(defface tooltip): Inherit from variable-pitch.
John Paul Wallington <jpw@pobox.com>
parents:
49597
diff
changeset
|
112 :inherit variable-pitch)) |
35043
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
113 "Face for tooltips." |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
114 :group 'tooltip) |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
115 |
63441
ebbf98a044ac
* tooltip.el (tooltip-use-echo-area): Restore from gud.el for
Nick Roberts <nickrob@snap.net.nz>
parents:
62135
diff
changeset
|
116 (defcustom tooltip-use-echo-area nil |
ebbf98a044ac
* tooltip.el (tooltip-use-echo-area): Restore from gud.el for
Nick Roberts <nickrob@snap.net.nz>
parents:
62135
diff
changeset
|
117 "Use the echo area instead of tooltip frames for help and GUD tooltips." |
ebbf98a044ac
* tooltip.el (tooltip-use-echo-area): Restore from gud.el for
Nick Roberts <nickrob@snap.net.nz>
parents:
62135
diff
changeset
|
118 :type 'boolean |
ebbf98a044ac
* tooltip.el (tooltip-use-echo-area): Restore from gud.el for
Nick Roberts <nickrob@snap.net.nz>
parents:
62135
diff
changeset
|
119 :tag "Use echo area" |
ebbf98a044ac
* tooltip.el (tooltip-use-echo-area): Restore from gud.el for
Nick Roberts <nickrob@snap.net.nz>
parents:
62135
diff
changeset
|
120 :group 'tooltip) |
ebbf98a044ac
* tooltip.el (tooltip-use-echo-area): Restore from gud.el for
Nick Roberts <nickrob@snap.net.nz>
parents:
62135
diff
changeset
|
121 |
25003 | 122 |
123 ;;; Variables that are not customizable. | |
124 | |
125 (defvar tooltip-hook nil | |
126 "Functions to call to display tooltips. | |
127 Each function is called with one argument EVENT which is a copy of | |
128 the last mouse movement event that occurred.") | |
129 | |
130 (defvar tooltip-timeout-id nil | |
131 "The id of the timeout started when Emacs becomes idle.") | |
132 | |
133 (defvar tooltip-last-mouse-motion-event nil | |
134 "A copy of the last mouse motion event seen.") | |
135 | |
136 (defvar tooltip-hide-time nil | |
137 "Time when the last tooltip was hidden.") | |
138 | |
63938
cd982981d99a
(gud-tooltip-mode): Add defvar.
Richard M. Stallman <rms@gnu.org>
parents:
63587
diff
changeset
|
139 (defvar gud-tooltip-mode) ;; Prevent warning. |
cd982981d99a
(gud-tooltip-mode): Add defvar.
Richard M. Stallman <rms@gnu.org>
parents:
63587
diff
changeset
|
140 |
25003 | 141 ;;; Event accessors |
142 | |
143 (defun tooltip-event-buffer (event) | |
144 "Return the buffer over which event EVENT occurred. | |
145 This might return nil if the event did not occur over a buffer." | |
146 (let ((window (posn-window (event-end event)))) | |
147 (and window (window-buffer window)))) | |
148 | |
149 ;;; Switching tooltips on/off | |
150 | |
151 ;; We don't set track-mouse globally because this is a big redisplay | |
152 ;; problem in buffers having a pre-command-hook or such installed, | |
153 ;; which does a set-buffer, like the summary buffer of Gnus. Calling | |
154 ;; set-buffer prevents redisplay optimizations, so every mouse motion | |
155 ;; would be accompanied by a full redisplay. | |
156 | |
157 ;;;###autoload | |
60539
60737ce5edc8
(tooltip-mode): Use define-minor-mode and simplify.
Nick Roberts <nickrob@snap.net.nz>
parents:
60205
diff
changeset
|
158 (define-minor-mode tooltip-mode |
60737ce5edc8
(tooltip-mode): Use define-minor-mode and simplify.
Nick Roberts <nickrob@snap.net.nz>
parents:
60205
diff
changeset
|
159 "Toggle Tooltip display. |
25003 | 160 With ARG, turn tooltip mode on if and only if ARG is positive." |
60539
60737ce5edc8
(tooltip-mode): Use define-minor-mode and simplify.
Nick Roberts <nickrob@snap.net.nz>
parents:
60205
diff
changeset
|
161 :global t |
61565
19480ce3528d
(tooltip-mode): Specify correct standard value for Custom in init-value.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61161
diff
changeset
|
162 ;; If you change the :init-value below, you also need to change the |
19480ce3528d
(tooltip-mode): Specify correct standard value for Custom in init-value.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61161
diff
changeset
|
163 ;; corresponding code in startup.el. |
19480ce3528d
(tooltip-mode): Specify correct standard value for Custom in init-value.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61161
diff
changeset
|
164 :init-value (not (or noninteractive |
61614
5739226d2d8c
(tooltip-mode): `emacs-quick-startup' and `display-graphic-p' may not
YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
parents:
61608
diff
changeset
|
165 (and (boundp 'emacs-quick-startup) emacs-quick-startup) |
5739226d2d8c
(tooltip-mode): `emacs-quick-startup' and `display-graphic-p' may not
YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
parents:
61608
diff
changeset
|
166 (not (and (fboundp 'display-graphic-p) |
5739226d2d8c
(tooltip-mode): `emacs-quick-startup' and `display-graphic-p' may not
YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
parents:
61608
diff
changeset
|
167 (display-graphic-p))) |
61565
19480ce3528d
(tooltip-mode): Specify correct standard value for Custom in init-value.
Luc Teirlinck <teirllm@auburn.edu>
parents:
61161
diff
changeset
|
168 (not (fboundp 'x-show-tip)))) |
60539
60737ce5edc8
(tooltip-mode): Use define-minor-mode and simplify.
Nick Roberts <nickrob@snap.net.nz>
parents:
60205
diff
changeset
|
169 :group 'tooltip |
60547
23b4e52963d6
(tooltip-mode): Don't complain that you can't turn the
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
60539
diff
changeset
|
170 (unless (or (null tooltip-mode) (fboundp 'x-show-tip)) |
34689
e045e0e60223
(tooltip-mode): Signal an error if x-show-tip
Gerd Moellmann <gerd@gnu.org>
parents:
34540
diff
changeset
|
171 (error "Sorry, tooltips are not yet available on this system")) |
62135
70a3dba2b7ea
(require): CL no longer needed to compile case.
Nick Roberts <nickrob@snap.net.nz>
parents:
62048
diff
changeset
|
172 (if tooltip-mode |
70a3dba2b7ea
(require): CL no longer needed to compile case.
Nick Roberts <nickrob@snap.net.nz>
parents:
62048
diff
changeset
|
173 (progn |
70a3dba2b7ea
(require): CL no longer needed to compile case.
Nick Roberts <nickrob@snap.net.nz>
parents:
62048
diff
changeset
|
174 (add-hook 'pre-command-hook 'tooltip-hide) |
70a3dba2b7ea
(require): CL no longer needed to compile case.
Nick Roberts <nickrob@snap.net.nz>
parents:
62048
diff
changeset
|
175 (add-hook 'tooltip-hook 'tooltip-help-tips)) |
70a3dba2b7ea
(require): CL no longer needed to compile case.
Nick Roberts <nickrob@snap.net.nz>
parents:
62048
diff
changeset
|
176 (unless (and (boundp 'gud-tooltip-mode) gud-tooltip-mode) |
70a3dba2b7ea
(require): CL no longer needed to compile case.
Nick Roberts <nickrob@snap.net.nz>
parents:
62048
diff
changeset
|
177 (remove-hook 'pre-command-hook 'tooltip-hide)) |
70a3dba2b7ea
(require): CL no longer needed to compile case.
Nick Roberts <nickrob@snap.net.nz>
parents:
62048
diff
changeset
|
178 (remove-hook 'tooltip-hook 'tooltip-help-tips)) |
70a3dba2b7ea
(require): CL no longer needed to compile case.
Nick Roberts <nickrob@snap.net.nz>
parents:
62048
diff
changeset
|
179 (setq show-help-function |
63441
ebbf98a044ac
* tooltip.el (tooltip-use-echo-area): Restore from gud.el for
Nick Roberts <nickrob@snap.net.nz>
parents:
62135
diff
changeset
|
180 (if tooltip-mode 'tooltip-show-help nil))) |
25003 | 181 |
182 | |
183 ;;; Timeout for tooltip display | |
184 | |
185 (defun tooltip-delay () | |
186 "Return the delay in seconds for the next tooltip." | |
187 (let ((delay tooltip-delay) | |
30481 | 188 (now (float-time))) |
25003 | 189 (when (and tooltip-hide-time |
190 (< (- now tooltip-hide-time) tooltip-recent-seconds)) | |
191 (setq delay tooltip-short-delay)) | |
192 delay)) | |
193 | |
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
194 (defun tooltip-cancel-delayed-tip () |
25003 | 195 "Disable the tooltip timeout." |
196 (when tooltip-timeout-id | |
197 (disable-timeout tooltip-timeout-id) | |
198 (setq tooltip-timeout-id nil))) | |
199 | |
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
200 (defun tooltip-start-delayed-tip () |
63483
8e09dea7559c
(tooltip-start-delayed-tip, tooltip-timeout, tooltip-use-echo-area,
Juanma Barranquero <lekktu@gmail.com>
parents:
63441
diff
changeset
|
201 "Add a one-shot timeout to call function `tooltip-timeout'." |
25003 | 202 (setq tooltip-timeout-id |
203 (add-timeout (tooltip-delay) 'tooltip-timeout nil))) | |
204 | |
205 (defun tooltip-timeout (object) | |
63483
8e09dea7559c
(tooltip-start-delayed-tip, tooltip-timeout, tooltip-use-echo-area,
Juanma Barranquero <lekktu@gmail.com>
parents:
63441
diff
changeset
|
206 "Function called when timer with id `tooltip-timeout-id' fires." |
25003 | 207 (run-hook-with-args-until-success 'tooltip-hook |
208 tooltip-last-mouse-motion-event)) | |
209 | |
210 | |
211 ;;; Displaying tips | |
212 | |
35043
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
213 (defun tooltip-set-param (alist key value) |
40178
1dab42ecd751
(tooltip-set-param): Doc fix.
Eli Zaretskii <eliz@gnu.org>
parents:
40173
diff
changeset
|
214 "Change the value of KEY in alist ALIST to VALUE. |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48925
diff
changeset
|
215 If there's no association for KEY in ALIST, add one, otherwise |
35043
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
216 change the existing association. Value is the resulting alist." |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
217 (let ((param (assq key alist))) |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
218 (if (consp param) |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
219 (setcdr param value) |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
220 (push (cons key value) alist)) |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
221 alist)) |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
222 |
61626
058da2e83614
(tooltip-show): Change second arg to USE-ECHO-AREA
Kim F. Storm <storm@cua.dk>
parents:
61614
diff
changeset
|
223 (defun tooltip-show (text &optional use-echo-area) |
40173
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
224 "Show a tooltip window displaying TEXT. |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
225 |
61608
6a8ebeaf5f56
(tooltip-gud-echo-area): Rename from
Nick Roberts <nickrob@snap.net.nz>
parents:
61565
diff
changeset
|
226 Text larger than `x-max-tooltip-size' is clipped. |
40173
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
227 |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
228 If the alist in `tooltip-frame-parameters' includes `left' and `top' |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
229 parameters, they determine the x and y position where the tooltip |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
230 is displayed. Otherwise, the tooltip pops at offsets specified by |
c4955867228d
(tooltip-x-offset, tooltip-y-offset): Mention in the
Eli Zaretskii <eliz@gnu.org>
parents:
37755
diff
changeset
|
231 `tooltip-x-offset' and `tooltip-y-offset' from the current mouse |
61608
6a8ebeaf5f56
(tooltip-gud-echo-area): Rename from
Nick Roberts <nickrob@snap.net.nz>
parents:
61565
diff
changeset
|
232 position. |
6a8ebeaf5f56
(tooltip-gud-echo-area): Rename from
Nick Roberts <nickrob@snap.net.nz>
parents:
61565
diff
changeset
|
233 |
61626
058da2e83614
(tooltip-show): Change second arg to USE-ECHO-AREA
Kim F. Storm <storm@cua.dk>
parents:
61614
diff
changeset
|
234 Optional second arg USE-ECHO-AREA non-nil means to show tooltip |
058da2e83614
(tooltip-show): Change second arg to USE-ECHO-AREA
Kim F. Storm <storm@cua.dk>
parents:
61614
diff
changeset
|
235 in echo area." |
058da2e83614
(tooltip-show): Change second arg to USE-ECHO-AREA
Kim F. Storm <storm@cua.dk>
parents:
61614
diff
changeset
|
236 (if use-echo-area |
32431
a35cc9700ff7
* tooltip.el (tooltip-use-echo-area): New user variable.
Sam Steingold <sds@gnu.org>
parents:
30481
diff
changeset
|
237 (message "%s" text) |
34540
e1e4704de6ed
(tooltip-show): If an error is signaled in
Gerd Moellmann <gerd@gnu.org>
parents:
33925
diff
changeset
|
238 (condition-case error |
35043
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
239 (let ((params (copy-sequence tooltip-frame-parameters)) |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
240 (fg (face-attribute 'tooltip :foreground)) |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
241 (bg (face-attribute 'tooltip :background))) |
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
242 (when (stringp fg) |
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
243 (setq params (tooltip-set-param params 'foreground-color fg)) |
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
244 (setq params (tooltip-set-param params 'border-color fg))) |
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
245 (when (stringp bg) |
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
246 (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
|
247 (x-show-tip (propertize text 'face 'tooltip) |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
248 (selected-frame) |
35044 | 249 params |
35401
c00e94a506a2
(tooltip-hide-delay): New user-option.
Gerd Moellmann <gerd@gnu.org>
parents:
35069
diff
changeset
|
250 tooltip-hide-delay |
35043
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
251 tooltip-x-offset |
f7ca93e40e16
(tooltip-frame-parameters): Remove colors.
Gerd Moellmann <gerd@gnu.org>
parents:
34689
diff
changeset
|
252 tooltip-y-offset)) |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48925
diff
changeset
|
253 (error |
34540
e1e4704de6ed
(tooltip-show): If an error is signaled in
Gerd Moellmann <gerd@gnu.org>
parents:
33925
diff
changeset
|
254 (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
|
255 (sit-for 1) |
e1e4704de6ed
(tooltip-show): If an error is signaled in
Gerd Moellmann <gerd@gnu.org>
parents:
33925
diff
changeset
|
256 (message "%s" text))))) |
e1e4704de6ed
(tooltip-show): If an error is signaled in
Gerd Moellmann <gerd@gnu.org>
parents:
33925
diff
changeset
|
257 |
25003 | 258 (defun tooltip-hide (&optional ignored-arg) |
259 "Hide a tooltip, if one is displayed. | |
260 Value is non-nil if tooltip was open." | |
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
261 (tooltip-cancel-delayed-tip) |
25003 | 262 (when (x-hide-tip) |
30481 | 263 (setq tooltip-hide-time (float-time)))) |
25003 | 264 |
265 | |
266 ;;; Debugger-related functions | |
267 | |
268 (defun tooltip-identifier-from-point (point) | |
269 "Extract the identifier at POINT, if any. | |
270 Value is nil if no identifier exists at point. Identifier extraction | |
271 is based on the current syntax table." | |
272 (save-excursion | |
273 (goto-char point) | |
274 (let ((start (progn (skip-syntax-backward "w_") (point)))) | |
275 (unless (looking-at "[0-9]") | |
276 (skip-syntax-forward "w_") | |
277 (when (> (point) start) | |
278 (buffer-substring start (point))))))) | |
279 | |
280 (defmacro tooltip-region-active-p () | |
281 "Value is non-nil if the region is currently active." | |
282 (if (string-match "^GNU" (emacs-version)) | |
283 `(and transient-mark-mode mark-active) | |
284 `(region-active-p))) | |
285 | |
286 (defun tooltip-expr-to-print (event) | |
287 "Return an expression that should be printed for EVENT. | |
288 If a region is active and the mouse is inside the region, print | |
289 the region. Otherwise, figure out the identifier around the point | |
290 where the mouse is." | |
291 (save-excursion | |
292 (set-buffer (tooltip-event-buffer event)) | |
293 (let ((point (posn-point (event-end event)))) | |
294 (if (tooltip-region-active-p) | |
295 (when (and (<= (region-beginning) point) (<= point (region-end))) | |
296 (buffer-substring (region-beginning) (region-end))) | |
297 (tooltip-identifier-from-point point))))) | |
298 | |
299 (defun tooltip-process-prompt-regexp (process) | |
300 "Return regexp matching the prompt of PROCESS at the end of a string. | |
63483
8e09dea7559c
(tooltip-start-delayed-tip, tooltip-timeout, tooltip-use-echo-area,
Juanma Barranquero <lekktu@gmail.com>
parents:
63441
diff
changeset
|
301 The prompt is taken from the value of `comint-prompt-regexp' in |
8e09dea7559c
(tooltip-start-delayed-tip, tooltip-timeout, tooltip-use-echo-area,
Juanma Barranquero <lekktu@gmail.com>
parents:
63441
diff
changeset
|
302 the buffer of PROCESS." |
25003 | 303 (let ((prompt-regexp (save-excursion |
304 (set-buffer (process-buffer process)) | |
305 comint-prompt-regexp))) | |
306 ;; Most start with `^' but the one for `sdb' cannot be easily | |
307 ;; stripped. Code the prompt for `sdb' fixed here. | |
308 (if (= (aref prompt-regexp 0) ?^) | |
309 (setq prompt-regexp (substring prompt-regexp 1)) | |
310 (setq prompt-regexp "\\*")) | |
311 (concat "\n*" prompt-regexp "$"))) | |
312 | |
313 (defun tooltip-strip-prompt (process output) | |
314 "Return OUTPUT with any prompt of PROCESS stripped from its end." | |
315 (let ((prompt-regexp (tooltip-process-prompt-regexp process))) | |
316 (save-match-data | |
317 (when (string-match prompt-regexp output) | |
318 (setq output (substring output 0 (match-beginning 0))))) | |
319 output)) | |
320 | |
321 | |
322 ;;; Tooltip help. | |
323 | |
324 (defvar tooltip-help-message nil | |
63441
ebbf98a044ac
* tooltip.el (tooltip-use-echo-area): Restore from gud.el for
Nick Roberts <nickrob@snap.net.nz>
parents:
62135
diff
changeset
|
325 "The last help message received via `tooltip-show-help'.") |
25003 | 326 |
63441
ebbf98a044ac
* tooltip.el (tooltip-use-echo-area): Restore from gud.el for
Nick Roberts <nickrob@snap.net.nz>
parents:
62135
diff
changeset
|
327 (defun tooltip-show-help (msg) |
25003 | 328 "Function installed as `show-help-function'. |
329 MSG is either a help string to display, or nil to cancel the display." | |
61161
22abf0130979
(tooltip-show-help-function): Don't fixup message here.
Kim F. Storm <storm@cua.dk>
parents:
61128
diff
changeset
|
330 (let ((previous-help tooltip-help-message)) |
25003 | 331 (setq tooltip-help-message msg) |
332 (cond ((null msg) | |
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
333 ;; Cancel display. This also cancels a delayed tip, if |
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
334 ;; there is one. |
25003 | 335 (tooltip-hide)) |
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
336 ((equal previous-help msg) |
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
337 ;; Same help as before (but possibly the mouse has moved). |
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
338 ;; Keep what we have. |
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
339 ) |
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
340 (t |
49597
e88404e8f2cf
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
48925
diff
changeset
|
341 ;; A different help. Remove a previous tooltip, and |
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
342 ;; display a new one, with some delay. |
25003 | 343 (tooltip-hide) |
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
344 (tooltip-start-delayed-tip))))) |
25003 | 345 |
346 (defun tooltip-help-tips (event) | |
347 "Hook function to display a help tooltip. | |
35069
d19eadb47c76
(tooltip-cancel-delayed-tip)
Gerd Moellmann <gerd@gnu.org>
parents:
35044
diff
changeset
|
348 This is installed on the hook `tooltip-hook', which is run when |
63483
8e09dea7559c
(tooltip-start-delayed-tip, tooltip-timeout, tooltip-use-echo-area,
Juanma Barranquero <lekktu@gmail.com>
parents:
63441
diff
changeset
|
349 the timer with id `tooltip-timeout-id' fires. |
25003 | 350 Value is non-nil if this function handled the tip." |
351 (when (stringp tooltip-help-message) | |
63441
ebbf98a044ac
* tooltip.el (tooltip-use-echo-area): Restore from gud.el for
Nick Roberts <nickrob@snap.net.nz>
parents:
62135
diff
changeset
|
352 (tooltip-show tooltip-help-message tooltip-use-echo-area) |
25003 | 353 t)) |
354 | |
48601
ac47e19224b0
(tooltip-gud-process-output): Handle annotations that
Nick Roberts <nickrob@snap.net.nz>
parents:
48580
diff
changeset
|
355 (provide 'tooltip) |
25003 | 356 |
58155 | 357 ;; arch-tag: 3d61135e-4618-4a78-af28-183f6df5636f |
25003 | 358 ;;; tooltip.el ends here |