diff options
author | Jorge Arellano Cid <jcid@dillo.org> | 2011-07-08 11:56:45 -0400 |
---|---|---|
committer | Jorge Arellano Cid <jcid@dillo.org> | 2011-07-08 11:56:45 -0400 |
commit | a87058e4e0652252a7161d8c5736370fa2ea68a8 (patch) | |
tree | 47da6f143e4608901bc7375e26a7699e5fd3d1f0 /dw/fltkplatform.hh | |
parent | c5dbb7e648f6130544bbf1957d0a558a0634c63b (diff) |
Add a small delay before showing the tooltip
Although the code seems simple, it must avoid race conditions which
are not trivial (dw, fltk, dw/fltk).
Diffstat (limited to 'dw/fltkplatform.hh')
0 files changed, 0 insertions, 0 deletions