kakoune/src/window.hh

82 lines
2.4 KiB
C++
Raw Normal View History

2011-09-02 18:51:20 +02:00
#ifndef window_hh_INCLUDED
#define window_hh_INCLUDED
#include "completion.hh"
2013-04-09 20:05:40 +02:00
#include "display_buffer.hh"
#include "editor.hh"
#include "highlighter.hh"
#include "highlighter.hh"
2012-04-03 14:01:01 +02:00
#include "hook_manager.hh"
#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
{
// A Window is an editing view onto a Buffer
//
// The Window class is an interactive Editor adding display functionalities
// to the editing ones already provided by the Editor class.
// Display can be customized through the use of highlighters handled by
// the window's HighlighterGroup
class Window : public Editor, public OptionManagerWatcher
2011-09-02 18:51:20 +02:00
{
public:
Window(Buffer& buffer);
~Window();
const DisplayCoord& position() const { return m_position; }
2013-07-26 00:44:00 +02:00
void set_position(DisplayCoord position);
2012-09-07 21:09:23 +02:00
const DisplayCoord& dimensions() const { return m_dimensions; }
2013-07-26 00:44:00 +02:00
void set_dimensions(DisplayCoord dimensions);
2011-09-02 18:51:20 +02:00
const DisplayBuffer& display_buffer() const { return m_display_buffer; }
void center_line(LineCount buffer_line);
void display_line_at(LineCount buffer_line, LineCount display_line);
void scroll(LineCount offset);
2013-07-24 01:38:30 +02:00
void scroll(CharCount offset);
2011-09-02 18:51:20 +02:00
void update_display_buffer();
2013-07-26 00:44:00 +02:00
DisplayCoord display_position(BufferCoord coord);
HighlighterGroup& highlighters() { return m_highlighters; }
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; }
size_t timestamp() const { return m_timestamp; }
void forget_timestamp() { m_timestamp = -1; }
2012-01-23 14:57:24 +01:00
2013-12-15 15:14:52 +01:00
BufferCoord offset_coord(BufferCoord coord, CharCount offset);
BufferCoord offset_coord(BufferCoord coord, LineCount offset);
2011-09-02 18:51:20 +02:00
private:
Window(const Window&) = delete;
void on_option_changed(const Option& option) override;
2011-12-21 20:06:26 +01:00
void scroll_to_keep_cursor_visible_ifn();
DisplayCoord m_position;
DisplayCoord m_dimensions;
DisplayBuffer m_display_buffer;
HookManager m_hooks;
OptionManager m_options;
2013-10-25 01:01:17 +02:00
KeymapManager m_keymaps;
HighlighterGroup m_highlighters;
HighlighterGroup m_builtin_highlighters;
size_t m_timestamp = -1;
2011-09-02 18:51:20 +02:00
};
}
#endif // window_hh_INCLUDED