X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2FBufferView.h;h=fbbd1e7f2645440eac78fe2158ea3c74ae9b762c;hb=294e4884ee29585d311177406cd31499e6d81877;hp=520ecdb0d571b76b328a7e2c43996fd9125d79f4;hpb=2ed3b22a0674ced6a16a9d2d6be9655b988b95a0;p=lyx.git

diff --git a/src/BufferView.h b/src/BufferView.h
index 520ecdb0d5..fbbd1e7f26 100644
--- a/src/BufferView.h
+++ b/src/BufferView.h
@@ -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,14 +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;
-	/// set the ascent and descent of the caret
-	void setCaretAscentDescent(int asc, int des);
+	/// 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;
 
@@ -327,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);