diff options
| author | iNPUTmice <daniel@gultsch.de> | 2014-09-08 23:58:37 +0200 |
|---|---|---|
| committer | iNPUTmice <daniel@gultsch.de> | 2014-09-08 23:58:37 +0200 |
| commit | d92e8381db906c20ceb7f91914d63d514a873c8a (patch) | |
| tree | 94367a08152e5704eeb4b6b51747919669b46a55 /res/values/attrs.xml | |
| parent | d9c4637b31c79095d7acff43fee03daa83859ea3 (diff) | |
setting to increase font size. fixed #420
Diffstat (limited to '')
| -rw-r--r-- | res/values/attrs.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/res/values/attrs.xml b/res/values/attrs.xml new file mode 100644 index 00000000..793b5604 --- /dev/null +++ b/res/values/attrs.xml @@ -0,0 +1,6 @@ +<?xml version="1.0" encoding="utf-8"?> +<resources> + <attr name="TextSizeInfo" format="dimension"/> + <attr name="TextSizeBody" format="dimension"/> + <attr name="TextSizeHeadline" format="dimension"/> +</resources> |