| 1231 | self._translation_finish() |
| 1232 | |
| 1233 | def _appeared_before(self): |
| 1234 | if not self.provider["trans"]: |
| 1235 | return |
| 1236 | |
| 1237 | src_language = self.src_lang_selector.selected |
| 1238 | dest_language = self.dest_lang_selector.selected |
| 1239 | src_text = self.src_buffer.get_text(self.src_buffer.get_start_iter(), self.src_buffer.get_end_iter(), True) |
| 1240 | translation = self.current_translation |
| 1241 | if ( |
| 1242 | len(self.provider["trans"].history) >= self.current_history + 1 |
| 1243 | and translation |
| 1244 | and (translation.original.src == src_language or "auto") |
| 1245 | and translation.original.dest == dest_language |
| 1246 | and translation.original.text == src_text |
| 1247 | ): |
| 1248 | return True |
| 1249 | return False |
| 1250 | |
| 1251 | def _translation_finish(self): |
| 1252 | self.trans_spinner.hide() |