rename more keys to popup keys

user-facing name is already popup keys, now internal rename is done to avoid confusion and for consistency
This commit is contained in:
Helium314 2024-02-05 09:33:06 +01:00
parent e708c026bc
commit 26809444bd
237 changed files with 1291 additions and 1305 deletions

View file

@ -66,7 +66,7 @@ public class ProximityInfo {
mSortedKeys = sortedKeys;
mGridNeighbors = new List[mGridSize];
if (minWidth == 0 || height == 0) {
// No proximity required. Keyboard might be more keys keyboard.
// No proximity required. Keyboard might be popup keys keyboard.
return;
}
computeNearestNeighbors();