]> git.lyx.org Git - lyx.git/blobdiff - src/BufferView.h
Center correctly top labels like Abstract.
[lyx.git] / src / BufferView.h
index 0d1a1bba31f1906aa16087e79c9f1d0e35601fcb..fbbd1e7f2645440eac78fe2158ea3c74ae9b762c 100644 (file)
@@ -42,6 +42,8 @@ class FuncStatus;
 class Intl;
 class Inset;
 class Length;
+class MathData;
+class MathRow;
 class ParIterator;
 class ParagraphMetrics;
 class Point;
@@ -102,9 +104,12 @@ public:
 
        /// right margin
        int rightMargin() const;
-
        /// left margin
        int leftMargin() const;
+       /// top margin
+       int topMargin() const;
+       /// bottom margin
+       int bottomMargin() const;
 
        /// return the on-screen size of this length
        /*
@@ -236,7 +241,7 @@ public:
 
        /// request an X11 selection.
        /// \return the selected string.
-       docstring const requestSelection();
+       docstring requestSelection();
        /// clear the X11 selection.
        void clearSelection();
 
@@ -296,12 +301,17 @@ public:
        ///
        CoordCache const & coordCache() const;
 
+       ///
+       MathRow const & mathRow(MathData const * cell) const;
+       ///
+       void setMathRow(MathData const * cell, MathRow const & mrow);
+
        ///
        Point getPos(DocIterator const & dit) const;
        /// is the paragraph of the cursor visible ?
        bool paragraphVisible(DocIterator const & dit) const;
-       /// is the cursor currently visible in the view
-       bool cursorInView(Point const & p, int h) const;
+       /// is the caret currently visible in the view
+       bool caretInView() const;
        /// get the position and height of the caret
        void caretPosAndHeight(Point & p, int & h) const;
 
@@ -325,7 +335,7 @@ public:
        /// This signal is emitted when some dialog needs to be shown with
        /// some data.
        void showDialog(std::string const & name, std::string const & data,
-               Inset * inset = 0);
+               Inset * inset = nullptr);
 
        /// This signal is emitted when some dialogs needs to be updated.
        void updateDialog(std::string const & name, std::string const & data);