Jean-Marc Lasgouttes 2e633645ed Make CursorData::checkNewWordPosition() more robust
Before accessing things like new_word_.lastpos(), it is better to make
sure that new_word_ points to something that exists. Therefore, the
call to fixIfBroken() is moved in first position.

Other changes: inTexted() is replaced by a more general test that
current inset has not changed; test idx() in addition to pit().
2018-01-31 16:26:45 +01:00
..
2018-01-28 23:37:20 -05:00
2018-01-12 12:27:03 +01:00
2017-07-03 13:46:30 -04:00
2018-01-28 23:37:20 -05:00
2018-01-28 23:37:20 -05:00
2017-08-03 13:07:41 +02:00
2018-01-28 23:37:20 -05:00
2016-05-29 17:55:45 -04:00
2016-05-29 17:55:45 -04: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
2017-08-03 13:07:41 +02:00
2015-11-20 22:43:45 +01:00
2017-07-03 13:46:30 -04: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-07-03 13:46:30 -04:00
2017-03-01 16:34:01 +01:00
2017-07-03 13:46:30 -04:00
2018-01-03 13:20:05 +01:00
2017-06-03 17:26:05 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2017-12-29 10:36:03 +01:00
2017-12-29 10:36:03 +01: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
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2017-09-09 08:56:04 +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-01-29 08:37:25 +01:00
2017-11-11 13:24:08 +01:00
2017-07-03 13:46:30 -04:00
2018-01-29 13:50:09 +01: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
2017-10-16 10:12:21 +02:00
2018-01-20 10:39:18 +01:00
2017-10-25 16:20:27 +02:00
2017-01-09 23:15:16 +01:00
2017-01-09 23:15:16 +01:00
2015-10-10 21:04:28 +02:00
2017-07-03 13:46:30 -04:00
2017-06-07 00:55:23 +02:00
2016-12-31 15:29:43 +01:00