ninja-ide/ninja-ide — pull request #950 by shuhaowu (2012-10-29 22:13:42+00:00)
Title: Preference box is broken if there are no skins

Fixes that, also changed variable name for style consistency