search

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

NPE in asyncExec #27

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

NullPointerException when trying to access Display after editor was disposed:

Caused by: java.lang.NullPointerException
    at isabelle.eclipse.ui.editors.TheoryEditor$State.isabelle$eclipse$ui$editors$TheoryEditor$State$$display(TheoryEditor.scala:323)
    at isabelle.eclipse.ui.editors.TheoryEditor$State.refreshView(TheoryEditor.scala:368)
    at isabelle.eclipse.ui.editors.TheoryEditor$State$$anonfun$refreshViewUI$1.apply$mcV$sp(TheoryEditor.scala:351)
    at isabelle.eclipse.ui.util.SWTUtil$$anon$2.run(SWTUtil.scala:24)
    at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:35)
    at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:135)
    ... 24 more