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

Re: [tlaplus] path of `tlapm` files

On 12.07.20 01:32, Stephan Merz wrote:
> In my opinion, the main disadvantage of a hidden directory is that it
> may accumulate cruft without users being easily aware of this.

The Toolbox already shows a warning at the bottom status bar if the size
of the ".toolbox" folder exceeds a (configure) threshold.  It wouldn't
be difficult to also include the new directory.


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/11230f2a-4c27-43f7-32a8-6207097e444b%40lemmster.de.