#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 { struct CaretGeometry; }
namespace frontend { class Painter; }
namespace frontend { class GuiBufferViewDelegate; }
class Buffer;
class Change;
-class CoordCache;
class Cursor;
class CursorSlice;
+class Dimension;
class DispatchResult;
class DocIterator;
-class DocumentClass;
class FuncRequest;
class FuncStatus;
class Intl;
class Inset;
+class InsetMathNest;
class Length;
-class ParIterator;
+class MathData;
+class MathRow;
class ParagraphMetrics;
class Point;
-class Row;
-class TexRow;
class Text;
class TextMetrics;
CUR_BELOW
};
+/// How to show cursor
+enum ScrollType {
+ // Make sure row if visible (do nothing if it is visible already)
+ SCROLL_VISIBLE,
+ // Force cursor to be on top of screen
+ SCROLL_TOP,
+ // Force cursor to be at center of screen
+ SCROLL_CENTER
+};
+
/// Scrollbar Parameters.
struct ScrollbarParameters
{
Buffer & buffer();
Buffer const & buffer() const;
+ /// Copy cursor and vertical offset information from \c bv
+ void copySettingsFrom(BufferView const & bv);
+
///
void setFullScreen(bool full_screen) { full_screen_ = full_screen; }
+ /// default value for the margins
+ int defaultMargin() const;
/// right margin
int rightMargin() const;
-
/// left margin
int leftMargin() const;
+ /// top margin
+ int topMargin() const;
+ /// bottom margin
+ int bottomMargin() const;
+
+ docstring const & searchRequestCache() const;
+ void setSearchRequestCache(docstring const & text);
/// return the on-screen size of this length
/*
/// Only to be called with good y coordinates (after a bv::metrics)
bool needsFitCursor() const;
- /// returns true if this row needs to be repainted (to erase caret)
- bool needRepaint(Text const * text, Row const & row) const;
-
// Returns the amount of horizontal scrolling applied to the
// top-level row where the cursor lies
int horizScrollOffset() const;
int horizScrollOffset(Text const * text,
pit_type pit, pos_type pos) const;
- // Returns true if the row of text starting at (pit, pos) was scrolled
- // at the last draw event.
- bool hadHorizScrollOffset(Text const * text,
- pit_type pit, pos_type pos) const;
-
- /// reset the scrollbar to reflect current view position.
- void updateScrollbar();
+ /// reset the scrollbar parameters to reflect current view position.
+ void updateScrollbarParameters();
/// return the Scrollbar Parameters.
ScrollbarParameters const & scrollbarParameters() const;
/// \return Tool tip for the given position.
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
/// This method will automatically scroll and update the BufferView
/// (metrics+drawing) if needed.
void showCursor();
+
/// Ensure the passed cursor \p dit is visible.
/// This method will automatically scroll and update the BufferView
/// (metrics+drawing) if needed.
- /// \param recenter Whether the cursor should be centered on screen
- void showCursor(DocIterator const & dit, bool recenter,
- bool update);
+ /// \param how Use this scroll strategy
+ /// \param force If true, update screen after scrolling
+ void showCursor(DocIterator const & dit, ScrollType how, bool update);
/// Scroll to the cursor.
- void scrollToCursor();
- /// Scroll to the cursor.
- /// \param recenter Whether the cursor should be centered on screen
- bool scrollToCursor(DocIterator const & dit, bool recenter);
+ /// \param how Use this scroll strategy
+ /// \return true if screen was scrolled
+ bool scrollToCursor(DocIterator const & dit, ScrollType how);
/// scroll down document by the given number of pixels.
int scrollDown(int pixels);
/// scroll up document by the given number of pixels.
/// return the inline completion postfix.
docstring const & inlineCompletion() const;
/// return the number of unique characters in the inline completion.
- size_t const & inlineCompletionUniqueChars() const;
+ size_t inlineCompletionUniqueChars() const;
/// return the position in the buffer of the inline completion postfix.
DocIterator const & inlineCompletionPos() const;
/// make sure inline completion position is OK
/// request an X11 selection.
/// \return the selected string.
- docstring const requestSelection();
+ docstring requestSelection();
/// clear the X11 selection.
void clearSelection();
*/
void putSelectionAt(DocIterator const & cur,
int length, bool backwards);
+ /// set a selection between \p from and \p to
+ void setSelection(DocIterator const & from,
+ DocIterator const & to);
/// selects the item at cursor if its paragraph is empty.
bool selectIfEmpty(DocIterator & cur);
- /// update the internal \c ViewMetricsInfo.
+ /// Ditch all metrics information and rebuild it. Set the update
+ /// flags and the draw strategy flags accordingly.
void updateMetrics();
// this is the "nodraw" drawing stage: only set the positions of the
///
CoordCache const & coordCache() const;
+ ///
+ bool hasMathRow(MathData const * cell) 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;
-
+ 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;
+
+ /// Returns true when metrics have been computed at least once
+ bool ready() const { return width_ > 0 && height_ > 0; }
+ /// Returns true when the BufferView is not ready for drawing
+ bool busy() const;
///
void draw(frontend::Painter & pain, bool paint_caret);
/// 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);
// Insert plain text file (if filename is empty, prompt for one)
void insertPlaintextFile(support::FileName const & f, bool asParagraph);
///
- void insertLyXFile(support::FileName const & f);
+ void insertLyXFile(support::FileName const & f, bool const ignorelang = false);
/// save temporary bookmark for jump back navigation
void bookmarkEditPosition();
/// Find and return the inset associated with given dialog name.
bool clickableInset() const;
///
void makeDocumentClass();
+ /// Are we currently performing a selection with the mouse?
+ bool mouseSelecting() const;
+
+ /// Reference value for statistics (essentially subtract this from the actual value to see relative counts)
+ /// (words/chars/chars no blanks)
+ int stats_ref_value_w() const;
+ int stats_ref_value_c() const;
+ int stats_ref_value_nb() const;
+ //signals need for update in gui
+ bool stats_update_trigger();
private:
/// noncopyable
/// Update current paragraph metrics.
/// \return true if no further update is needed.
bool singleParUpdate();
- /// do the work for the public updateMetrics()
- void updateMetrics(Update::flags & update_flags);
+ /** Helper for the public updateMetrics() and for processUpdateFlags()
+ * * When \c force is true, get rid of all paragraph metrics and
+ rebuild them anew.
+ * * When it is false, keep the paragraphs that are still visible in
+ * WorkArea and rebuild the missing ones.
+ *
+ * This does also set the anchor paragraph and its position correctly
+ */
+ void updateMetrics(bool force);
// Set the row on which the cursor lives.
void setCurrentRowSlice(CursorSlice const & rowSlice);