[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: Un-detach Spec Explorer in Toolbox

Thanks for Answer, Andrew! Reseting window layout helped me.

torstai 21. marraskuuta 2019 12.14.50 UTC+2 Andrew Lygin kirjoitti:
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.

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/50ca8795-8d5c-4eeb-8ab9-3f678956a49e%40googlegroups.com.