namespace support { class FileName; }
+namespace frontend { class Painter; }
+
class Buffer;
class Change;
class DocIterator;
*/
class BufferView : boost::noncopyable {
public:
- BufferView();
+ ///
+ BufferView(Buffer & buffer);
~BufferView();
- /// set the buffer we are viewing.
- /// \todo FIXME: eventually, we will create a new BufferView
- /// when switching Buffers, so this method should go.
- void setBuffer(Buffer * b);
/// return the buffer being viewed.
- Buffer * buffer() const;
-
- /// resize the BufferView.
- void resize();
+ Buffer & buffer();
+ Buffer const & buffer() const;
/// perform pending metrics updates.
/** \c Update::FitCursor means first to do a FitCursor, and to
/// 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(); }
///
///
CoordCache coord_cache_;
///
- Buffer * buffer_;
+ Buffer & buffer_;
/// Estimated average par height for scrollbar.
int wh_;
pit_type anchor_ref_;
///
int offset_ref_;
+ ///
+ void updateOffsetRef();
+ ///
+ bool need_centering_;
/// keyboard mapping object.
boost::scoped_ptr<Intl> const intl_;
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