Tim van der Meij
a859f0eafd
Remove unnecessary startedTextExtraction
member variable from the find controller
...
The find controller already has quite a lot of state to maintain. We can
avoid keeping track of this member variable because when the find
controller is reset, so is the extract text promises array. Therefore,
we can just check if that array contains items or not to determine if
text extraction already started.
Moreover, there is no need to reset the `pageContents` array since the
`reset` method already takes care of that.
2018-09-11 21:19:55 +02:00
..
2018-05-14 23:10:32 -04:00
2018-07-23 14:10:13 +02:00
2015-01-26 16:44:45 +01:00
2018-04-04 00:25:12 +02:00
2018-02-13 14:28:38 +01:00
2018-08-30 17:28:12 +02:00
2018-09-10 11:59:29 +02:00
2018-08-20 16:01:31 +02:00
2015-08-14 18:59:55 +02:00
2018-09-03 09:52:36 +02:00
2011-07-05 10:53:57 -07:00
2018-07-04 09:16:28 +02:00
2018-08-30 17:28:12 +02:00
2018-08-30 17:28:12 +02:00
2018-07-04 09:16:28 +02:00
2017-10-22 16:13:14 +02:00
2018-09-10 11:59:29 +02:00
2018-09-03 09:52:36 +02:00
2018-09-03 09:52:36 +02:00
2017-11-05 16:53:47 +01:00
2018-09-03 09:52:36 +02:00
2018-09-03 09:52:36 +02:00
2017-07-03 11:22:49 +02:00
2018-03-01 18:11:17 +01:00
2018-07-08 10:55:56 +02:00
2018-07-26 17:30:46 +02:00
2018-09-10 16:02:44 +02:00
2018-09-11 21:19:55 +02:00
2018-09-10 11:59:29 +02:00
2018-07-09 13:17:41 +02:00
2018-07-09 13:17:41 +02:00
2018-03-01 18:11:16 +01:00
2018-02-13 16:56:56 +01:00
2018-08-30 10:39:32 +02:00
2018-07-04 09:16:28 +02:00
2017-10-22 16:23:38 +02:00
2017-12-02 19:05:17 +01:00
2017-10-11 18:17:28 +02:00
2018-06-30 12:36:56 +02:00
2018-02-09 14:43:11 +01:00
2018-07-09 13:17:41 +02:00
2018-03-01 18:13:27 +01:00
2018-05-14 23:10:32 -04:00
2018-06-30 12:36:56 +02:00
2017-11-05 16:53:47 +01:00
2018-09-03 09:52:36 +02:00
2018-07-08 12:11:03 +02:00
2018-04-04 00:25:12 +02:00
2017-06-29 23:41:25 +02:00
2018-08-30 10:39:32 +02:00
2018-09-03 09:52:36 +02:00
2018-09-03 09:52:36 +02:00
2018-06-14 12:25:28 +02:00
2017-05-31 09:22:25 -05:00
2018-03-21 18:21:46 +01:00
2017-05-31 09:22:25 -05:00
2016-02-14 13:23:34 +01:00
2017-05-31 09:22:25 -05:00
2018-07-08 12:08:48 +02:00
2018-09-10 11:59:29 +02:00
2018-09-10 11:59:30 +02:00