diff options
| author | Jules Aguillon | 2021-12-30 00:52:50 +0100 |
|---|---|---|
| committer | Jules Aguillon | 2021-12-30 00:52:50 +0100 |
| commit | 29367f127d8927b063c1f869646d489df83079be (patch) | |
| tree | 9baf3cbee781d4272a6e76c77cf9b6a7dfc47dca /srcs/juloo.keyboard2/Config.java | |
| parent | 093a00c572a29d292bc6bbb09559611cb61e1331 (diff) | |
| download | unexpected-keyboard-29367f127d8927b063c1f869646d489df83079be.tar.gz unexpected-keyboard-29367f127d8927b063c1f869646d489df83079be.zip | |
Move the border radius from Config to Theme
Also, draw activated keys with a round border too.
Diffstat (limited to 'srcs/juloo.keyboard2/Config.java')
| -rw-r--r-- | srcs/juloo.keyboard2/Config.java | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index fdac104..5f59241 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -14,7 +14,6 @@ final class Config public final float keyPadding; public final float keyVerticalInterval; public final float keyHorizontalInterval; - public final float keyRound; // From preferences public int layout; // Or '-1' for the system defaults @@ -45,7 +44,6 @@ final class Config keyPadding = res.getDimension(R.dimen.key_padding); keyVerticalInterval = res.getDimension(R.dimen.key_vertical_interval); keyHorizontalInterval = res.getDimension(R.dimen.key_horizontal_interval); - keyRound = res.getDimension(R.dimen.key_round); // default values layout = -1; subValueDist = 10f; |