check for disposing during quick documentation (IDEA-83567)

This commit is contained in:
anna
2012-03-28 15:38:45 +02:00
parent ff3ee4a60a
commit 3ac880a12c
@@ -718,6 +718,7 @@ public class DocumentationManager {
myUpdateDocAlarm.addRequest(new Runnable() {
public void run() {
if (myProject.isDisposed()) return;
final Throwable[] ex = new Throwable[1];
String text = null;
try {