2011-09-02 20:51:20 +04:00
|
|
|
#ifndef window_hh_INCLUDED
|
|
|
|
#define window_hh_INCLUDED
|
|
|
|
|
2011-11-12 18:15:35 +04:00
|
|
|
#include "completion.hh"
|
2013-04-09 22:05:40 +04:00
|
|
|
#include "display_buffer.hh"
|
|
|
|
#include "editor.hh"
|
2011-11-30 02:37:20 +04:00
|
|
|
#include "highlighter.hh"
|
2013-03-27 16:41:41 +04:00
|
|
|
#include "highlighter.hh"
|
2012-04-03 16:01:01 +04:00
|
|
|
#include "hook_manager.hh"
|
2012-04-03 17:39:20 +04:00
|
|
|
#include "option_manager.hh"
|
2011-09-02 20:51:20 +04:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
2011-09-20 01:56:29 +04:00
|
|
|
|
2012-01-11 18:21:58 +04:00
|
|
|
// A Window is an editing view onto a Buffer
|
|
|
|
//
|
2012-01-31 23:12:06 +04:00
|
|
|
// 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
|
2012-08-05 20:23:09 +04:00
|
|
|
class Window : public Editor, public OptionManagerWatcher
|
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();
|
|
|
|
|
2012-10-11 02:41:48 +04:00
|
|
|
const DisplayCoord& position() const { return m_position; }
|
2012-10-31 17:28:47 +04:00
|
|
|
void set_position(const DisplayCoord& position);
|
2012-01-31 23:12:06 +04:00
|
|
|
|
2012-09-07 23:09:23 +04:00
|
|
|
const DisplayCoord& dimensions() const { return m_dimensions; }
|
2011-10-14 18:29:53 +04:00
|
|
|
void set_dimensions(const DisplayCoord& dimensions);
|
2011-09-02 20:51:20 +04:00
|
|
|
|
|
|
|
const DisplayBuffer& display_buffer() const { return m_display_buffer; }
|
|
|
|
|
2012-08-21 22:05:56 +04:00
|
|
|
void center_selection();
|
2013-04-11 23:01:00 +04:00
|
|
|
void display_selection_at(LineCount line);
|
2011-09-02 20:51:20 +04:00
|
|
|
void update_display_buffer();
|
2011-09-05 22:54:17 +04:00
|
|
|
|
2012-09-30 18:22:03 +04:00
|
|
|
DisplayCoord display_position(const BufferIterator& it);
|
|
|
|
|
2012-01-20 00:37:29 +04:00
|
|
|
HighlighterGroup& highlighters() { return m_highlighters; }
|
2011-11-12 18:15:35 +04:00
|
|
|
|
2012-11-22 16:50:29 +04: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; }
|
2012-08-10 16:21:01 +04:00
|
|
|
|
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
|
|
|
|
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;
|
2011-12-21 23:06:26 +04:00
|
|
|
|
2012-01-31 23:12:06 +04:00
|
|
|
void scroll_to_keep_cursor_visible_ifn();
|
2011-09-20 01:56:29 +04:00
|
|
|
|
2012-10-11 02:41:48 +04:00
|
|
|
DisplayCoord m_position;
|
2011-10-14 18:29:53 +04:00
|
|
|
DisplayCoord m_dimensions;
|
2011-09-08 04:13:19 +04:00
|
|
|
DisplayBuffer m_display_buffer;
|
2011-09-29 00:54:11 +04:00
|
|
|
|
2012-11-22 16:50:29 +04:00
|
|
|
HookManager m_hooks;
|
|
|
|
OptionManager m_options;
|
2012-11-05 22:54:09 +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
|