Eric House aec03fc572 When a game's consumated and guest discovers it isn't using the same ... dict, give chance to switch, and to download if required. Because of the way the JNI thread works, and JNI's requirement in general that env instances match up (e.g. dicts must be destroyed in the same thread that creates them), substituting into a live game is too hard. So the game's saved with its new dict and then reloaded.		2012-10-24 07:17:21 -07:00
..
.gitignore	gitignore additions	2010-06-05 07:50:09 -07:00
app_name.xml	up version strings for pending new release	2012-09-17 06:36:58 -07:00
common_rsrc.xml	make dict storage location a default set in preference rather than	2012-10-22 07:06:12 -07:00
strings.xml	When a game's consumated and guest discovers it isn't using the same	2012-10-24 07:17:21 -07:00
styles.xml	make buttons a bit wider since the bar scrolls now, and rearrange.	2011-11-04 17:14:37 -07:00