blob: 4a3d3701b627dd135d9aa69fdce560f51c3ef8c8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
#ifndef window_hh_INCLUDED
#define window_hh_INCLUDED
#include "display_buffer.hh"
#include "highlighter_group.hh"
#include "option_manager.hh"
#include "safe_ptr.hh"
#include "scope.hh"
namespace Kakoune
{
// A Window is a view onto a Buffer
class Window : public SafeCountable, public OptionManagerWatcher, public Scope
{
public:
Window(Buffer& buffer);
~Window();
const CharCoord& position() const { return m_position; }
void set_position(CharCoord position);
const CharCoord& dimensions() const { return m_dimensions; }
void set_dimensions(CharCoord dimensions);
void center_line(LineCount buffer_line);
void display_line_at(LineCount buffer_line, LineCount display_line);
void scroll(LineCount offset);
void scroll(CharCount offset);
const DisplayBuffer& update_display_buffer(const Context& context);
CharCoord display_position(ByteCoord coord) const;
ByteCoord buffer_coord(CharCoord coord) const;
Highlighter& highlighters() { return m_highlighters; }
Buffer& buffer() const { return *m_buffer; }
bool needs_redraw(const Context& context) const;
void force_redraw() { m_hash = -1; }
ByteCoord offset_coord(ByteCoord coord, CharCount offset);
ByteCoordAndTarget offset_coord(ByteCoordAndTarget coord, LineCount offset);
void clear_display_buffer();
private:
Window(const Window&) = delete;
void on_option_changed(const Option& option) override;
void scroll_to_keep_selection_visible_ifn(const Context& context);
void run_hook_in_own_context(StringView hook_name, StringView param);
size_t compute_hash(const Context& context) const;
SafePtr<Buffer> m_buffer;
CharCoord m_position;
CharCoord m_dimensions;
DisplayBuffer m_display_buffer;
HighlighterGroup m_highlighters;
HighlighterGroup m_builtin_highlighters;
// hash used to determine if a redraw is necessary
size_t m_hash = -1;
};
}
#endif // window_hh_INCLUDED
|
