Fix search in epub files
Read use the search case insensitive, and there are not UI to change that,
but the search in the html files was done case sensitive,
then in some cases, the results were different than expected.
Gonzalo Odiard
8 years ago
| 66 | 66 | tags = body.findChildren(True) |
| 67 | 67 | for tag in tags: |
| 68 | 68 | if tag.string is not None: |
| 69 | if tag.string.find(self.obj._text) > -1: | |
| 69 | if tag.string.lower().find(self.obj._text.lower()) > -1: | |
| 70 | 70 | return True |
| 71 | 71 | |
| 72 | 72 | return False |
| 246 | 246 | |
| 247 | 247 | def __init__(self, document, start_page, n_pages, text, |
| 248 | 248 | case_sensitive=False): |
| 249 | """ | |
| 250 | Only case_sensitive=False is implemented | |
| 251 | """ | |
| 249 | 252 | GObject.GObject.__init__(self) |
| 250 | 253 | |
| 251 | 254 | self._finished = False |