mirror of
https://github.com/Julow/Unexpected-Keyboard.git
synced 2025-01-23 13:58:51 +01:00
Fix inconsistent initial spacing between keys
Settings defined with `get_dip_pref` had a wrong default value on first launch. The "right" default value was used after the shared preferences are populated.
This commit is contained in:
parent
ab05d8314b
commit
2dc0ce066d
@ -295,7 +295,7 @@ final class Config
|
|||||||
try { value = _prefs.getInt(pref_name, -1); }
|
try { value = _prefs.getInt(pref_name, -1); }
|
||||||
catch (Exception e) { value = _prefs.getFloat(pref_name, -1f); }
|
catch (Exception e) { value = _prefs.getFloat(pref_name, -1f); }
|
||||||
if (value < 0f)
|
if (value < 0f)
|
||||||
return (def);
|
value = def;
|
||||||
return (TypedValue.applyDimension(TypedValue.COMPLEX_UNIT_DIP, value, dm));
|
return (TypedValue.applyDimension(TypedValue.COMPLEX_UNIT_DIP, value, dm));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user