Fix right panel resizing. fixes #11906