]> git.tue.mpg.de Git - paraslash.git/commit
gui: Remove change_theme().
authorAndre Noll <maan@systemlinux.org>
Tue, 7 Jan 2014 22:08:00 +0000 (22:08 +0000)
committerAndre Noll <maan@systemlinux.org>
Sun, 4 May 2014 13:48:54 +0000 (15:48 +0200)
commitc2ff586ae77f1ab640d5f8b3ceb12786fcc4cbaa
treec0d6c1724cf3cbb67922642fc2dc6526334b30df
parent2bd6a294428d7acb1da1b0cf7f4ed569ad0e018a
gui: Remove change_theme().

It's silly to have a function for this.
gui.c
gui_theme.c