Index: src/editor/editwidget.c
===================================================================
--- src/editor/editwidget.c.orig	2010-07-05 21:12:51.000000000 +0200
+++ src/editor/editwidget.c	2010-07-07 15:31:11.479082454 +0200
@@ -271,7 +271,7 @@ edit_file (const char *_file, int line)
 const char *
 edit_get_file_name (const WEdit *edit)
 {
-    return edit->filename;
+    return edit?edit->filename:NULL;
 }
 
 void