Am Di., 9. März 2021 um 14:48 Uhr schrieb Jean-Marc Lasgouttes < lasgout...@lyx.org>:
> The slider is still not aligned, but the status bar is taller :( > OK, reverted. Jürgen
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
