[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.

Hi Yuri,

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