X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2FBufferView.h;h=d41826067128c4e037a6a2cb891e863a54a095e1;hb=4a75fe0310ac64a079edab0c07d8f8eebaf519c0;hp=a79c7bbb62e6b9da5c663fcb7bdfbdc8995362ab;hpb=833f0bab524dca79aa99a602c8424972e95b04fb;p=lyx.git diff --git a/src/BufferView.h b/src/BufferView.h index a79c7bbb62..d418260671 100644 --- a/src/BufferView.h +++ b/src/BufferView.h @@ -36,7 +36,6 @@ class FuncRequest; class FuncStatus; class Intl; class Inset; -class Menu; class ParIterator; class ParagraphMetrics; class Point; @@ -52,6 +51,9 @@ enum CursorStatus { /// Scrollbar Parameters. struct ScrollbarParameters { + ScrollbarParameters() + : min(0), max(0), position(0), single_step(1), page_step(1) + {} /// Minimum scrollbar position in pixels. int min; /// Maximum scrollbar position in pixels. @@ -96,6 +98,12 @@ public: /// left margin int leftMargin() const; + /// \return true if the BufferView is at the top of the document. + bool isTopScreen() const; + + /// \return true if the BufferView is at the bottom of the document. + bool isBottomScreen() const; + /// perform pending metrics updates. /** \c Update::FitCursor means first to do a FitCursor, and to * force an update if screen position changes. @@ -136,6 +144,9 @@ public: /// set the cursor based on the given TeX source row. void setCursorFromRow(int row); + /// set cursor to the given inset. Return true if found. + bool setCursorFromInset(Inset const *); + /// Ensure that the BufferView cursor is visible. /// This method will automatically scroll and update the BufferView /// if needed. @@ -147,11 +158,11 @@ public: /// LFUN_SCROLL Helper. void lfunScroll(FuncRequest const & cmd); /// scroll down document by the given number of pixels. - void scrollDown(int pixels); + int scrollDown(int pixels); /// scroll up document by the given number of pixels. - void scrollUp(int pixels); + int scrollUp(int pixels); /// scroll document by the given number of pixels. - void scroll(int pixels); + int scroll(int pixels); /// Scroll the view by a number of pixels. void scrollDocView(int pixels); /// Set the cursor position based on the scrollbar one.