No issue here when docking and undocking, however opera does restart when I close the dev tools. No idea if this is the intended behavior or not.

Debian testing x64, latest opera 67.x, installed from the deb package.