# HG changeset patch # User John W. Eaton # Date 1365271318 14400 # Node ID 6cd66a5a76e835faf3712c78d38cae44d2b93f74 # Parent 7a2ee6ea7800da6f1d98b72eb2c27b74eb437149 undo unintended changes in changeset 302157614308 diff --git a/libgui/src/workspace-model.cc b/libgui/src/workspace-model.cc --- a/libgui/src/workspace-model.cc +++ b/libgui/src/workspace-model.cc @@ -56,6 +56,7 @@ void workspace_model::request_update_workspace () { + octave_link::post_event (this, &workspace_model::update_workspace_callback); } QModelIndex @@ -167,7 +168,6 @@ return item->data(idx.column()); } -#if 0 void workspace_model::update_workspace_callback (void) { @@ -213,4 +213,3 @@ endResetModel(); } -#endif diff --git a/libgui/src/workspace-model.h b/libgui/src/workspace-model.h --- a/libgui/src/workspace-model.h +++ b/libgui/src/workspace-model.h @@ -131,6 +131,8 @@ void insert_top_level_item (int at, tree_item *treeItem); tree_item *top_level_item (int at); + void update_workspace_callback (void); + public slots: void request_update_workspace (); diff --git a/libgui/src/workspace-view.cc b/libgui/src/workspace-view.cc --- a/libgui/src/workspace-view.cc +++ b/libgui/src/workspace-view.cc @@ -114,6 +114,8 @@ void workspace_view::model_changed () { + _workspace_model->update_workspace_callback (); + // This code is very quirky and requires some explanation. // Usually, we should not deal with collapsing or expanding ourselves, // because the view itself determines (based on the model) whether it