diff options
Diffstat (limited to 'mozilla-1144745-3.patch')
| -rw-r--r-- | mozilla-1144745-3.patch | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/mozilla-1144745-3.patch b/mozilla-1144745-3.patch deleted file mode 100644 index 3f4d9c7..0000000 --- a/mozilla-1144745-3.patch +++ /dev/null @@ -1,31 +0,0 @@ -# HG changeset patch -# User Martin Stransky <stransky@redhat.com> -# Parent e0299ad29b855f798ee5db8257cbb459894c1b29 -Bug 1144745 - scale border returned by GetWidgetBorder(), r=?karlt - -diff --git a/widget/gtk/nsNativeThemeGTK.cpp b/widget/gtk/nsNativeThemeGTK.cpp ---- a/widget/gtk/nsNativeThemeGTK.cpp -+++ b/widget/gtk/nsNativeThemeGTK.cpp -@@ -990,16 +990,22 @@ nsNativeThemeGTK::GetWidgetBorder(nsDevi - if (GetGtkWidgetAndState(aWidgetType, aFrame, gtkWidgetType, nullptr, - nullptr)) { - moz_gtk_get_widget_border(gtkWidgetType, &aResult->left, &aResult->top, - &aResult->right, &aResult->bottom, direction, - IsFrameContentNodeInNamespace(aFrame, kNameSpaceID_XHTML)); - } - } - } -+ -+ gint scale = nsScreenGtk::GetGtkMonitorScaleFactor(); -+ aResult->top *= scale; -+ aResult->right *= scale; -+ aResult->bottom *= scale; -+ aResult->left *= scale; - return NS_OK; - } - - bool - nsNativeThemeGTK::GetWidgetPadding(nsDeviceContext* aContext, - nsIFrame* aFrame, uint8_t aWidgetType, - nsIntMargin* aResult) - { |