This will make it easier to control appearance per host, as we already have setup for per-host XRDB resources.
Alois Mahdal
85fb04a702
Load colors and workspace names from XRDB resources