diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-02-18 13:09:56 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-02-18 13:09:56 +0000 |
| commit | 1ec7065fb319314f183fb6bb244aacab1c0a67cd (patch) | |
| tree | 69751e97df593c2f97ad0a0215f1af316433fe61 /src/ui | |
| parent | 5b97e9637bf10f899552a513394cf8637063ad74 (diff) | |
bugfix in the android ui
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/android/src/org/grammaticalframework/ui/android/Translator.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java index fb897aae4..e6f64146f 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java @@ -162,13 +162,13 @@ public class Translator { public void setTargetLanguage(Language language) { setPrefLang(TARGET_LANG_KEY, language); + if (mTargetLoader.getLanguage() == language) + return; if (mSourceLoader.getLanguage() == language) { cacheOrUnloadLanguage(mTargetLoader); mTargetLoader = mSourceLoader; return; } - if (mTargetLoader.getLanguage() == language) - return; if (mOtherLoader != null && mOtherLoader.getLanguage() == language) { ConcrLoader tmp = mTargetLoader; |
