index 97ef5618e56cb0747dc71d70749fff00bf29d883..921d71bb8c5c8063770c1071d1972d1300aa6119 100644 (file)
switch (result) {
case Gtk::RESPONSE_OK:
this->_sm->clearDocument();
switch (result) {
case Gtk::RESPONSE_OK:
this->_sm->clearDocument();
- sp_document_done(sp_desktop_document(this->_desktop));
+ sp_document_done(sp_desktop_document(this->_desktop), SP_VERB_NONE,
+ /* TODO: annotate */ "session-player.cpp:186");
this->_sm->loadSessionFile(sessionfiledlg.get_filename());
this->_openfile.set_text(this->_sfp->filename());
break;
this->_sm->loadSessionFile(sessionfiledlg.get_filename());
this->_openfile.set_text(this->_sfp->filename());
break;