-converted themes to using the new style.ini (rather than config.txt)

-added Theme.configure function for further customizing styles -added Theme.putstyle -added convertconfig.py script for converting config.txt files into the new format
gunpadawan · Mar 16, 2012 · 51d8be4 · 51d8be4
1 parent e48c415
commit 51d8be4
Show file tree

Hide file tree

Showing 9 changed files with 1,405 additions and 855 deletions.
diff --git a/data/themes/clean/config.txt b/data/themes/clean/config.txt