tondadrd

Total activity 4
Last activity October 22, 2023 22:57
Member since October 22, 2023 16:27
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 1

tondadrd commented, October 22, 2023 22:57
I think it will be extremely hard to reproduce and I don't have the time to help fix a random code editor.However, I will keep this in the back of my head in case it arises again before I delete ID...
- 0 votes
tondadrd commented, October 22, 2023 16:27
I had the same issue. Restarting is a working workaround. But not a solution.Plugins downloaded & enabled: Scala, Space
- 0 votes