Re: [tlaplus] Toolbox is unresponsive when PrintT is used

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 25.11.2015 17:29, Y2i wrote:
> Thank you very much Markus!  I tried 11/25/2015 build and it is so much
> better in handling PrintT output.  I also liked a new modules node under
> the open spec node which makes exploring dependencies so much easier.

Hi Yuri,

thanks for your feedback. If you like the modules node, you might also
like Window > "Quick Access..." or (Ctrl+Shift+A).

Thanks
Markus