2011-09-02 18:51:20 +02:00
|
|
|
#ifndef window_hh_INCLUDED
|
|
|
|
#define window_hh_INCLUDED
|
|
|
|
|
2013-04-09 20:05:40 +02:00
|
|
|
#include "display_buffer.hh"
|
2014-06-10 20:58:02 +02:00
|
|
|
#include "highlighter_group.hh"
|
2014-11-12 22:27:07 +01:00
|
|
|
#include "option_manager.hh"
|
2014-08-12 01:30:13 +02:00
|
|
|
#include "safe_ptr.hh"
|
2014-10-30 15:00:42 +01:00
|
|
|
#include "scope.hh"
|
2011-09-02 18:51:20 +02:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
2011-09-19 23:56:29 +02:00
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
// A Window is a view onto a Buffer
|
2014-10-30 15:00:42 +01:00
|
|
|
class Window : public SafeCountable, public OptionManagerWatcher, public Scope
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
|
|
|
public:
|
2012-11-22 14:08:55 +01:00
|
|
|
Window(Buffer& buffer);
|
2012-06-14 15:19:38 +02:00
|
|
|
~Window();
|
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
const CharCoord& position() const { return m_position; }
|
|
|
|
void set_position(CharCoord position);
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
const CharCoord& dimensions() const { return m_dimensions; }
|
|
|
|
void set_dimensions(CharCoord dimensions);
|
2011-09-02 18:51:20 +02:00
|
|
|
|
|
|
|
const DisplayBuffer& display_buffer() const { return m_display_buffer; }
|
|
|
|
|
2013-12-16 15:01:40 +01:00
|
|
|
void center_line(LineCount buffer_line);
|
|
|
|
void display_line_at(LineCount buffer_line, LineCount display_line);
|
2013-04-12 01:31:21 +02:00
|
|
|
void scroll(LineCount offset);
|
2013-07-24 01:38:30 +02:00
|
|
|
void scroll(CharCount offset);
|
2013-12-17 00:24:08 +01:00
|
|
|
void update_display_buffer(const Context& context);
|
2011-09-05 20:54:17 +02:00
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord display_position(ByteCoord coord);
|
2012-09-30 16:22:03 +02:00
|
|
|
|
2014-10-22 01:20:09 +02:00
|
|
|
Highlighter& highlighters() { return m_highlighters; }
|
2011-11-12 15:15:35 +01:00
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
Buffer& buffer() const { return *m_buffer; }
|
|
|
|
|
2012-11-05 19:54:09 +01:00
|
|
|
size_t timestamp() const { return m_timestamp; }
|
|
|
|
void forget_timestamp() { m_timestamp = -1; }
|
2012-01-23 14:57:24 +01:00
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
ByteCoord offset_coord(ByteCoord coord, CharCount offset);
|
2014-09-09 20:35:54 +02:00
|
|
|
ByteCoordAndTarget offset_coord(ByteCoordAndTarget coord, LineCount offset);
|
2011-09-02 18:51:20 +02:00
|
|
|
private:
|
2011-09-08 16:30:36 +02:00
|
|
|
Window(const Window&) = delete;
|
|
|
|
|
2013-03-03 17:25:40 +01:00
|
|
|
void on_option_changed(const Option& option) override;
|
2013-12-20 21:10:08 +01:00
|
|
|
void scroll_to_keep_selection_visible_ifn(const Context& context);
|
2011-12-21 20:06:26 +01:00
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
safe_ptr<Buffer> m_buffer;
|
2011-09-19 23:56:29 +02:00
|
|
|
|
2014-05-07 20:51:01 +02:00
|
|
|
CharCoord m_position;
|
|
|
|
CharCoord m_dimensions;
|
2011-09-08 02:13:19 +02:00
|
|
|
DisplayBuffer m_display_buffer;
|
2011-09-28 22:54:11 +02:00
|
|
|
|
2013-04-02 13:58:04 +02:00
|
|
|
HighlighterGroup m_highlighters;
|
|
|
|
HighlighterGroup m_builtin_highlighters;
|
|
|
|
|
2012-11-05 19:54:09 +01:00
|
|
|
size_t m_timestamp = -1;
|
2011-09-02 18:51:20 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // window_hh_INCLUDED
|