Allow counter insets in pass thru

[features.git] / src / BufferView.h

diff --git a/src/BufferView.h b/src/BufferView.h
index 1b76da27117c593e4fdad9bc029f5465883005d4..b2fa1c028349ba23c3ff9f6bcac8f476319398a4 100644 (file)
--- a/src/BufferView.h
+++ b/src/BufferView.h
@@ -15,6 +15,7 @@
 #ifndef BUFFER_VIEW_H
 #define BUFFER_VIEW_H
 
+#include "CoordCache.h"
 #include "DocumentClassPtr.h"
 #include "TexRow.h"
 #include "update_flags.h"
@@ -32,7 +33,6 @@ namespace frontend { class GuiBufferViewDelegate; }
 
 class Buffer;
 class Change;
-class CoordCache;
 class Cursor;
 class CursorSlice;
 class Dimension;
@@ -42,6 +42,7 @@ class FuncRequest;
 class FuncStatus;
 class Intl;
 class Inset;
+class InsetMathNest;
 class Length;
 class MathData;
 class MathRow;
@@ -100,6 +101,8 @@ public:
        ///
        void setFullScreen(bool full_screen) { full_screen_ = full_screen; }
 
+       /// default value for the margins
+       int defaultMargin() const;
        /// right margin
        int rightMargin() const;
        /// left margin
@@ -109,6 +112,9 @@ public:
        /// bottom margin
        int bottomMargin() const;
 
+       docstring const & searchRequestCache() const;
+       void setSearchRequestCache(docstring const & text);
+
        /// return the on-screen size of this length
        /*
         *  This is a wrapper around Length::inPixels that uses the
@@ -157,6 +163,12 @@ public:
        docstring toolTip(int x, int y) const;
        /// \return the context menu for the given position.
        std::string contextMenu(int x, int y) const;
+       /// \return the math inset with a context menu for the given position
+       Inset const * mathContextMenu(InsetMathNest const * inset,
+               CoordCache::Insets const & inset_cache, int x, int y) const;
+       /// \return the clickable math inset for the given position
+       Inset const * clickableMathInset(InsetMathNest const * inset,
+               CoordCache::Insets const & inset_cache, int x, int y) const;
 
        /// Save the current position as bookmark.
        /// if idx == 0, save to temp_bookmark