setWindowTitleBarHeight setter now refreshes the layout (as the title setter does)