Le 06/04/2021 à 10:30, Jürgen Spitzmüller a écrit :
Am Dienstag, dem 06.04.2021 um 09:07 +0200 schrieb Pavel Sanda:
Juergen, would you mind if slider and its buttons were toggling
between
visible/invisible rather than enabled/disabled?
It would look imho better when no document is loaded.
Ping.
I prefer the disabled version, but on the other hand, I begin to
develop indifference since every thing I change on this UI triggers a
new bag of requests.
A new preference maybe ? :-P
JMarc
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
