Enrico Forestieri
7545698380
Fix bug #12181
...
The context menu for InsetMathRef is now usable.
InsetMathRef still misses support for RefStyle and thus the
corresponding entries are omitted from the menu. But this would
be a different bug.
2021-03-06 23:36:58 +01:00
..
2020-06-25 23:31:42 +02:00
2016-06-16 20:39:32 +02:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-03-05 13:06:10 +01:00
2021-02-28 22:32:11 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-02-12 23:16:03 +01:00
2021-01-02 19:52:23 +01:00
2021-01-03 19:29:04 -05:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-02-23 21:48:54 +01:00
2021-01-02 19:52:23 +01:00
2021-01-06 02:07:25 +01:00
2021-01-06 11:57:22 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-06 14:08:00 +01:00
2021-01-06 14:08:00 +01:00
2021-02-09 16:54:21 +01:00
2021-01-02 19:52:23 +01:00
2021-02-23 17:34:19 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2017-01-11 17:35:34 +01:00
2020-10-03 12:43:48 +02:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-07 00:57:36 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-02-28 14:56:42 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-03-06 23:36:58 +01:00
2021-03-06 23:36:58 +01:00
2021-02-27 14:49:55 +01:00
2021-01-02 19:52:23 +01:00
2021-02-06 20:07:31 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-05 18:22:09 -05:00
2021-03-05 21:21:41 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2021-01-02 19:52:23 +01:00
2020-11-06 21:33:56 +02:00
2017-04-20 23:49:02 +02:00
2020-10-13 09:57:36 +03:00
2020-10-25 19:58:57 +02:00
2019-06-02 21:12:12 +02:00
2019-06-14 17:05:49 +02:00
2016-11-16 15:21:52 +01:00
2020-10-05 09:37:15 +02:00
2021-02-08 13:13:21 +01:00
2021-02-08 13:13:21 +01:00
2021-01-15 11:36:14 +01:00
2021-01-02 19:52:23 +01:00
2021-01-06 14:08:00 +01:00
2019-04-15 20:56:52 +02:00
2020-06-25 23:31:42 +02:00
2021-01-05 18:17:53 -05:00
2020-07-17 22:25:18 +02:00
2020-12-03 00:38:27 +02:00
2020-12-03 00:38:27 +02:00
2021-02-06 20:07:31 +01:00
2021-02-06 20:07:31 +01:00
2021-02-27 21:40:28 +01:00
2021-02-02 19:39:52 +01:00
2020-06-25 23:31:42 +02:00
2020-11-01 22:23:44 +02:00