allow to select the theme from the GUI
[booh] / lib / booh /
drwxr-xr-x   ..
-rw-r--r-- 10547 GtkAutoTable.rb
-rw-r--r-- 1716 UndoHandler.rb
-rw-r--r-- 11738 booh-lib.rb
-rw-r--r-- 8531 html-merges.rb
-rw-r--r-- 605 pre-setup.rb