Jean-Marc Lasgouttes 4c6dce1b0b Remove useless message (and avoid endless loop)
When changing the document class, the message "Converting document to
new document class..." is shown in minibuffer. This message leads to
weird GUI update interactions with the FindAndReplace panel, and
ultimately infinite loops. It would only be useful if the conversion
took a long time.

See this thread for rreference:
https://marc.info/?l=lyx-devel&m=165648365808777&w=2

Therefore, just remove it.
2022-06-30 12:30:01 +02:00
..
2020-11-01 22:24:48 +02:00
2022-06-13 16:12:16 +02:00
2022-06-28 10:26:42 +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-08 16:16:50 +01: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-01-08 23:03:50 +01: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
2022-05-31 17:04:20 +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
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