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"
|
2017-06-16 11:19:08 +02:00
|
|
|
#include "optional.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
|
|
|
|
2018-10-22 23:15:53 +02:00
|
|
|
enum class Hook;
|
|
|
|
|
2013-12-20 21:10:08 +01:00
|
|
|
// A Window is a view onto a Buffer
|
2018-05-08 14:07:43 +02:00
|
|
|
class Window final : public SafeCountable, public Scope, private OptionManagerWatcher
|
2011-09-02 18:51:20 +02:00
|
|
|
{
|
|
|
|
public:
|
2012-11-22 14:08:55 +01:00
|
|
|
Window(Buffer& buffer);
|
2017-05-22 11:31:56 +02:00
|
|
|
~Window();
|
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; }
|
2018-06-19 12:20:38 +02:00
|
|
|
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
|
|
|
|
2017-06-16 11:19:08 +02:00
|
|
|
Optional<DisplayCoord> display_position(BufferCoord coord) const;
|
2016-09-22 21:36:26 +02:00
|
|
|
BufferCoord buffer_coord(DisplayCoord coord) const;
|
2012-09-30 16:22:03 +02: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-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;
|
2018-04-06 01:12:17 +02:00
|
|
|
DisplaySetup compute_display_setup(const Context& context) const;
|
2011-12-21 20:06:26 +01:00
|
|
|
|
2019-02-16 10:02:46 +01:00
|
|
|
friend class ClientManager;
|
2018-10-22 23:15:53 +02:00
|
|
|
void run_hook_in_own_context(Hook hook, StringView param,
|
2016-11-24 14:35:42 +01:00
|
|
|
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;
|
2017-05-01 21:55:18 +02:00
|
|
|
DisplayBuffer m_display_buffer;
|
2011-09-28 22:54:11 +02:00
|
|
|
|
2017-10-28 05:00:51 +02:00
|
|
|
Highlighters m_builtin_highlighters;
|
2013-04-02 13:58:04 +02:00
|
|
|
|
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;
|
2018-04-10 12:35:23 +02:00
|
|
|
size_t faces_hash;
|
2016-02-03 10:51:56 +01:00
|
|
|
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
|