diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-11-22 13:37:12 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-11-22 13:37:12 +0000 |
| commit | 22fe61b533dbd9055b9f13f43c05e504bbf6b451 (patch) | |
| tree | 9981d475d4b6d595c2c426323428182155053a79 /src/ui/android | |
| parent | 8cc6be01526419ac6c41bc35c3d9c8e11dd875d1 (diff) | |
fix in the GF keyboard for Android
Diffstat (limited to 'src/ui/android')
| -rw-r--r-- | src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java | 8 |
1 files changed, 6 insertions, 2 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 d961b228a..77a3015e5 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java @@ -510,14 +510,18 @@ public class TranslatorInputMethodService extends InputMethodService updateLanguageKeyboard(newSource); mSymbolsKeyboard.updateLanguageKeyLabels(); mSymbolsShiftedKeyboard.updateLanguageKeyLabels(); - mInputView.setKeyboard(mCurKeyboard); + if (mInputView != null) { + mInputView.setKeyboard(mCurKeyboard); + } } void handleChangeTargetLanguage(Language newTarget) { mLanguageKeyboard.updateLanguageKeyLabels(); mSymbolsKeyboard.updateLanguageKeyLabels(); mSymbolsShiftedKeyboard.updateLanguageKeyLabels(); - mInputView.invalidateAllKeys(); + if (mInputView != null) { + mInputView.invalidateAllKeys(); + } } void handleSwitchLanguages() { |
