Jean-Marc Lasgouttes 048f9ee08e Rewrite the code that sets caret height in mathed
Instead of remembering the caret ascent and descent for the cell that contains the cursor, the new code remembers caret dimension for each MathRow object. This makes the code much less fragile (ans slightly smaller).

This fixes caret size issues when the Update::SinglePar flag is active.

Fixes bug #11541.
2019-04-16 15:58:51 +02:00
..
2019-04-15 11:55:46 +02:00
2019-04-15 11:55:46 +02:00
2019-03-25 16:46:03 +01:00
2017-07-03 13:46:30 -04:00
2018-08-14 17:05:40 +02:00
2019-04-03 17:58:20 +02:00
2018-12-06 10:30:58 +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
2019-04-16 14:12:34 +02:00
2017-07-03 13:46:30 -04:00
2015-10-10 21:38:17 +02:00
2018-12-17 15:33:47 +01: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-12-26 15:46:14 +01:00
2018-12-14 11:41:16 +01:00
2019-03-26 13:43:33 +01: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
2018-08-05 10:01:36 +02:00
2018-08-05 10:01:36 +02:00
2018-07-15 20:56:55 +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
2019-03-21 12:58:16 +01:00
2019-03-08 16:48:49 +01: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
2017-11-11 13:24:08 +01:00
2017-07-03 13:46:30 -04:00
2019-02-18 15:47:27 +01: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-12-06 10:30:58 +01:00
2019-03-26 17:42:56 +01:00
2019-03-26 17:42:56 +01:00
2019-03-12 16:03:22 +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
2019-04-16 14:12:34 +02:00
2019-04-16 14:12:34 +02:00
2018-05-02 12:38:40 +02:00
2017-07-03 13:46:30 -04:00
2019-04-07 11:05:42 +02:00
2016-12-31 15:29:43 +01:00