From c56ad425f671d07e505cf0e63985abf8499635cc Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Sun, 5 Mar 2023 20:08:56 +0100 Subject: [PATCH] Remove the 'edgekeys' attribute --- res/xml/bone.xml | 4 ++-- res/xml/bottom_row.xml | 4 ++-- res/xml/greekmath.xml | 2 +- res/xml/neo2.xml | 4 ++-- res/xml/numeric.xml | 2 +- res/xml/pin.xml | 2 +- srcs/juloo.keyboard2/KeyboardData.java | 33 -------------------------- 7 files changed, 9 insertions(+), 42 deletions(-) diff --git a/res/xml/bone.xml b/res/xml/bone.xml index b6488ee..692ccb1 100644 --- a/res/xml/bone.xml +++ b/res/xml/bone.xml @@ -38,8 +38,8 @@ - - + + diff --git a/res/xml/bottom_row.xml b/res/xml/bottom_row.xml index 6ad3d84..93ce287 100644 --- a/res/xml/bottom_row.xml +++ b/res/xml/bottom_row.xml @@ -2,7 +2,7 @@ - - + + diff --git a/res/xml/greekmath.xml b/res/xml/greekmath.xml index dd3ba3a..d6a98d9 100644 --- a/res/xml/greekmath.xml +++ b/res/xml/greekmath.xml @@ -41,7 +41,7 @@ - + diff --git a/res/xml/neo2.xml b/res/xml/neo2.xml index 5bffb3c..c409fec 100644 --- a/res/xml/neo2.xml +++ b/res/xml/neo2.xml @@ -41,8 +41,8 @@ - - + + diff --git a/res/xml/numeric.xml b/res/xml/numeric.xml index b64331e..8824773 100644 --- a/res/xml/numeric.xml +++ b/res/xml/numeric.xml @@ -13,7 +13,7 @@ - + diff --git a/res/xml/pin.xml b/res/xml/pin.xml index 9a8f75d..8456a72 100644 --- a/res/xml/pin.xml +++ b/res/xml/pin.xml @@ -21,7 +21,7 @@ - + diff --git a/srcs/juloo.keyboard2/KeyboardData.java b/srcs/juloo.keyboard2/KeyboardData.java index aa215db..945e6ee 100644 --- a/srcs/juloo.keyboard2/KeyboardData.java +++ b/srcs/juloo.keyboard2/KeyboardData.java @@ -319,13 +319,10 @@ class KeyboardData ks[8] = Corner.parse_of_attr(parser, "key8"); float width = attribute_float(parser, "width", 1f); float shift = attribute_float(parser, "shift", 0.f); - boolean edgekeys = attribute_bool(parser, "edgekeys", false); boolean slider = attribute_bool(parser, "slider", false); String indication = parser.getAttributeValue(null, "indication"); while (parser.next() != XmlPullParser.END_TAG) continue ; - if (edgekeys) - ks = rearange_edgekeys(ks); return new Key(ks, width, shift, slider, indication); } @@ -375,36 +372,6 @@ class KeyboardData return false; return kv.equals(keys[i].kv); } - - /** Transform the key index for edgekeys. - * This option is no longer useful but is used by some layouts. - * 1 7 2 5 1 7 - * 5 0 6 → 3 0 2 - * 3 8 4 8 4 6 - */ - static Corner[] rearange_edgekeys(Corner[] ks) - { - Corner[] edge_ks = new Corner[ks.length]; - for (int i = 0; i < ks.length; i++) - edge_ks[edgekey_index(i)] = ks[i]; - return edge_ks; - } - - static int edgekey_index(int i) - { - switch (i) - { - case 5: return 1; - case 1: return 7; - case 7: return 2; - case 3: return 5; - case 2: return 6; - case 8: return 3; - case 4: return 8; - case 6: return 4; - default: return i; - } - } } public static final class Corner