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 561601 b7ef978614c74cdb24fabec479e5fee204af4632
parent 561600 106a9ca5641ca1439d6a2f7897da9d4608a5006e
child 561602 6bba9dabd4326df89443a167f99affa66c6754e0
push id53787
push userbmo:rbarker@mozilla.com
push dateWed, 12 Apr 2017 22:56:58 +0000
reviewersjchen, kats
bugs1335895
milestone55.0a1
Bug 1335895 - part 35: Update dimens.xml to remove unused resource r=jchen,kats MozReview-Commit-ID: BJJ4Cw2v2XQ
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>