2020-07-01 22:41:19 +02:00
|
|
|
<!-- Taken from here: https://stackoverflow.com/a/53969021 -->
|
2020-06-15 20:23:39 +02:00
|
|
|
<resources xmlns:tools="http://schemas.android.com/tools">
|
2020-07-01 22:41:19 +02:00
|
|
|
<bool name="config_materialPreferenceIconSpaceReserved" tools:ignore="MissingDefaultResource,PrivateResource,UnusedResources">false</bool>
|
|
|
|
|
<dimen name="preference_category_padding_start" tools:ignore="MissingDefaultResource,PrivateResource,UnusedResources">0dp</dimen>
|
2020-06-15 20:23:39 +02:00
|
|
|
</resources>
|
