2011-09-02 18:51:20 +02:00
|
|
|
#ifndef window_hh_INCLUDED
|
|
|
|
#define window_hh_INCLUDED
|
|
|
|
|
2011-11-12 15:15:35 +01:00
|
|
|
#include "completion.hh"
|
2013-04-09 20:05:40 +02:00
|
|
|
#include "display_buffer.hh"
|
2013-03-27 13:41:41 +01:00
|
|
|
#include "highlighter.hh"
|
2013-12-20 21:10:08 +01:00
|
|
|
#include "selection.hh"
|
2012-04-03 14:01:01 +02:00
|
|
|
#include "hook_manager.hh"
|
2012-04-03 15:39:20 +02:00
|
|
|
#include "option_manager.hh"
|
2013-10-25 01:01:17 +02:00
|
|
|
#include "keymap_manager.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
|
|
|
|
class Window : public SafeCountable, public OptionManagerWatcher
|
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
|
|
|
|
2012-01-19 21:37:29 +01:00
|
|
|
HighlighterGroup& highlighters() { return m_highlighters; }
|
2011-11-12 15:15:35 +01:00
|
|
|
|
2012-11-22 13:50:29 +01:00
|
|
|
OptionManager& options() { return m_options; }
|
|
|
|
const OptionManager& options() const { return m_options; }
|
|
|
|
HookManager& hooks() { return m_hooks; }
|
|
|
|
const HookManager& hooks() const { return m_hooks; }
|
2013-10-25 01:01:17 +02:00
|
|
|
KeymapManager& keymaps() { return m_keymaps; }
|
|
|
|
const KeymapManager& keymaps() const { return m_keymaps; }
|
2012-08-10 14:21:01 +02: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);
|
|
|
|
ByteCoord offset_coord(ByteCoord 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
|
|
|
|
2012-11-22 13:50:29 +01:00
|
|
|
HookManager m_hooks;
|
|
|
|
OptionManager m_options;
|
2013-10-25 01:01:17 +02:00
|
|
|
KeymapManager m_keymaps;
|
2012-11-05 19:54:09 +01: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
|