Hint: please don't make any "slight modifications" to my patches you're unsure about, they're almost definitely a mistake. ;-)
In this case, we want to use widgetStyle4 only if it is defined, otherwise fall back to widgetStyle, which is the officially documented setting also in the GUI. So just changing widgetStyle to widgetStyle4 is wrong.