I'm using Coq for a formal method class and the CoqIde is a piece of software that falls into this category. If I have two files open and I run a search, there

I'm using Coq for a formal method class and the CoqIde is a piece of software that falls into this category. If I have two files open and I run a search, there is a good chance that the CoqIde will crash and I'll lose my work. I've worked around it by saving my work before I search but I shouldn't have to worry about searching in an IDE