Addressing #7371: don't trigger session->undo() from non-GUI-thread