diff options
| author | Jules Aguillon | 2022-02-27 01:50:24 +0100 |
|---|---|---|
| committer | Jules Aguillon | 2022-02-27 01:50:24 +0100 |
| commit | 23685ddb3c7a4a9a0c757a12330b4cf45aa0707e (patch) | |
| tree | 86769c1c7d7428021726a11596d51a217d25a40a /res/values/styles.xml | |
| parent | ce5cee42a101f699493aea8311c087020672dc59 (diff) | |
| download | unexpected-keyboard-23685ddb3c7a4a9a0c757a12330b4cf45aa0707e.tar.gz unexpected-keyboard-23685ddb3c7a4a9a0c757a12330b4cf45aa0707e.zip | |
Compute text size relative to key height
Instead of a fixed size that don't work at all for bigger screens.
Other tweaks:
- Use the value-land dimens to vary 'extra_horizontal_margin'
- Move label size to Config, because it can change at runtime (rotation)
- Slightly decrease the size of "long" symbols
Diffstat (limited to 'res/values/styles.xml')
| -rw-r--r-- | res/values/styles.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/res/values/styles.xml b/res/values/styles.xml index bad63e1..159ac73 100644 --- a/res/values/styles.xml +++ b/res/values/styles.xml @@ -3,10 +3,10 @@ <style name="emojiTypeButton"> <item name="android:padding">1px</item> <item name="android:gravity">center</item> - <item name="android:minHeight">@dimen/label_text_size</item> + <item name="android:minHeight">18dp</item> <item name="android:background">?attr/emoji_button_bg</item> <item name="android:textColor">?attr/emoji_key_text</item> - <item name="android:textSize">@dimen/label_text_size</item> + <item name="android:textSize">18dp</item> </style> <style name="emojiKeyButton"> <item name="android:layout_width">0px</item> @@ -15,7 +15,7 @@ <item name="android:padding">0px</item> <item name="android:background">?attr/emoji_key_bg</item> <item name="android:textColor">?attr/emoji_key_text</item> - <item name="android:textSize">@dimen/label_text_size</item> + <item name="android:textSize">18dp</item> </style> <!-- Passed to TextView.setTextAppearance --> <style name="emojiGridButton"> |