diff options
| author | Fup Duck <fupduck@sacknagel.com> | 2018-01-13 17:29:19 +0100 |
|---|---|---|
| committer | Fup Duck <fupduck@sacknagel.com> | 2018-01-13 17:29:19 +0100 |
| commit | d9d7e4edefb4ea4337e891125ab569db6a4424a5 (patch) | |
| tree | 97834b9d8e4112953a424f1ec5510a87b1354935 /app/src/main/res/values | |
| parent | bfc1f97475f7d29e2c8a51ef80b0020ed92ce092 (diff) | |
add padding to f_log
Diffstat (limited to 'app/src/main/res/values')
| -rw-r--r-- | app/src/main/res/values/dimens.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/app/src/main/res/values/dimens.xml b/app/src/main/res/values/dimens.xml index b9a3890f..3e06cbe2 100644 --- a/app/src/main/res/values/dimens.xml +++ b/app/src/main/res/values/dimens.xml @@ -16,7 +16,9 @@ <dimen name="round_button_diameter">56dp</dimen> <dimen name="switchbar_pad">16dp</dimen> <dimen name="vpn_setting_padding">16dp</dimen> + <!-- Default screen margins, per the Android Design guidelines. --> + <dimen name="activity_margin">16dp</dimen> <dimen name="activity_horizontal_margin">16dp</dimen> <dimen name="activity_vertical_margin">16dp</dimen> |