| 669 | } |
| 670 | |
| 671 | void KeyConfigPrefs::OnFilterTimer(wxTimerEvent & WXUNUSED(e)) |
| 672 | { |
| 673 | // The filter timer has expired, so set the filter |
| 674 | if (mFilterPending) |
| 675 | { |
| 676 | // Do not reset mFilterPending here...possible race |
| 677 | mView->SetFilter(mFilter->GetValue()); |
| 678 | } |
| 679 | } |
| 680 | |
| 681 | void KeyConfigPrefs::OnFilterKeyDown(wxKeyEvent & e) |
| 682 | { |