Basically irrelevant WinForms editor tray height change.