RECENT POSTS
Gtk-theme-switch
May 26, 2018
Command line tool for switching GTK+ themes
A command line tool for switching GTK+ themes.
WWW http//www.muhri.net/gthemeswitch.php3
- Older
- Newer
May 26, 2018
A command line tool for switching GTK+ themes.
WWW http//www.muhri.net/gthemeswitch.php3