andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Flickering prover output #81

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

During processing, the prover output view flickers sometimes when updating the information even though the cursor stays the same. The prover output sometimes goes blank or just flickers with the same info.