summaryrefslogtreecommitdiffhomepage
path: root/ui/src/main/res/values
diff options
context:
space:
mode:
authorJason A. Donenfeld <Jason@zx2c4.com>2023-04-13 19:36:20 +0200
committerJason A. Donenfeld <Jason@zx2c4.com>2023-04-13 19:36:20 +0200
commit0b0a5531237c7e7af20302de79d92377f956045b (patch)
treef7e8f172141a8d352d618f81a1106667325f638e /ui/src/main/res/values
parent6d4d2f4ebfc4e4dfa29e9ef0e1703fb1a7a358c3 (diff)
ui: remove unused extra_margin constant
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
Diffstat (limited to 'ui/src/main/res/values')
-rw-r--r--ui/src/main/res/values/dimens.xml1
1 files changed, 0 insertions, 1 deletions
diff --git a/ui/src/main/res/values/dimens.xml b/ui/src/main/res/values/dimens.xml
index ddb4deac..8ea07dfb 100644
--- a/ui/src/main/res/values/dimens.xml
+++ b/ui/src/main/res/values/dimens.xml
@@ -1,7 +1,6 @@
<?xml version="1.0" encoding="utf-8"?>
<resources>
<dimen name="fab_margin">16dp</dimen>
- <dimen name="extra_margin">12dp</dimen>
<dimen name="bottom_sheet_item_height">56dp</dimen>
<dimen name="normal_margin">8dp</dimen>
<dimen name="bottom_sheet_top_padding">8dp</dimen>