Jean Chalard 3f0858eb2b Fix a bug where no URL means refresh never ends ...

This patch does two things:
- If there is no URL to download new data from, then the
Refresh button is not shown.
- Even if for some reason refresh starts for a client for
which there is no URL, loading correctly finishes.

Bug: 9388602
Change-Id: I3fd9214da50faa4b59d0bd3e775293dd34f07547

2013-07-01 14:47:30 +09:00

dictionaries

Update dictionaries

2013-06-28 14:54:51 +09:00

java

Fix a bug where no URL means refresh never ends

2013-07-01 14:47:30 +09:00

native

Introduce patriciaTrie to abstract traversing version 2 dictionary.

2013-06-28 19:47:00 +09:00

tests

Ignore spans that are not the right size.

2013-06-26 23:02:50 +09:00

tools

Move util classes to the latin/utils directory

2013-06-24 17:04:40 +09:00

Android.mk

Build native subdirectories first

2013-01-28 20:07:31 -08:00

CleanSpec.mk

Pass the touch position correction data to native.

2011-09-29 17:00:49 +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%