On Sat, Aug 17, 2019 at 4:12 PM Mike Kupfer <mkupfer@alum.berkeley.edu> wrote: ... > IIRC, GTK3 lets the user (theme) specify the color to be used for > selection. So something else you could experiment with (using > emacs-gtk) is different themes. Thanks, Mike, very helpful! -Tom