Commit 9eef2272 authored by bp's avatar bp

Added auto-hide tooltip after 8 seconds

git-svn-id: https://forth-ev.de/repos/bigforth@1878 3b8d8251-53f3-0310-8f3b-fd1cb8370982
parent 44f18964
......@@ -429,7 +429,7 @@ how: : init ( widget win -- ) xwin ! title off
\ event handler for sub-window 30aug05py
\ : moved! dpy moved! ;
: moved! dpy moved! ;
\ : moved? dpy moved? ;
: click^ dpy click^ ;
: moreclicks dpy moreclicks ;
......@@ -535,6 +535,7 @@ class;
minos
#1000 Value tooltip-delay
#8000 Value tooltip-hide-delay
actor class tooltip
public: widget ptr tip actor ptr feed
......@@ -560,7 +561,8 @@ how: : init ( actor tip -- ) bind tip bind feed
screen self frame-tip new dup bind tip-frame
frame-tip with s" tooltip" assign
[defined] x11 [IF] set-parent [THEN] show focus
endwith ;
endwith
['] leave ^ tooltip-hide-delay after screen schedule ;
\ tool tips 21sep07py
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment