Fix compat with older version of Android

Resources.getFloat is new from API 29.
This commit is contained in:
Jules Aguillon 2022-04-06 09:42:57 +02:00
parent aaff8689e3
commit 120c0a9d23

View File

@ -56,8 +56,8 @@ final class Config
// static values // static values
marginTop = res.getDimension(R.dimen.margin_top); marginTop = res.getDimension(R.dimen.margin_top);
keyPadding = res.getDimension(R.dimen.key_padding); keyPadding = res.getDimension(R.dimen.key_padding);
labelTextSize = res.getFloat(R.integer.label_text_size); labelTextSize = Float.valueOf(res.getString(R.integer.label_text_size));
sublabelTextSize = res.getFloat(R.integer.sublabel_text_size); sublabelTextSize = Float.valueOf(res.getString(R.integer.sublabel_text_size));
// default values // default values
layout = -1; layout = -1;
programming_layout = -1; programming_layout = -1;