wx GUI: Use system highlight colour for editor plugin focus
wx GUI: freedesktop/XDG, not just GTK