Question - why? The events weren't triggered by wxAUI manager, but by wxScintilla, besides why would i have to change code that's part of the wxAUI toolkit, if my change DID fix the problem?
Edit: AH, I see now. You're right (in part), that code has to be changed. I submitted the bug to the wxAUI project, and also committed on SVN
