Interface ScrollingCapable


  • @ParametersAreNonnullByDefault
    public interface ScrollingCapable
    Support for scrolling capability.
    • Method Detail

      • getScrollPosition

        @Nonnull
        CodeAreaScrollPosition getScrollPosition()
        Returns current scrolling position.
        Returns:
        scroll position
      • setScrollPosition

        void setScrollPosition​(CodeAreaScrollPosition scrollPosition)
        Sets current scrolling position.
        Parameters:
        scrollPosition - scrolling position
      • addScrollingListener

        void addScrollingListener​(ScrollingListener scrollingListener)
        Adds scrolling listener.
        Parameters:
        scrollingListener - scrolling listener
      • removeScrollingListener

        void removeScrollingListener​(ScrollingListener scrollingListener)
        Removes scrolling listener.
        Parameters:
        scrollingListener - scrolling listener
      • revealCursor

        void revealCursor()
        Reveals scrolling area for current cursor position.
      • revealPosition

        void revealPosition​(CodeAreaCaretPosition caretPosition)
        Reveals scrolling area for given caret position.
        Parameters:
        caretPosition - caret position
      • centerOnCursor

        void centerOnCursor()
        Scrolls scrolling area as centered as possible for current cursor position.
      • centerOnPosition

        void centerOnPosition​(CodeAreaCaretPosition caretPosition)
        Scrolls scrolling area as centered as possible for given caret position.
        Parameters:
        caretPosition - caret position