notify BoardView when prefs change

This commit is contained in:
eehouse 2010-02-28 16:54:22 +00:00
parent da46fe3163
commit 4e2ebebcfd
3 changed files with 5 additions and 2 deletions

View file

@ -269,6 +269,7 @@ public class BoardActivity extends Activity implements UtilCtxt {
super.onWindowFocusChanged( hasFocus );
if ( hasFocus ) {
if ( null == m_cp ) {
m_view.prefsChanged();
m_jniThread.handle( JNIThread.JNICmd.CMD_PREFS_CHANGE );
}
// onContentChanged();

View file

@ -279,6 +279,9 @@ public class JNIThread extends Thread {
break;
case CMD_PREFS_CHANGE:
// need to inval all because some of prefs,
// e.g. colors, aren't known by common code so
// board_prefsChanged's return value isn't enough.
XwJNI.board_invalAll( m_jniGamePtr );
XwJNI.board_prefsChanged( m_jniGamePtr, CommonPrefs.get() );
draw = true;

View file

@ -2,7 +2,6 @@
package org.eehouse.android.xw4.jni;
public interface SyncedDraw {
void doJNIDraw();
void prefsChanged();
}