Hi Sakke,I'm not sure if there's a proper way to attach it back, but if nothing helps, you can try Window -> Reset Window Layout.
On Thursday, November 21, 2019 at 12:06:29 PM UTC+3, Sakke wrote:Hi, I just started to familiarize myself with the TLA+ Toolbox. While trying the behaviours of the IDE, I have detached the Spec Explorer view from main window and now I'm not able to attach it back. The Spec Explorer will be detached even I restart the IDE. The same problem doesn't seem to appear with other views, which I'm able to drag back to main window.Any ideas? Is the problem in my lack of ability, or is it feature.