Jean Chalard 07a8406bc1 Demote skipped characters matched words with respect to length.
Words that matched user input with skipped characters used to be demoted
in BinaryDictionary by a constant factor and not at all in those dictionaries
implemented in java code. To represent the fact that the impact of a skipped
character gets larger as the word is shorter, this change will implement a
demotion that gets larger as the typed word is shorter. The demotion rate
is (n - 2) / (n - 1) where n is the length of the typed word for n >= 2.
It implements it for both BinaryDictionary and java dictionaries.

Bug: 3340731
Change-Id: I3a18be80a9708981d56a950dc25fe08f018b5b89
2011-03-05 13:20:19 +09:00
2011-02-25 14:36:30 +09:00
2010-12-14 13:05:08 +09:00
Description
A mirror for futokb (https://gitlab.futo.org/keyboard)
681 MiB
Languages
Java 43.9%
C++ 33.2%
C 11.7%
Kotlin 10.6%
Makefile 0.2%
Other 0.2%