Topic: Slow copying VScode on Mac
VScode on Mac becomes really slow and sometimes stop responding if I copy from Lean Message. Does anyone encounter the same issue?
Chris Hughes (Feb 28 2019 at 05:30):
That happens to me as well.
Last updated: May 14 2021 at 07:19 UTC