Le 05/09/2022 à 15:33, Jürgen Spitzmüller a écrit :
Am Montag, dem 05.09.2022 um 14:58 +0200 schrieb Jean-Marc Lasgouttes:I think I went with the statusbar variant for space reasons.Would you advise using this everywhere?Yes.
Done. Comments welcome. JMarc -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel