Kornel Benko 636bb6c2d9 FindAdv: Polishing search with regex containing '.'
Also added missing math env alignat
Modified handling of longtable/tabular
Added a routine to count for valid chars. This is needed
for detection of word boundaries.

Due to detection conflicts
	regex '.*' vs match of word-boundaries in MatchStringAdv::operator()
we need to use '\b' in regex explicitly. E.g. '\b.*\b'

The backward search works, but
1.) only in current paragraph (this is the same as before)
2.) only in the same language environment.
2018-11-12 12:28:31 +01:00
..
2018-11-04 14:02:42 -10:00
2018-11-09 11:47:51 +01:00
2018-11-10 15:50:51 +01:00
2017-07-03 13:46:30 -04:00
2018-08-14 17:05:40 +02:00
2018-10-09 10:42:38 +02:00
2018-11-12 11:41:54 +01:00
2018-02-18 09:19:03 +01:00
2016-05-29 17:55:45 -04:00
2018-02-23 23:17:57 -05:00
2018-02-23 23:38:31 -05:00
2017-07-03 13:46:30 -04:00
2017-10-16 10:12:21 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-05-05 15:26:58 +02:00
2015-11-20 22:43:45 +01:00
2017-07-03 13:46:30 -04:00
2015-10-10 21:38:17 +02:00
2017-07-03 13:46:30 -04:00
2018-01-30 12:11:22 +01:00
2017-03-01 16:34:01 +01:00
2018-02-24 00:30:24 -05:00
2017-07-03 13:46:30 -04:00
2018-05-05 12:02:10 -04:00
2018-05-07 10:15:23 +02:00
2018-05-06 19:48:21 +02:00
2018-07-04 19:52:13 +02:00
2018-08-20 09:25:22 +02:00
2018-04-20 23:37:58 -04:00
2017-07-03 13:46:30 -04:00
2018-02-23 23:47:05 -05:00
2017-07-03 13:46:30 -04:00
2018-05-28 12:33:17 +02:00
2018-05-28 12:33:17 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-08-05 10:01:36 +02:00
2018-08-05 10:01:36 +02:00
2018-10-09 10:42:38 +02:00
2018-07-15 20:56:55 +02:00
2018-08-17 10:22:32 +02:00
2017-07-03 13:46:30 -04:00
2018-01-28 23:37:20 -05:00
2017-07-03 13:46:30 -04:00
2018-09-19 10:19:19 +02:00
2018-10-07 14:56:55 +02:00
2018-10-07 14:56:55 +02:00
2016-06-26 14:26:35 +02:00
2017-07-03 13:46:30 -04:00
2015-12-05 19:33:24 +00:00
2018-10-30 12:33:35 +01:00
2017-11-11 13:24:08 +01:00
2017-07-03 13:46:30 -04:00
2018-09-20 11:58:08 +02:00
2018-09-20 11:58:08 +02:00
2018-08-07 17:56:07 +02:00
2017-08-03 13:07:41 +02:00
2016-07-31 18:34:33 +01:00
2017-07-03 13:46:30 -04:00
2016-10-23 00:25:05 +02:00
2018-09-20 11:11:44 +02:00
2018-07-22 23:20:21 +02:00
2018-05-27 09:57:22 +02:00
2018-10-30 12:33:35 +01:00
2017-01-09 23:15:16 +01:00
2017-01-09 23:15:16 +01:00
2018-02-24 00:28:37 -05:00
2015-10-10 21:04:28 +02:00
2018-08-30 14:17:53 +02:00
2018-05-02 12:38:40 +02:00
2017-07-03 13:46:30 -04:00
2018-10-30 12:33:35 +01:00
2016-12-31 15:29:43 +01:00