2010-08-23 07:34:46 +00:00
|
|
|
Index: src/editor/editwidget.c
|
|
|
|
===================================================================
|
2011-02-09 13:53:51 +00:00
|
|
|
--- src/editor/editwidget.c.orig
|
|
|
|
+++ src/editor/editwidget.c
|
|
|
|
@@ -387,7 +387,7 @@ edit_file (const char *_file, int line)
|
2010-08-23 07:34:46 +00:00
|
|
|
const char *
|
2011-02-09 13:53:51 +00:00
|
|
|
edit_get_file_name (const WEdit * edit)
|
2010-08-23 07:34:46 +00:00
|
|
|
{
|
|
|
|
- return edit->filename;
|
|
|
|
+ return edit?edit->filename:NULL;
|
|
|
|
}
|
|
|
|
|
2011-02-09 13:53:51 +00:00
|
|
|
/* --------------------------------------------------------------------------------------------- */
|