Remove workaround for slow scrolling in wxStyledTextCtrl.

We don't need to drop mouse wheel events coming too fast after the previous
commit as now scrolling in wxStyledTextCtrl works quickly enough.

Closes #9057.

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@72255 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Vadim Zeitlin
2012-07-29 22:08:31 +00:00
parent 14941a1af7
commit 42a4299bb3
4 changed files with 10 additions and 46 deletions

View File

@@ -4291,9 +4291,6 @@ protected:
bool m_lastKeyDownConsumed;
// Time until when we should ignore any new mouse wheel events.
wxLongLong m_timeToBlockWheelEventsUntil;
friend class ScintillaWX;
friend class Platform;
#endif // !SWIG