intellij-frege icon indicating copy to clipboard operation
intellij-frege copied to clipboard

possible memory leak?

Open Dierk opened this issue 3 years ago • 0 comments

After working with the plugin for some hours and with multiple projects, IDEA issues the "low memory" warning and the system gets really unresponsive. I bumped up my memory settings considerably but it still occurs after a while and as best as I can tell only when I use this plugin. This issue is really hard to reproduce but I thought I should let you know anyway.

Dierk avatar Nov 10 '21 09:11 Dierk