Rehighlight when the whole style changed
Better use of the PropertyRegistry for changing style
Added PyFlakes checker
Remove manual connection to save action (already done in the designer)