diff -r 72901685681d -r 4ee26909ac0d WebBrowser/QtHelp/HelpSearchWidget.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/WebBrowser/QtHelp/HelpSearchWidget.py Sat Mar 19 16:05:11 2016 +0100
@@ -0,0 +1,139 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2009 - 2016 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing a window for showing the QtHelp index.
+"""
+
+from __future__ import unicode_literals
+
+from PyQt5.QtCore import pyqtSignal, Qt, QEvent, QUrl
+from PyQt5.QtWidgets import QWidget, QVBoxLayout, QTextBrowser, QApplication, \
+ QMenu
+
+
+class HelpSearchWidget(QWidget):
+ """
+ Class implementing a window for showing the QtHelp index.
+
+ @signal linkActivated(QUrl) emitted when a search result entry is activated
+ @signal escapePressed() emitted when the ESC key was pressed
+ """
+ linkActivated = pyqtSignal(QUrl)
+ escapePressed = pyqtSignal()
+
+ def __init__(self, engine, mainWindow, parent=None):
+ """
+ Constructor
+
+ @param engine reference to the help search engine (QHelpSearchEngine)
+ @param mainWindow reference to the main window object (QMainWindow)
+ @param parent reference to the parent widget (QWidget)
+ """
+ super(HelpSearchWidget, self).__init__(parent)
+
+ self.__engine = engine
+ self.__mw = mainWindow
+
+ self.__layout = QVBoxLayout(self)
+
+ self.__result = self.__engine.resultWidget()
+ self.__query = self.__engine.queryWidget()
+
+ self.__layout.addWidget(self.__query)
+ self.__layout.addWidget(self.__result)
+
+ self.setFocusProxy(self.__query)
+
+ self.__query.search.connect(self.__search)
+ self.__result.requestShowLink.connect(self.linkActivated)
+
+ self.__engine.searchingStarted.connect(self.__searchingStarted)
+ self.__engine.searchingFinished.connect(self.__searchingFinished)
+
+ self.__browser = self.__result.findChildren(QTextBrowser)[0]
+ if self.__browser:
+ self.__browser.viewport().installEventFilter(self)
+
+ def __search(self):
+ """
+ Private slot to perform a search of the database.
+ """
+ query = self.__query.query()
+ self.__engine.search(query)
+
+ def __searchingStarted(self):
+ """
+ Private slot to handle the start of a search.
+ """
+ QApplication.setOverrideCursor(Qt.WaitCursor)
+
+ def __searchingFinished(self, hits):
+ """
+ Private slot to handle the end of the search.
+
+ @param hits number of hits (integer) (unused)
+ """
+ QApplication.restoreOverrideCursor()
+
+ def eventFilter(self, watched, event):
+ """
+ Public method called to filter the event queue.
+
+ @param watched the QObject being watched (QObject)
+ @param event the event that occurred (QEvent)
+ @return flag indicating whether the event was handled (boolean)
+ """
+ if self.__browser and watched == self.__browser.viewport() and \
+ event.type() == QEvent.MouseButtonRelease:
+ link = self.__result.linkAt(event.pos())
+ if not link.isEmpty() and link.isValid():
+ ctrl = event.modifiers() & Qt.ControlModifier
+ if (event.button() == Qt.LeftButton and ctrl) or \
+ event.button() == Qt.MidButton:
+ self.__mw.newTab(link)
+
+ return QWidget.eventFilter(self, watched, event)
+
+ def keyPressEvent(self, evt):
+ """
+ Protected method handling key press events.
+
+ @param evt reference to the key press event (QKeyEvent)
+ """
+ if evt.key() == Qt.Key_Escape:
+ self.escapePressed.emit()
+ else:
+ evt.ignore()
+
+ def contextMenuEvent(self, evt):
+ """
+ Protected method handling context menu events.
+
+ @param evt reference to the context menu event (QContextMenuEvent)
+ """
+ point = evt.globalPos()
+
+ if self.__browser:
+ point = self.__browser.mapFromGlobal(point)
+ if not self.__browser.rect().contains(point, True):
+ return
+ link = QUrl(self.__browser.anchorAt(point))
+ else:
+ point = self.__result.mapFromGlobal(point)
+ link = self.__result.linkAt(point)
+
+ if link.isEmpty() or not link.isValid():
+ return
+
+ menu = QMenu()
+ curTab = menu.addAction(self.tr("Open Link"))
+ newTab = menu.addAction(self.tr("Open Link in New Tab"))
+ menu.move(evt.globalPos())
+ act = menu.exec_()
+ if act == curTab:
+ self.linkActivated.emit(link)
+ elif act == newTab:
+ self.__mw.newTab(link)
