Since theming doesn't work, couldn't a script at least be written that sets the COLORS to match the desktop you are using? There's only 31 colors in that config file, and it's just plain text. Surely the Gnome color scheme is stored in an equally-transparent file somewhere, and a simple translator could be written.
Since theming doesn't work, couldn't a script at least be written that sets the COLORS to match the desktop you are using? There's only 31 colors in that config file, and it's just plain text. Surely the Gnome color scheme is stored in an equally-transparent file somewhere, and a simple translator could be written.