mirror of
https://github.com/Julow/Unexpected-Keyboard.git
synced 2024-12-01 11:43:17 +01:00
1cfecbdf48
Use xmllint. Re-indent Java files using spaces.
11 lines
380 B
XML
11 lines
380 B
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<resources>
|
|
<dimen name="horizontal_margin">12dp</dimen>
|
|
<dimen name="margin_bottom">3dp</dimen>
|
|
<dimen name="key_padding">3dp</dimen>
|
|
<dimen name="key_height">36dp</dimen>
|
|
<dimen name="label_text_size">18dp</dimen>
|
|
<dimen name="sublabel_text_size">11dp</dimen>
|
|
<dimen name="emoji_type_button_height">48dp</dimen>
|
|
</resources>
|