May 26, 2018
A command line tool for switching GTK+ themes.
WWW http//www.muhri.net/gthemeswitch.php3