diff options
| author | Moonchild <moonchild@palemoon.org> | 2022-07-22 15:06:19 +0000 |
|---|---|---|
| committer | Moonchild <moonchild@palemoon.org> | 2022-07-22 15:06:19 +0000 |
| commit | 3d954cb29cce81e033a6c216ac29138e5fe7b571 (patch) | |
| tree | 70725df059014efd46d260fa12fb74afc65faf9d /widget/gtk/gtk3drawing.cpp | |
| parent | 1aa650b8acbe9e2e0ebddd255dd61532b5bb2086 (diff) | |
| download | uxp-3d954cb29cce81e033a6c216ac29138e5fe7b571.tar.gz | |
Issue #1970 - Part 2: Remove the extra padding on buttons
Extra padding was created for a prospective -moz-focus-inner ring.
We now just size that ring the same as the content frame, inflated by its CSS
padding.
Diffstat (limited to 'widget/gtk/gtk3drawing.cpp')
| -rw-r--r-- | widget/gtk/gtk3drawing.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/widget/gtk/gtk3drawing.cpp b/widget/gtk/gtk3drawing.cpp index c592fa51c9..c3216fbf34 100644 --- a/widget/gtk/gtk3drawing.cpp +++ b/widget/gtk/gtk3drawing.cpp @@ -2036,9 +2036,6 @@ moz_gtk_get_widget_border(WidgetNodeType widget, gint* left, gint* top, if (widget == MOZ_GTK_TOOLBAR_BUTTON) gtk_style_context_restore(style); - // XXX: Subtract 1 pixel from the border to account for the added - // -moz-focus-inner border (Bug 1228281). - *left -= 1; *top -= 1; *right -= 1; *bottom -= 1; moz_gtk_add_style_border(style, left, top, right, bottom); ReleaseStyleContext(style); |