namespace support { class FileName; }
+namespace frontend { class Painter; }
+
class Buffer;
class Change;
class DocIterator;
/// Save the current position as bookmark.
/// if idx == 0, save to temp_bookmark
void saveBookmark(unsigned int idx);
- /// goto a specified position, try top_id first, and then bottom_pit
- /// return the bottom_pit and top_id of the new paragraph
- boost::tuple<pit_type, pos_type, int> moveToPosition(
+ /// goto a specified position, try top_id first, and then bottom_pit.
+ /// \return true if success
+ bool moveToPosition(
pit_type bottom_pit, ///< Paragraph pit, used when par_id is zero or invalid.
pos_type bottom_pos, ///< Paragraph pit, used when par_id is zero or invalid.
int top_id, ///< Paragraph ID, \sa Paragraph
/// center the document view around the cursor.
void center();
- /// scroll document by the given number of lines of default height.
- void scroll(int lines);
+ /// scroll down document by the given number of pixels.
+ void scrollDown(int pixels);
+ /// scroll up document by the given number of pixels.
+ void scrollUp(int pixels);
+ /// scroll document by the given number of pixels.
+ void scroll(int pixels);
/// Scroll the view by a number of pixels.
void scrollDocView(int pixels);
/// Set the cursor position based on the scrollbar one.
/// clear the X11 selection.
void clearSelection();
- /// resize method helper for \c WorkArea
+ /// resize the BufferView.
/// \sa WorkArea
- /// \sa resise
- void workAreaResize(int width, int height);
+ void resize(int width, int height);
/// dispatch method helper for \c WorkArea
/// \sa WorkArea
CoordCache const & coordCache() const {
return coord_cache_;
}
+
+ ///
+ void draw(frontend::Painter & pain);
+
/// get this view's keyboard map handler.
Intl & getIntl() { return *intl_.get(); }
///
mutable TextMetricsCache text_metrics_;
};
+/// some space for drawing the 'nested' markers (in pixel)
+inline int nestMargin() { return 15; }
+
+/// margin for changebar
+inline int changebarMargin() { return 12; }
+
+/// right margin
+inline int rightMargin() { return 10; }
} // namespace lyx