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

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

From: Y2i <yur...@xxxxxxxxx>
Date: Fri, 20 Nov 2015 06:28:23 -0800 (PST)
References: <ff217632-3b81-4e3e-9f6a-c8d2db341b70@googlegroups.com> <8865D898-CD6D-42C7-87B7-0B40E01E00FB@gmail.com>

Thank you Stephan. I've already head -Xmx4g but lost it after upgrading to the newer toolbox. This setting definitely helps!

Yuri

References:
- Toolbox is unresponsive when PrintT is used
  - From: Y2i
- Re: [tlaplus] Toolbox is unresponsive when PrintT is used
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] The implementation of records and functions in TLC
Next by Date: Re: The implementation of records and functions in TLC
Previous by thread: Re: [tlaplus] Toolbox is unresponsive when PrintT is used
Next by thread: Re: [tlaplus] Toolbox is unresponsive when PrintT is used
Index(es):
- Date
- Thread