Sure, I am using

\set_color "buttonbg" "#dcd2c8"

This color makes the buttons a lot easier to locate, and is less
eye-catching than the orignal buttons. Because there is no way to
reach a consensus, I have made this the default.

Bo

Reply via email to