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
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