WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
Bug 96618
[GTK] Set the area of tooltips in WebKit2
https://bugs.webkit.org/show_bug.cgi?id=96618
Summary
[GTK] Set the area of tooltips in WebKit2
Carlos Garcia Campos
Reported
2012-09-13 01:02:28 PDT
In GTK+ tooltips are associated to a widget, if the mouse is moved inside the widget area, the tooltip position doesn't change even if the tooltip text changes. To support multiple tooltips for the same widget, we need to set the area of the widget for every tooltip. See
bug #49498
that fixed this problem for WebKit1.
Attachments
Patch
(8.24 KB, patch)
2012-09-13 01:06 PDT
,
Carlos Garcia Campos
mrobinson
: review+
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Carlos Garcia Campos
Comment 1
2012-09-13 01:06:40 PDT
Created
attachment 163807
[details]
Patch
WebKit Review Bot
Comment 2
2012-09-13 01:11:19 PDT
Thanks for the patch. If this patch contains new public API please make sure it follows the guidelines for new WebKit2 GTK+ API. See
http://trac.webkit.org/wiki/WebKitGTK/AddingNewWebKit2API
Carlos Garcia Campos
Comment 3
2012-09-18 03:34:36 PDT
Committed
r128871
: <
http://trac.webkit.org/changeset/128871
>
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug