Juergen Spitzmueller b6e4ba2548 Reimplement error-next (#2775)
This is often more convenient for checking errors than the dialog.
At least if the errors are obvious.

I re-introduce the binding this had up to LyX 1.4.
2025-01-01 15:45:01 +01:00
..
2024-01-11 11:07:41 -05:00
2020-12-29 12:03:46 -05:00
2020-12-29 12:03:46 -05:00
2025-01-01 15:45:01 +01:00
2020-12-29 12:03:46 -05:00
2018-08-30 21:56:26 +02:00
2023-10-24 13:48:57 +02:00