| 963 | } |
| 964 | |
| 965 | void ContextBrowserPlugin::selectionChanged(View* view) |
| 966 | { |
| 967 | clearMouseHover(); |
| 968 | m_updateViews.insert(view); |
| 969 | m_updateTimer->start(highlightingTimeout / 2); // triggers updateViews() |
| 970 | } |
| 971 | |
| 972 | void ContextBrowserPlugin::cursorPositionChanged(View* view, const KTextEditor::Cursor& newPosition) |
| 973 | { |