namespace support { class FileName; }
+namespace frontend { struct CaretGeometry; }
namespace frontend { class Painter; }
namespace frontend { class GuiBufferViewDelegate; }
/// 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
bool caretInView() const;
/// get the position and height of the caret
void caretPosAndDim(Point & p, Dimension & dim) const;
+ /// compute the shape of the caret
+ void buildCaretGeometry(bool complet);
+ /// the shape of the caret
+ frontend::CaretGeometry const & caretGeometry() const;
///
void draw(frontend::Painter & pain, bool paint_caret);