diff options
Diffstat (limited to 'mozilla-1144745-3.patch')
| -rw-r--r-- | mozilla-1144745-3.patch | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/mozilla-1144745-3.patch b/mozilla-1144745-3.patch new file mode 100644 index 0000000..3f4d9c7 --- /dev/null +++ b/mozilla-1144745-3.patch @@ -0,0 +1,31 @@ +# 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) + { |