window-list widget lacks size option.

[g3r]

When adding the window-list widget to the bar the height increases.
The default config file claims all widgets also have individual settings for height. This is incorrect for window-list. Menu seems to inherit its size from launchers.

[florhizome]

+1 it actually lacks any options for me, albeit it is the potentially biggest widget. Also good catch, that it's window-list that causes this behaviour.

[zeGolem]

+1, still a problem here. Looking at the code, it seems like it has basically no concept of height… I assume it's just using some default GTK buttons, with their default height…

[trigg]

fixed in #411