WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
NEW
166648
[GTK] Cannot remove bottom margin/padding from elements styled as buttons
https://bugs.webkit.org/show_bug.cgi?id=166648
Summary
[GTK] Cannot remove bottom margin/padding from elements styled as buttons
Michael Gratton
Reported
2017-01-03 05:10:41 PST
Created
attachment 297930
[details]
Example HTML WebKitGTK+ 2.14.x + GTK+ 3.22 incorrectly renders ~8px of additional background at the bottom of any element styled as a native button. This only occurs at the bottom, not along other sides, and it doesn't seem possible to remove it using CSS, except by using -webkit-appearance: none, but then you lose the appearance of a native button. Further, when mousing over this extra area at the bottom, although the cursor visually overlaps the button, no hover effects are triggered and it is not possible to click the button. This is on a high DPI display, if that matters for anything.
Attachments
Example HTML
(343 bytes, text/html)
2017-01-03 05:10 PST
,
Michael Gratton
no flags
Details
Screenshot of the example HTML
(33.11 KB, image/png)
2017-01-03 05:11 PST
,
Michael Gratton
no flags
Details
View All
Add attachment
proposed patch, testcase, etc.
Michael Gratton
Comment 1
2017-01-03 05:11:41 PST
Created
attachment 297931
[details]
Screenshot of the example HTML
Michael Catanzaro
Comment 2
2017-01-03 08:06:47 PST
Sharp eyes. It's not a hidpi bug; I can reproduce it on my normal screen.
Michael Catanzaro
Comment 3
2017-01-03 08:09:26 PST
For anyone who wants to follow along at home, Source/WebCore/rendering/RenderThemeGtk.cpp and RenderThemeGtk::paintButton in particular is the place to start. The implementation looks sane so it'll need some debugging.
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