#ifndef BUFFER_VIEW_H
#define BUFFER_VIEW_H
+#include "CoordCache.h"
#include "DocumentClassPtr.h"
#include "TexRow.h"
#include "update_flags.h"
namespace support { class FileName; }
-namespace frontend { class CaretGeometry; }
+namespace frontend { struct CaretGeometry; }
namespace frontend { class Painter; }
namespace frontend { class GuiBufferViewDelegate; }
class Buffer;
class Change;
-class CoordCache;
class Cursor;
class CursorSlice;
class Dimension;
class FuncStatus;
class Intl;
class Inset;
+class InsetMathNest;
class Length;
class MathData;
class MathRow;
///
void setFullScreen(bool full_screen) { full_screen_ = full_screen; }
+ /// default value for the margins
+ int defaultMargin() const;
/// right margin
int rightMargin() const;
/// left margin
/// 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
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