On 07/11/2018 01:00 AM, Jürgen Spitzmüller wrote: > Am Dienstag, den 10.07.2018, 15:04 +0200 schrieb Juergen Spitzmueller: >> commit 0148ef7e6c2f01ce96b91567af5e2b160f9d070a >> Author: Juergen Spitzmueller <sp...@lyx.org> >> Date: Tue Jul 10 15:00:25 2018 +0200 >> >> Use QMessageBox for toggleWarning if possible >> >> Qt 5.2 introduces the possibility to place a checkbox on a >> QMessageBox, >> so we need no longer to use our own crude dialog. > Riki, this could also go to stable.
OK. Riki
