Bug 1335895 - part 35: Update dimens.xml to remove unused resource r=jchen,kats draft
authorRandall Barker <rbarker@mozilla.com>
Mon, 03 Apr 2017 14:52:01 -0700
changeset 558777 8df570b82ec62d84e44c1e34bf20410be9168a0a
parent 558776 be93941d78c6f2f55a29393f586805e9ef4061af
child 558778 6adcff8914fa11625ca6decb8974e711257cac6b
push id52941
push userbmo:rbarker@mozilla.com
push dateFri, 07 Apr 2017 23:43:33 +0000
reviewersjchen, kats
bugs1335895
milestone55.0a1
Bug 1335895 - part 35: Update dimens.xml to remove unused resource r=jchen,kats
mobile/android/base/resources/values/dimens.xml
--- a/mobile/android/base/resources/values/dimens.xml
+++ b/mobile/android/base/resources/values/dimens.xml
@@ -207,17 +207,16 @@
 
     <!-- Find-In-Page dialog dimensions. -->
     <dimen name="find_in_page_text_margin_start">5dip</dimen>
     <dimen name="find_in_page_text_margin_end">12dip</dimen>
     <dimen name="find_in_page_text_padding_start">10dip</dimen>
     <dimen name="find_in_page_text_padding_end">10dip</dimen>
     <dimen name="find_in_page_status_margin_end">10dip</dimen>
     <dimen name="find_in_page_control_margin_top">2dip</dimen>
-    <dimen name="progress_bar_scroll_offset">1.5dp</dimen>
 
     <!-- Matches the built-in divider height. fwiw, in the framework
          I suspect this is a drawable rather than a dimen.  -->
     <dimen name="action_bar_divider_height">2dp</dimen>
 
     <!-- http://blog.danlew.net/2015/01/06/handling-android-resources-with-non-standard-formats/ -->
     <item name="match_parent" type="dimen">-1</item>
     <item name="wrap_content" type="dimen">-2</item>