Fixed theme option no appearing in theme preference page. Minor cleanup.
treebf4554f297c39009768d00deedd7d790c93fe178
-rw-r--r-- 17 .gitignore
-rw-r--r-- 84 AUTHORS
-rw-r--r-- 1376 BUGS
-rw-r--r-- 54 CHANGELOG
-rw-r--r-- 1131 CMakeLists.txt
-rw-r--r-- 18009 COPYING
-rw-r--r-- 959 INSTALL
-rw-r--r-- 138 README
-rw-r--r-- 1924 RELEASE
-rw-r--r-- 3136 TODO
-rw-r--r-- 2304 TODO_Maurizio
-rw-r--r-- 191 TODO_Paolo
-rwxr-xr-x 401 add_variant.rb
drwxr-xr-x - data
drwxr-xr-x - doc
drwxr-xr-x - lua
drwxr-xr-x - src
-rwxr-xr-x 1064 strip_font.rb
-rw-r--r-- 595 tagua.cmake
drwxr-xr-x - templates
drwxr-xr-x - tests