diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-11-28 20:00:17 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-11-28 20:00:17 +0000 |
| commit | ab0cd56b4055e9a2d8b8e9918765a41d5eaa5584 (patch) | |
| tree | 731be2f62503b881451fe6555455ffc54ef01fc2 | |
| parent | 123d2098dd7be3eb0b89a16065bbc71413fb1c48 (diff) | |
bugfix in the android app
| -rw-r--r-- | src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java b/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java index 77a3015e5..f47da5c24 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java @@ -529,7 +529,8 @@ public class TranslatorInputMethodService extends InputMethodService updateLanguageKeyboard(newSource); mSymbolsKeyboard.updateLanguageKeyLabels(); mSymbolsShiftedKeyboard.updateLanguageKeyLabels(); - mInputView.setKeyboard(mCurKeyboard); + if (mInputView != null) + mInputView.setKeyboard(mCurKeyboard); } private void updateLanguageKeyboard(Language language) { |