| 312 | } |
| 313 | |
| 314 | void QuickOpenWidget::textChanged(const QString& str) |
| 315 | { |
| 316 | QString strTrimmed = str.trimmed(); |
| 317 | |
| 318 | // "cheap" when something was just appended to the current filter |
| 319 | updateTimerInterval(strTrimmed.startsWith(m_filter)); |
| 320 | m_filter = strTrimmed; |
| 321 | m_filterTimer.start(); |
| 322 | } |
| 323 | |
| 324 | void QuickOpenWidget::applyFilter() |
| 325 | { |