From 29367f127d8927b063c1f869646d489df83079be Mon Sep 17 00:00:00 2001
From: Jules Aguillon
Date: Thu, 30 Dec 2021 00:52:50 +0100
Subject: Move the border radius from Config to Theme

Also, draw activated keys with a round border too.
---
 srcs/juloo.keyboard2/Config.java | 2 --
 1 file changed, 2 deletions(-)

(limited to 'srcs/juloo.keyboard2/Config.java')

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;
-- 
cgit v1.2.3