Bug 1144745 - scale border returned by GetWidgetBorder(), r=karlt

This commit is contained in:
Martin Stransky 2015-04-28 06:22:00 +02:00
parent 70fd530d22
commit 7dff3b121f

View File

@ -1159,6 +1159,12 @@ nsNativeThemeGTK::GetWidgetBorder(nsDeviceContext* aContext, nsIFrame* aFrame,
}
}
}
gint scale = nsScreenGtk::GetGtkMonitorScaleFactor();
aResult->top *= scale;
aResult->right *= scale;
aResult->bottom *= scale;
aResult->left *= scale;
return NS_OK;
}