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