Class MouseWheelScrollTool

    • Constructor Detail

      • MouseWheelScrollTool

        public MouseWheelScrollTool()
    • Method Detail

      • handleMouseWheelMoved

        protected void handleMouseWheelMoved​(MouseWheelEditEvent e,
                                             boolean isActive)
        Description copied from class: Tool
        Invoked when the mouse wheel is rotated.
        Overrides:
        handleMouseWheelMoved in class Tool
        Parameters:
        e - the MouseEditEvent
        isActive - whether this tool is currently active
      • isBrowsePages

        public boolean isBrowsePages()
        Return whether to skip to the previous/next page if scrolling occurs while already scrolled to the top/bottom and using a single-page layout.
        Returns:
        true, if skipping will be performed, false otherwise
      • setBrowsePages

        public void setBrowsePages​(boolean browsePages)
        Set whether to skip to the previous/next page if scrolling occurs while already scrolled to the top/bottom and using a single-page layout.
        Parameters:
        browsePages - true, if skipping should be performed, false otherwise