Zulip Chat Archive
Stream: general
Topic: Slow copying VScode on Mac
Joe (Feb 28 2019 at 05:22):
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 02 2025 at 03:31 UTC