[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Toolbox is unresponsive when PrintT is used
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.
thanks for your feedback. If you like the modules node, you might also
like Window > "Quick Access..." or (Ctrl+Shift+A).