In the color pane of preferences: If I select Default, or Monochrome, or Solarized, by clicking, the colors on the right side update, as I would expect.
However, if I use the arrow keys to move among Default, Monochrome, or Solarized, it does not appear that the colors update. I would expect both ways of selecting to give the same result. Scott
signature.asc
Description: PGP signature
-- lyx-devel mailing list lyx-devel@lists.lyx.org https://lists.lyx.org/mailman/listinfo/lyx-devel
