2011-09-02 18:51:20 +02:00
|
|
|
#ifndef window_hh_INCLUDED
|
|
|
|
#define window_hh_INCLUDED
|
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
#include "editor.hh"
|
2011-09-02 18:51:20 +02:00
|
|
|
#include "display_buffer.hh"
|
2011-11-12 15:15:35 +01:00
|
|
|
#include "completion.hh"
|
2011-11-29 23:37:20 +01:00
|
|
|
#include "highlighter.hh"
|
2012-01-19 21:37:29 +01:00
|
|
|
#include "highlighter_group.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"
|
2011-09-02 18:51:20 +02:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
2012-01-15 14:46:12 +01:00
|
|
|
class HighlighterGroup;
|
2011-09-19 23:56:29 +02:00
|
|
|
|
2012-01-11 15:21:58 +01:00
|
|
|
// A Window is an editing view onto a Buffer
|
|
|
|
//
|
2012-01-31 20:12:06 +01: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 18:23:09 +02:00
|
|
|
class Window : public Editor, public OptionManagerWatcher
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
|
|
|
public:
|
2012-06-14 15:19:38 +02:00
|
|
|
~Window();
|
|
|
|
|
2011-09-05 21:06:31 +02:00
|
|
|
const BufferCoord& position() const { return m_position; }
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2011-10-14 16:29:53 +02:00
|
|
|
void set_dimensions(const DisplayCoord& dimensions);
|
2011-09-02 18:51:20 +02:00
|
|
|
|
|
|
|
const DisplayBuffer& display_buffer() const { return m_display_buffer; }
|
|
|
|
|
2012-08-21 20:05:56 +02:00
|
|
|
void center_selection();
|
2011-09-02 18:51:20 +02:00
|
|
|
void update_display_buffer();
|
2011-09-05 20:54:17 +02:00
|
|
|
|
2012-04-14 03:17:09 +02:00
|
|
|
String status_line() const;
|
2011-10-04 20:49:41 +02:00
|
|
|
|
2012-01-19 21:37:29 +01:00
|
|
|
HighlighterGroup& highlighters() { return m_highlighters; }
|
2011-11-12 15:15:35 +01:00
|
|
|
|
2012-08-10 14:21:01 +02:00
|
|
|
OptionManager& option_manager() { return m_option_manager; }
|
|
|
|
const OptionManager& option_manager() const { return m_option_manager; }
|
|
|
|
HookManager& hook_manager() { return m_hook_manager; }
|
|
|
|
const HookManager& hook_manager() const { return m_hook_manager; }
|
|
|
|
|
2012-01-23 14:57:24 +01:00
|
|
|
|
2011-09-02 18:51:20 +02:00
|
|
|
private:
|
2011-09-08 16:30:36 +02:00
|
|
|
friend class Buffer;
|
|
|
|
|
|
|
|
Window(Buffer& buffer);
|
|
|
|
Window(const Window&) = delete;
|
|
|
|
|
2012-02-08 00:41:10 +01:00
|
|
|
void on_incremental_insertion_end();
|
2012-06-14 15:19:38 +02:00
|
|
|
void on_option_changed(const String& name, const Option& option);
|
2011-12-21 20:06:26 +01:00
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
void scroll_to_keep_cursor_visible_ifn();
|
2011-09-19 23:56:29 +02:00
|
|
|
|
2011-09-08 02:13:19 +02:00
|
|
|
BufferCoord m_position;
|
2011-10-14 16:29:53 +02:00
|
|
|
DisplayCoord m_dimensions;
|
2011-09-08 02:13:19 +02:00
|
|
|
DisplayBuffer m_display_buffer;
|
2011-09-28 22:54:11 +02:00
|
|
|
|
2012-01-19 21:37:29 +01:00
|
|
|
HighlighterGroup m_highlighters;
|
2012-01-23 14:57:24 +01:00
|
|
|
|
2012-04-03 14:01:01 +02:00
|
|
|
HookManager m_hook_manager;
|
2012-04-03 15:39:20 +02:00
|
|
|
OptionManager m_option_manager;
|
2011-09-02 18:51:20 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // window_hh_INCLUDED
|