Jean-Marc Lasgouttes 2203078111 Fix flicker due to changing metrics while selecting with the mouse
This patch has been backported from the lyx-unstable branch
https://gitlab.com/gadmm/lyx-unstable/-/commit/9d7ed42389ba

Actual author is Guillaume Munch.

Fixes bug #8951.
2022-07-25 23:04:08 +02:00
..
2020-11-01 22:24:48 +02:00
2020-12-05 17:17:02 -05:00
2020-10-25 09:28:34 +02:00
2020-10-25 09:28:34 +02:00
2022-03-05 13:45:27 +01:00
2020-12-06 18:26:41 +02:00
2020-10-13 09:57:36 +03:00
2020-12-05 17:17:02 -05:00
2020-10-19 17:33:51 +03:00
2020-10-19 17:33:51 +03:00
2020-10-19 17:33:51 +03:00
2020-12-05 17:17:02 -05:00
2020-10-19 17:33:51 +03:00
2020-11-20 15:57:26 +02:00
2020-10-29 15:52:38 +02:00
2020-11-30 13:04:58 +02:00
2020-12-05 17:17:02 -05:00
2022-03-06 23:01:56 +01:00
2020-10-05 14:55:00 +02:00
2020-11-01 22:23:26 +02:00
2022-02-27 14:53:01 +01:00
2020-11-26 11:09:17 +01:00
2020-07-28 18:01:38 +02:00
2020-11-12 14:22:00 +02:00
2021-01-10 00:43:01 -05:00
2020-12-01 00:46:21 +02:00
2020-12-05 17:17:02 -05:00
2020-12-05 17:17:02 -05:00
2020-11-21 20:32:16 +02:00
2020-11-30 13:04:54 +02:00
2020-10-23 15:00:23 +02:00
2020-11-30 11:32:35 +01:00
2020-11-01 22:25:08 +02:00
2020-11-01 22:25:08 +02:00
2022-02-15 12:50:25 +01:00
2020-11-29 15:27:28 +02:00
2020-12-05 17:17:02 -05:00
2022-04-17 00:49:35 +02:00
2020-11-21 20:32:16 +02:00
2022-06-06 13:18:08 +02:00
2020-12-19 18:29:10 +01:00
2020-12-18 14:30:21 -05:00
2021-12-07 17:04:47 +01:00
2020-12-05 17:17:02 -05:00
2020-12-05 17:17:02 -05:00
2020-12-05 17:17:02 -05:00
2020-12-05 17:17:02 -05:00
2020-12-05 17:17:02 -05:00
2020-12-05 17:17:02 -05:00
2020-12-01 00:46:21 +02:00
2021-12-07 17:04:46 +01:00
2020-11-01 22:23:26 +02:00
2021-10-15 18:13:09 +02:00
2022-06-09 21:27:43 +02:00
2020-12-20 12:42:04 +01:00
2022-05-17 18:45:31 +02:00
2022-05-17 18:45:31 +02:00
2021-01-14 01:15:19 -05:00
2020-11-01 22:23:26 +02:00
2021-10-21 16:01:57 +02:00
2021-10-05 17:10:51 +03:00