title: How to dock "Tool Options" to "Toolbox"?
body: <p>The "Tool Options" and the "Toolbox" used to be in the same window, but it somehow broke apart. Can somebody give some hints as how to bring them together as one again?</p>
  
  <p><img src="https://i.stack.imgur.com/nSZZD.png" alt="Tool Options and Toolbox as distinct windows"></p>