with the latest commit in GIT head it's now possible to switch StyleTab's style on-the-fly (no more restarting required).
(In case you still have a GIT checkout with the "git revert" command applied, run "git reset origin/master" prior to "git pull" in order to get synced with upstream again) Chris
