mirror of
https://gitlab.futo.org/keyboard/latinime.git
synced 2024-09-28 14:54:30 +01:00
7dc190f6a1
This change also makes the keyboard top gutter slightly taller. Bug: 3293748 Change-Id: I574a2fea6440c7ad78f8ef51c87b221838b6df13
40 lines
1.5 KiB
XML
40 lines
1.5 KiB
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<!--
|
|
/*
|
|
**
|
|
** Copyright 2010, The Android Open Source Project
|
|
**
|
|
** Licensed under the Apache License, Version 2.0 (the "License");
|
|
** you may not use this file except in compliance with the License.
|
|
** You may obtain a copy of the License at
|
|
**
|
|
** http://www.apache.org/licenses/LICENSE-2.0
|
|
**
|
|
** Unless required by applicable law or agreed to in writing, software
|
|
** distributed under the License is distributed on an "AS IS" BASIS,
|
|
** WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
** See the License for the specific language governing permissions and
|
|
** limitations under the License.
|
|
*/
|
|
-->
|
|
|
|
<resources>
|
|
<!-- keyboardHeight = key_height*4 + key_bottom_gap*3 -->
|
|
<dimen name="keyboardHeight">58.0mm</dimen>
|
|
<!-- key_height + key_bottom_gap = popup_key_height -->
|
|
<!-- <dimen name="key_height">14.5mm</dimen> -->
|
|
<dimen name="key_bottom_gap">0.0mm</dimen>
|
|
<dimen name="key_horizontal_gap">0.0mm</dimen>
|
|
<dimen name="popup_key_height">13.0mm</dimen>
|
|
<dimen name="keyboard_top_padding">1.1mm</dimen>
|
|
<dimen name="keyboard_bottom_padding">0.0mm</dimen>
|
|
<!-- key_height x 1.0 -->
|
|
<dimen name="key_preview_height">13.0mm</dimen>
|
|
|
|
<dimen name="key_letter_size">28dip</dimen>
|
|
<dimen name="key_label_text_size">20dip</dimen>
|
|
<!-- left or right padding of label alignment -->
|
|
<dimen name="key_label_horizontal_alignment_padding">18dip</dimen>
|
|
<dimen name="candidate_strip_padding">40.0mm</dimen>
|
|
</resources>
|