not available and wait to be called again. Fixes occasional assertion
failure when lock held for even five seconds. Screen jerks around a
bit but otherwise seems to work well.
resusing to draw when don't have font info. Until other bugs got
fixed this must meant lots of all-white boards, and it's not strictly
necessary, but is an improvement.
smallest and human largest. Sorting works. Still need to fix when
new dicts get assigned after lang change -- too often all players wind
up inheriting the default.
that's been crashing when called from performRestoreInstanceState.
The hope is that this will prevent the crash by forcing the dialog to
always be recreated. But it may be that I just need to test for
m_missingDictNames being null....
to jni, and don't bother to assign a per-player dict when it'd be the
same as the game dict. Allows many games to have just the one, and
also fixes problems opening games saved with older versions. Duh.
DictLangCache where they can be updated when a dict is added via the
"download more..." item (inclusion of which is a hack.) Now as soon
as you return to the spinner after downloading you'll have the new
dict or lang to choose.
player: remove dictName from CurGameInfo and GameSummary classes and
from DB; deal with missing dicts (the warning, fetching and replacing)
when opening games and deleting dicts. Etc. Trivial testing passes.
Robots default to BasEnglish dict and humans to CollegeEng. Add new
per-game default for robot dict. Still need to deal with language
changes and non-English case in general.
player. Works for gtk client. Compiles for Android but there's no UI
yet to specify more than one dict. Management of dupicate dicts
without duplicating memory -- refcounting -- will be up to the
platforms.
value as previous timer, e.g. when you're tapping on players who
haven't had a turn yet. Note that without the test to prevent drawing
the same timer hints are broken -- device is too busy to make progress.
