diff options
| -rw-r--r-- | fluid/fluid.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/fluid/fluid.cxx b/fluid/fluid.cxx index b75e8f571..8fddc821c 100644 --- a/fluid/fluid.cxx +++ b/fluid/fluid.cxx @@ -433,6 +433,7 @@ void exit_cb(Fl_Widget *,void *) { svp.set("tab", sv_tab->find(sv_tab->value())); save_position(sourceview_panel,"sourceview_pos"); delete sourceview_panel; + sourceview_panel = 0; } if (about_panel) delete about_panel; |