]> git.lyx.org Git - lyx.git/blobdiff - src/Row.h
Account for old versions of Pygments
[lyx.git] / src / Row.h
index 03aeb746369265df318a9faff0dfc44c47d75405..498fd07d7f8f8ce5c08335171605061ed6269701 100644 (file)
--- a/src/Row.h
+++ b/src/Row.h
@@ -30,36 +30,80 @@ class DocIterator;
 class Inset;
 
 /**
- * An on-screen row of text. A paragraph is broken into a
- * RowList for display. Each Row contains position pointers
- * into the first and last character positions of that row.
+ * An on-screen row of text. A paragraph is broken into a RowList for
+ * display. Each Row contains a tokenized description of the contents
+ * of the line.
  */
 class Row {
 public:
+       // Possible types of row elements
+       enum Type {
+               // a string of character
+               STRING,
+               /**
+                * Something (completion, end-of-par marker)
+                * that occupies space one screen but does not
+                * correspond to any paragraph contents
+                */
+               VIRTUAL,
+               // An inset
+               INSET,
+               // Some spacing described by its width, not a string
+               SPACE
+       };
+
 /**
  * One element of a Row. It has a set of attributes that can be used
  * by other methods that need to parse the Row contents.
  */
        struct Element {
-               enum Type {
-                       STRING,
-                       COMPLETION,
-                       SEPARATOR,
-                       INSET,
-                       SPACE
-               };
-
                Element(Type const t, pos_type p, Font const & f, Change const & ch)
                        : type(t), pos(p), endpos(p + 1), inset(0),
                          extra(0), font(f), change(ch), final(false) {}
 
-               //
-               bool isSeparator() const { return type == SEPARATOR; }
-               // returns total width of element, including separator overhead
-               double width() const { return dim.wid + extra; };
-               // returns position in pixels (from the left) of position
-               // \param i in the row element
+               // Return the number of separator in the element (only STRING type)
+               int countSeparators() const;
+
+               // Return total width of element, including separator overhead
+               // FIXME: Cache this value or the number of expanders?
+               double full_width() const { return dim.wid + extra * countExpanders(); }
+               // Return the number of expanding characters in the element (only STRING
+               // type).
+               int countExpanders() const;
+               // Return the amount of expansion: the number of expanding characters
+               // that get stretched during justification, times the em of the font
+               // (only STRING type).
+               int expansionAmount() const;
+               // set extra proportionally to the font em value.
+               void setExtra(double extra_per_em);
+
+               /** Return position in pixels (from the left) of position
+                * \param i in the row element.
+                */
                double pos2x(pos_type const i) const;
+               /** Return character position that is the closest to
+                *  pixel position \param x. The value \param x is
+                *  adjusted to the actual pixel position.
+               */
+               pos_type x2pos(int &x) const;
+               /** Break the element if possible, so that its width is less
+                * than \param w. Returns true on success. When \param force
+                * is true, the string is cut at any place, other wise it
+                * respects the row breaking rules of characters.
+                */
+               bool breakAt(int w, bool force);
+
+               // Returns the position on left side of the element.
+               pos_type left_pos() const;
+               // Returns the position on right side of the element.
+               pos_type right_pos() const;
+
+               //
+               bool isRTL() const { return font.isVisibleRightToLeft(); }
+               // This is true for virtual elements.
+               // Note that we do not use the type here. The two definitions
+               // should be equivalent
+               bool isVirtual() const { return pos == endpos; }
 
                // The kind of row element
                Type type;
@@ -74,10 +118,10 @@ public:
                // Non-zero only if element is an inset
                Inset const * inset;
 
-               // Only non-null for separator elements
+               // Only non-null for justified rows
                double extra;
 
-               // Non-empty if element is a string or separator
+               // Non-empty if element is a string or is virtual
                docstring str;
                //
                Font font;
@@ -112,26 +156,51 @@ public:
                DocIterator const & end) const;
 
        ///
-       void pos(pos_type p);
+       void pit(pit_type p) { pit_ = p; }
+       ///
+       pit_type pit() const { return pit_; }
+       ///
+       void pos(pos_type p) { pos_ = p; }
        ///
        pos_type pos() const { return pos_; }
        ///
-       void endpos(pos_type p);
+       void endpos(pos_type p) { end_ = p; }
        ///
        pos_type endpos() const { return end_; }
+       ///
+       void right_boundary(bool b) { right_boundary_ = b; }
+       ///
+       bool right_boundary() const { return right_boundary_; }
+       ///
+       void flushed(bool b) { flushed_ = b; }
+       ///
+       bool flushed() const { return flushed_; }
+
        ///
        Dimension const & dimension() const { return dim_; }
        ///
        Dimension & dimension() { return dim_; }
        ///
        int height() const { return dim_.height(); }
-       ///
+       /// The width of the row, including the left margin, but not the right one.
        int width() const { return dim_.wid; }
        ///
        int ascent() const { return dim_.asc; }
        ///
        int descent() const { return dim_.des; }
 
+       /// The offset of the left-most cursor position on the row
+       int left_x() const;
+       /// The offset of the right-most cursor position on the row
+       int right_x() const;
+
+       // Return the number of separators in the row
+       int countSeparators() const;
+       // Set the extra spacing for every expanding character in STRING-type
+       // elements.  \param w is the total amount of extra width for the row to be
+       // distributed among expanders.  \return false if the justification fails.
+       bool setExtraWidth(int w);
+
        ///
        void add(pos_type pos, Inset const * ins, Dimension const & dim,
                 Font const & f, Change const & ch);
@@ -139,11 +208,8 @@ public:
        void add(pos_type pos, char_type const c,
                 Font const & f, Change const & ch);
        ///
-       void addCompletion(pos_type pos, docstring const & s,
-                          Font const & f, Change const & ch);
-       ///
-       void addSeparator(pos_type pos, char_type const c,
-                         Font const & f, Change const & ch);
+       void addVirtual(pos_type pos, docstring const & s,
+                       Font const & f, Change const & ch);
        ///
        void addSpace(pos_type pos, int width, Font const & f, Change const & ch);
 
@@ -165,6 +231,10 @@ public:
        ///
        bool empty() const { return elements_.empty(); }
        ///
+       Element & front() { return elements_.front(); }
+       ///
+       Element const & front() const { return elements_.front(); }
+       ///
        Element & back() { return elements_.back(); }
        ///
        Element const & back() const { return elements_.back(); }
@@ -173,11 +243,15 @@ public:
        /// remove all row elements
        void clear() { elements_.clear(); }
        /**
-        * remove all elements after last separator and update endpos
-        * if necessary.
-        * \param keep is the minimum amount of text to keep.
+        * if row width is too large, remove all elements after last
+        * separator and update endpos if necessary. If all that
+        * remains is a large word, cut it to \param width.
+        * \param body_pos minimum amount of text to keep.
+        * \param width maximum width of the row.
+        * \param available width on next row.
+        * \return true if the row has been shortened.
         */
-       void separate_back(pos_type keep);
+       bool shortenIfNeeded(pos_type const body_pos, int const width, int const next_width);
 
        /**
         * If last element of the row is a string, compute its width
@@ -186,19 +260,25 @@ public:
        void finalizeLast();
 
        /**
-        * Find sequences of RtL elements and reverse them.
+        * Find sequences of right-to-left elements and reverse them.
         * This should be called once the row is completely built.
         */
-       void reverseRtL();
+       void reverseRTL(bool rtl_par);
+       ///
+       bool isRTL() const { return rtl_; }
+       /// Find row element that contains \c pos, and compute x offset.
+       const_iterator const findElement(pos_type pos, bool boundary, double & x) const;
 
        friend std::ostream & operator<<(std::ostream & os, Row const & row);
 
-       /// width of a separator (i.e. space)
+       /// additional width for separators in justified rows (i.e. space)
        double separator;
        /// width of hfills in the label
        double label_hfill;
-       /// the x position of the row
-       double x;
+       /// the left margin position of the row
+       int left_margin;
+       /// the right margin of the row
+       int right_margin;
        ///
        mutable pos_type sel_beg;
        ///
@@ -232,12 +312,20 @@ private:
        mutable bool changed_;
        /// CRC of row contents.
        mutable size_type crc_;
+       /// Index of the paragraph that contains this row
+       pit_type pit_;
        /// first pos covered by this row
        pos_type pos_;
        /// one behind last pos covered by this row
        pos_type end_;
+       // Is there a boundary at the end of the row (display inset...)
+       bool right_boundary_;
+       // Shall the row be flushed when it is supposed to be justified?
+       bool flushed_;
        /// Row dimension.
        Dimension dim_;
+       /// true when this row lives in a right-to-left paragraph
+       bool rtl_;
 };