Mercurial Repositories > eric / file revision

# -*- coding: utf-8 -*-

# Copyright (c) 2016 - 2023 Detlev Offenbach <detlev@die-offenbachs.de>
#

"""
Module implementing the automatic scroller.
"""

#
# This module is based on the Qupzilla auto scroller.
# Copyright (C) 2014  David Rosca <nowrep@gmail.com>
#

from PyQt6.QtCore import QEvent, QObject, QPoint, QRect, Qt
from PyQt6.QtWidgets import QApplication, QLabel

from eric7 import Preferences
from eric7.EricGui import EricPixmapCache

from .FrameScroller import FrameScroller


class AutoScroller(QObject):
    """
    Class implementing the automatic scroller.
    """

    def __init__(self, parent=None):
        """
        Constructor

        @param parent reference to the parent object
        @type QObject
        """
        super().__init__(parent)

        self.__view = None

        self.__indicator = QLabel()
        self.__indicator.resize(32, 32)
        self.__indicator.setContentsMargins(0, 0, 0, 0)
        self.__indicator.installEventFilter(self)

        self.__scroller = FrameScroller(self)
        self.__scroller.setScrollDivider(Preferences.getWebBrowser("AutoScrollDivider"))

        self.__enabled = Preferences.getWebBrowser("AutoScrollEnabled")

    def isEnabled(self):
        """
        Public method to get the enabled state.

        @return enabled state
        @rtype bool
        """
        return self.__enabled

    def mouseMove(self, evt):
        """
        Public method to handle mouse move events.

        @param evt reference to the mouse move event
        @type QMouseEvent
        @return flag indicating, that the event was handled
        @rtype bool
        """
        if self.__enabled and self.__indicator.isVisible():
            rect = self.__indicatorGlobalRect()
            xlen = 0
            ylen = 0
            egp = evt.globalPosition().toPoint()

            if rect.left() > egp.x():
                xlen = egp.x() - rect.left()
            elif rect.right() < egp.x():
                xlen = egp.x() - rect.right()

            if rect.top() > egp.y():
                ylen = egp.y() - rect.top()
            elif rect.bottom() < egp.y():
                ylen = egp.y() - rect.bottom()

            self.__scroller.startScrolling(xlen, ylen)

        return False

    def mousePress(self, view, evt):
        """
        Public method to handle mouse button presses.

        @param view reference to the web view the button was pressed on
        @type WebBrowserView
        @param evt reference to the mouse button press event
        @type QMouseEvent
        @return flag indicating, that the event was handled
        @rtype bool
        """
        if self.__enabled:
            middleButton = evt.buttons() == Qt.MouseButton.MiddleButton

            if view:
                # test for start
                if middleButton and (
                    self.__view != view or not self.__indicator.isVisible()
                ):
                    return self.__showIndicator(view, evt.position().toPoint())

                # test for stop
                if self.__indicator.isVisible():
                    self.__stopScrolling()
                    return True

        return False

    def mouseRelease(self, evt):
        """
        Public method to handle mouse button releases.

        @param evt reference to the mouse button release event
        @type QMouseEvent
        @return flag indicating, that the event was handled
        @rtype bool
        """
        if self.__enabled and self.__indicator.isVisible():
            if not self.__indicatorGlobalRect().contains(
                evt.globalPosition().toPoint()
            ):
                self.__stopScrolling()
            return True

        return False

    def wheel(self):
        """
        Public method to handle a mouse wheel event.

        @return flag indicating, that the event was handled
        @rtype bool
        """
        if self.__enabled and self.__indicator.isVisible():
            self.__stopScrolling()
            return True

        return False

    def preferencesChanged(self):
        """
        Public method to handle a change of the settings.
        """
        enabled = Preferences.getWebBrowser("AutoScrollEnabled")
        if enabled != self.__enabled:
            if self.__indicator.isVisible():
                self.__stopScrolling()
            self.__enabled = enabled

        self.__scroller.setScrollDivider(Preferences.getWebBrowser("AutoScrollDivider"))

    def eventFilter(self, obj, evt):
        """
        Public method to handle event for an object.

        @param obj refernce to the object sending the event
        @type QObject
        @param evt reference to the event to be handled
        @type QEvent
        @return flag indicating, that the event was handled
        @rtype bool
        """
        if obj == self.__indicator:
            if evt.type() == QEvent.Type.Enter:
                self.__scroller.stopScrolling()
            elif evt.type() in [
                QEvent.Type.Wheel,
                QEvent.Type.Hide,
                QEvent.Type.MouseButtonPress,
            ]:
                self.__stopScrolling()

        return False

    def __showIndicator(self, view, pos):
        """
        Private method to show the auto scroll indicator.

        @param view reference to the view to show the indicator on
        @type WebBrowserView
        @param pos position to show the indicator at
        @type QPoint
        @return flag indicating, that the indicator is shown
        @rtype bool
        """
        hit = view.page().hitTestContent(pos)

        if hit.isContentEditable() or not hit.linkUrl().isEmpty():
            return False

        jsSource = """
            var out = {
             vertical:
                window.innerWidth > document.documentElement.clientWidth,
             horizontal:
                window.innerHeight > document.documentElement.clientHeight
            };
            out;"""

        res = view.page().execJavaScript(jsSource)
        if res is None:
            return False

        vertical = res["vertical"]
        horizontal = res["horizontal"]
        if not vertical and not horizontal:
            return False

        if vertical and horizontal:
            self.__indicator.setPixmap(EricPixmapCache.getPixmap("scrollAll"))
        elif vertical:
            self.__indicator.setPixmap(EricPixmapCache.getPixmap("scrollVertical"))
        else:
            self.__indicator.setPixmap(EricPixmapCache.getPixmap("scrollHorizontal"))

        self.__view = view
        p = QPoint(
            pos.x() - self.__indicator.pixmap().width() // 2,
            pos.y() - self.__indicator.pixmap().height() // 2,
        )

        self.__indicator.setParent(self.__view)
        self.__indicator.move(p)
        self.__indicator.show()

        self.__scroller.setPage(view.page())

        self.__view.inputWidget().grabMouse()
        QApplication.setOverrideCursor(Qt.CursorShape.ArrowCursor)

        return True

    def __stopScrolling(self):
        """
        Private method to stop scrolling.
        """
        self.__view.inputWidget().releaseMouse()
        QApplication.restoreOverrideCursor()

        self.__indicator.hide()
        self.__indicator.setParent(None)
        self.__scroller.stopScrolling()

    def __indicatorGlobalRect(self):
        """
        Private method to calculate the global indicator parameters.

        @return global indicator parameters
        @rtype QRect
        """
        pos = self.__indicator.parentWidget().mapToGlobal(
            self.__indicator.geometry().topLeft()
        )
        return QRect(
            pos.x(), pos.y(), self.__indicator.width(), self.__indicator.height()
        )