2011-09-02 18:51:20 +02:00
|
|
|
#ifndef window_hh_INCLUDED
|
|
|
|
#define window_hh_INCLUDED
|
|
|
|
|
2016-05-09 14:48:48 +02:00
|
|
|
#include "client.hh"
|
2013-04-09 20:05:40 +02:00
|
|
|
#include "display_buffer.hh"
|
2014-06-10 20:58:02 +02:00
|
|
|
#include "highlighter_group.hh"
|
2014-11-12 22:27:07 +01:00
|
|
|
#include "option_manager.hh"
|
2014-08-12 01:30:13 +02:00
|
|
|
#include "safe_ptr.hh"
|
2014-10-30 15:00:42 +01:00
|
|
|
#include "scope.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
|
2014-10-30 15:00:42 +01:00
|
|
|
class Window : public SafeCountable, public OptionManagerWatcher, public Scope
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
|
|
|
public:
|
2012-11-22 14:08:55 +01:00
|
|
|
Window(Buffer& buffer);
|
2017-01-08 23:30:15 +01:00
|
|
|
~Window() override;
|
2012-06-14 15:19:38 +02:00
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
const DisplayCoord& position() const { return m_position; }
|
|
|
|
void set_position(DisplayCoord position);
|
2012-01-31 20:12:06 +01:00
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
const DisplayCoord& dimensions() const { return m_dimensions; }
|
|
|
|
void set_dimensions(DisplayCoord dimensions);
|
2011-09-02 18:51:20 +02:00
|
|
|
|
2015-11-02 20:49:58 +01:00
|
|
|
void scroll(LineCount offset);
|
2013-12-16 15:01:40 +01:00
|
|
|
void center_line(LineCount buffer_line);
|
|
|
|
void display_line_at(LineCount buffer_line, LineCount display_line);
|
2015-11-02 20:49:58 +01:00
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
void scroll(ColumnCount offset);
|
|
|
|
void center_column(ColumnCount buffer_column);
|
|
|
|
void display_column_at(ColumnCount buffer_column, ColumnCount display_column);
|
2015-06-22 14:34:22 +02:00
|
|
|
|
|
|
|
const DisplayBuffer& update_display_buffer(const Context& context);
|
2011-09-05 20:54:17 +02:00
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
DisplayCoord display_position(BufferCoord coord) const;
|
|
|
|
BufferCoord buffer_coord(DisplayCoord coord) const;
|
2012-09-30 16:22:03 +02:00
|
|
|
|
2014-10-22 01:20:09 +02:00
|
|
|
Highlighter& highlighters() { return m_highlighters; }
|
2011-11-12 15:15:35 +01:00
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
Buffer& buffer() const { return *m_buffer; }
|
|
|
|
|
2015-06-21 20:56:23 +02:00
|
|
|
bool needs_redraw(const Context& context) const;
|
2016-02-03 10:51:56 +01:00
|
|
|
void force_redraw() { m_last_setup = Setup{}; }
|
2012-01-23 14:57:24 +01:00
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
BufferCoord offset_coord(BufferCoord coord, CharCount offset);
|
|
|
|
BufferCoordAndTarget offset_coord(BufferCoordAndTarget coord, LineCount offset);
|
2015-01-26 20:41:10 +01:00
|
|
|
|
2016-05-09 14:48:48 +02:00
|
|
|
void set_client(Client* client) { m_client = client; }
|
|
|
|
|
2015-06-04 14:49:28 +02:00
|
|
|
void clear_display_buffer();
|
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
|
|
|
|
2016-11-24 14:35:42 +01:00
|
|
|
void run_hook_in_own_context(StringView hook_name, StringView param,
|
|
|
|
String client_name = "");
|
2014-12-19 00:12:58 +01:00
|
|
|
|
2015-02-19 14:58:25 +01:00
|
|
|
SafePtr<Buffer> m_buffer;
|
2016-05-09 14:48:48 +02:00
|
|
|
SafePtr<Client> m_client;
|
2011-09-19 23:56:29 +02:00
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
DisplayCoord m_position;
|
|
|
|
DisplayCoord m_dimensions;
|
2011-09-08 02:13:19 +02:00
|
|
|
DisplayBuffer m_display_buffer;
|
2011-09-28 22:54:11 +02:00
|
|
|
|
2013-04-02 13:58:04 +02:00
|
|
|
HighlighterGroup m_highlighters;
|
|
|
|
HighlighterGroup m_builtin_highlighters;
|
|
|
|
|
2016-02-03 10:51:56 +01:00
|
|
|
struct Setup
|
|
|
|
{
|
2016-09-22 21:36:26 +02:00
|
|
|
DisplayCoord position;
|
|
|
|
DisplayCoord dimensions;
|
2016-02-03 10:51:56 +01:00
|
|
|
size_t timestamp;
|
|
|
|
size_t main_selection;
|
2016-11-28 14:59:55 +01:00
|
|
|
Vector<BufferRange, MemoryDomain::Display> selections;
|
2016-02-03 10:51:56 +01:00
|
|
|
};
|
|
|
|
Setup build_setup(const Context& context) const;
|
|
|
|
Setup m_last_setup;
|
2011-09-02 18:51:20 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // window_hh_INCLUDED
|