Changeset e25de5d802baa6ebca21a738a5f6d3686a8a853e for src/commands/folder-commands.cpp

Timestamp:

09/22/08 22:39:30 (5 years ago)

Author:

Armin Burgmeier <armin@…>

Parents:

80daf3053bfbc82f970cfd5e316c748066952d69

Children:

cc633c42d34d2955435a187ca7e3a4163e1c881d

git-committer:

Armin Burgmeier <armin@arbur.net> / 2008-09-22T22:39:30Z+0200

Message:

Fixed a crash when changing the document with move requests pending

2008-09-22 Armin Burgmeier <armin@…>

• src/commands/folder-commands.cpp: Flush pending user requests before setting user inactive, to avoid the user becoming active again due to a delayed caret movement.

Files:

• src/commands/folder-commands.cpp (modified) (1 diff)

src/commands/folder-commands.cpp

@@ -79 +79 @@
                         break;
                 case INF_USER_ACTIVE:
+                        /* Flush pending requests, so user is not set active
+                         * again later. */
+                        inf_text_session_flush_requests_for_user(
+                                m_document.get_session(),
+                                INF_TEXT_USER(m_active_user));
+
                         inf_session_set_user_status(
                                 INF_SESSION(m_document.get_session()),