Comment by pyr0hu

Was just using this to tweak a few settings in an existing theme. It was really helpful to finding out which theme token associates with which UI element.