+
+ if (m_toolTipManager != 0) {
+ m_toolTipManager->hideTip();
+ }
+
+ const QPoint pos = m_view->viewport()->mapFromGlobal(event->globalPos());
+ Q_ASSERT(m_view->m_controller->itemView() == this);
+ m_view->m_controller->triggerContextMenuRequest(pos);
+}
+
+void DolphinColumnWidget::wheelEvent(QWheelEvent* event)
+{
+ if (m_selectionManager != 0) {
+ m_selectionManager->reset();
+ }
+
+ // let Ctrl+wheel events propagate to the DolphinView for icon zooming
+ if (event->modifiers() & Qt::ControlModifier) {
+ event->ignore();
+ return;
+ }
+
+ const int height = m_decorationSize.height();
+ const int step = (height >= KIconLoader::SizeHuge) ? height / 10 : (KIconLoader::SizeHuge - height) / 2;
+ verticalScrollBar()->setSingleStep(step);
+
+ QListView::wheelEvent(event);
+}
+
+void DolphinColumnWidget::leaveEvent(QEvent* event)
+{
+ QListView::leaveEvent(event);
+ // if the mouse is above an item and moved very fast outside the widget,
+ // no viewportEntered() signal might be emitted although the mouse has been moved
+ // above the viewport
+ m_view->m_controller->emitViewportEntered();