Jean Chalard e234aed428 Refresh editor info when the text field attributes changes.
For some reason we get a "restarting" flag from the browser
some times when the input field is different. The attributes
however are not the same, so we can detect that and reload
appropriately.

Bug: 6946793
Change-Id: I6762dae6f41db690497b026a707d9cc89c840b34
2012-08-15 18:32:59 +09:00
2012-08-14 12:07:28 -07: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%