* Added static "re-polish any widget" method to themer, moved all repolish operations to use this method (reduce code duplication)
* Fixed issue with jog LEDs not displaying well in Windows (well, made them display better - still not as good as OSX)