Dock Property Editor

For me at least it’d be helpful if when the the property editor is toggled on/off, it’s in the same position each time.

complete luxury problem, don’t hate me for nitpicking!