gui: Pretty theme names

This commit is contained in:
Audrius Butkevicius
2016-03-27 06:40:50 +00:00
committed by Jakob Borg
parent 46c07bb207
commit 4b6c2d0d3d
3 changed files with 12 additions and 6 deletions

File diff suppressed because one or more lines are too long