Changeset e25de5d802baa6ebca21a738a5f6d3686a8a853e

Show
Ignore:
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:
2 modified

Legend:

Unmodified
Added
Removed

  • ChangeLog

    r80daf30 re25de5d  
     12008-09-22  Armin Burgmeier  <armin@arbur.net> 
     2 
     3        * src/commands/folder-commands.cpp: Flush pending user requests before 
     4        setting user inactive, to avoid the user becoming active again due to 
     5        a delayed caret movement. 
     6 
    172008-09-22  Armin Burgmeier  <armin@arbur.net> 
    28 

  • src/commands/folder-commands.cpp

    r25d405c re25de5d  
    7979                        break; 
    8080                case INF_USER_ACTIVE: 
     81                        /* Flush pending requests, so user is not set active 
     82                         * again later. */ 
     83                        inf_text_session_flush_requests_for_user( 
     84                                m_document.get_session(), 
     85                                INF_TEXT_USER(m_active_user)); 
     86 
    8187                        inf_session_set_user_status( 
    8288                                INF_SESSION(m_document.get_session()),