2019-03-07 02:31:06 +03:00
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include <AK/Function.h>
|
|
|
|
#include <AK/HashMap.h>
|
2019-07-24 10:12:23 +03:00
|
|
|
#include <AK/NonnullOwnPtrVector.h>
|
2019-08-25 22:33:08 +03:00
|
|
|
#include <AK/NonnullRefPtrVector.h>
|
2019-07-18 11:15:00 +03:00
|
|
|
#include <LibDraw/TextAlignment.h>
|
2019-07-24 10:12:23 +03:00
|
|
|
#include <LibGUI/GScrollableWidget.h>
|
2019-03-07 02:31:06 +03:00
|
|
|
|
2019-04-18 13:25:00 +03:00
|
|
|
class GAction;
|
|
|
|
class GMenu;
|
2019-03-07 02:31:06 +03:00
|
|
|
class GScrollBar;
|
2019-03-15 19:54:05 +03:00
|
|
|
class Painter;
|
2019-03-07 02:31:06 +03:00
|
|
|
|
2019-08-21 22:23:17 +03:00
|
|
|
enum class ShouldWrapAtEndOfDocument { No = 0, Yes };
|
2019-08-24 21:09:35 +03:00
|
|
|
enum class ShouldWrapAtStartOfDocument { No = 0, Yes };
|
2019-08-21 22:23:17 +03:00
|
|
|
|
2019-03-07 02:31:06 +03:00
|
|
|
class GTextPosition {
|
|
|
|
public:
|
2019-05-28 12:53:16 +03:00
|
|
|
GTextPosition() {}
|
2019-03-07 02:31:06 +03:00
|
|
|
GTextPosition(int line, int column)
|
|
|
|
: m_line(line)
|
|
|
|
, m_column(column)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
bool is_valid() const { return m_line >= 0 && m_column >= 0; }
|
|
|
|
|
|
|
|
int line() const { return m_line; }
|
|
|
|
int column() const { return m_column; }
|
|
|
|
|
|
|
|
void set_line(int line) { m_line = line; }
|
|
|
|
void set_column(int column) { m_column = column; }
|
|
|
|
|
2019-03-07 17:03:38 +03:00
|
|
|
bool operator==(const GTextPosition& other) const { return m_line == other.m_line && m_column == other.m_column; }
|
2019-03-08 19:53:02 +03:00
|
|
|
bool operator!=(const GTextPosition& other) const { return m_line != other.m_line || m_column != other.m_column; }
|
2019-03-08 02:49:45 +03:00
|
|
|
bool operator<(const GTextPosition& other) const { return m_line < other.m_line || (m_line == other.m_line && m_column < other.m_column); }
|
2019-03-07 17:03:38 +03:00
|
|
|
|
2019-03-07 02:31:06 +03:00
|
|
|
private:
|
|
|
|
int m_line { -1 };
|
|
|
|
int m_column { -1 };
|
|
|
|
};
|
|
|
|
|
2019-03-08 20:28:24 +03:00
|
|
|
class GTextRange {
|
|
|
|
public:
|
2019-05-28 12:53:16 +03:00
|
|
|
GTextRange() {}
|
|
|
|
GTextRange(const GTextPosition& start, const GTextPosition& end)
|
|
|
|
: m_start(start)
|
|
|
|
, m_end(end)
|
|
|
|
{
|
|
|
|
}
|
2019-03-08 20:28:24 +03:00
|
|
|
|
|
|
|
bool is_valid() const { return m_start.is_valid() && m_end.is_valid(); }
|
2019-05-28 12:53:16 +03:00
|
|
|
void clear()
|
|
|
|
{
|
|
|
|
m_start = {};
|
|
|
|
m_end = {};
|
|
|
|
}
|
2019-03-08 20:28:24 +03:00
|
|
|
|
|
|
|
GTextPosition& start() { return m_start; }
|
|
|
|
GTextPosition& end() { return m_end; }
|
|
|
|
const GTextPosition& start() const { return m_start; }
|
|
|
|
const GTextPosition& end() const { return m_end; }
|
|
|
|
|
|
|
|
GTextRange normalized() const { return GTextRange(normalized_start(), normalized_end()); }
|
|
|
|
|
|
|
|
void set_start(const GTextPosition& position) { m_start = position; }
|
|
|
|
void set_end(const GTextPosition& position) { m_end = position; }
|
|
|
|
|
2019-05-28 12:53:16 +03:00
|
|
|
void set(const GTextPosition& start, const GTextPosition& end)
|
|
|
|
{
|
|
|
|
m_start = start;
|
|
|
|
m_end = end;
|
|
|
|
}
|
2019-03-08 20:28:24 +03:00
|
|
|
|
2019-08-21 22:23:17 +03:00
|
|
|
bool operator==(const GTextRange& other) const
|
|
|
|
{
|
|
|
|
return m_start == other.m_start && m_end == other.m_end;
|
|
|
|
}
|
|
|
|
|
2019-03-08 20:28:24 +03:00
|
|
|
private:
|
|
|
|
GTextPosition normalized_start() const { return m_start < m_end ? m_start : m_end; }
|
|
|
|
GTextPosition normalized_end() const { return m_start < m_end ? m_end : m_start; }
|
|
|
|
|
|
|
|
GTextPosition m_start;
|
|
|
|
GTextPosition m_end;
|
|
|
|
};
|
|
|
|
|
2019-03-16 18:54:51 +03:00
|
|
|
class GTextEditor : public GScrollableWidget {
|
2019-07-25 20:49:28 +03:00
|
|
|
C_OBJECT(GTextEditor)
|
2019-03-07 02:31:06 +03:00
|
|
|
public:
|
2019-06-07 18:13:23 +03:00
|
|
|
enum Type {
|
2019-05-28 12:53:16 +03:00
|
|
|
MultiLine,
|
|
|
|
SingleLine
|
|
|
|
};
|
2019-03-07 02:31:06 +03:00
|
|
|
virtual ~GTextEditor() override;
|
|
|
|
|
2019-05-08 06:00:28 +03:00
|
|
|
bool is_readonly() const { return m_readonly; }
|
|
|
|
void set_readonly(bool);
|
|
|
|
|
2019-08-21 20:33:54 +03:00
|
|
|
bool is_automatic_indentation_enabled() const { return m_automatic_indentation_enabled; }
|
2019-04-25 23:56:09 +03:00
|
|
|
void set_automatic_indentation_enabled(bool enabled) { m_automatic_indentation_enabled = enabled; }
|
|
|
|
|
2019-08-25 09:43:01 +03:00
|
|
|
bool is_line_wrapping_enabled() const { return m_line_wrapping_enabled; }
|
2019-08-25 13:23:14 +03:00
|
|
|
void set_line_wrapping_enabled(bool);
|
2019-08-25 09:43:01 +03:00
|
|
|
|
2019-04-24 23:24:16 +03:00
|
|
|
TextAlignment text_alignment() const { return m_text_alignment; }
|
|
|
|
void set_text_alignment(TextAlignment);
|
|
|
|
|
2019-03-15 19:37:13 +03:00
|
|
|
Type type() const { return m_type; }
|
|
|
|
bool is_single_line() const { return m_type == SingleLine; }
|
|
|
|
bool is_multi_line() const { return m_type == MultiLine; }
|
|
|
|
|
2019-04-11 05:01:17 +03:00
|
|
|
bool is_ruler_visible() const { return m_ruler_visible; }
|
|
|
|
void set_ruler_visible(bool b) { m_ruler_visible = b; }
|
|
|
|
|
2019-04-10 04:08:29 +03:00
|
|
|
Function<void()> on_cursor_change;
|
2019-04-12 03:52:34 +03:00
|
|
|
Function<void()> on_selection_change;
|
2019-03-07 02:31:06 +03:00
|
|
|
|
2019-06-02 15:58:02 +03:00
|
|
|
void set_text(const StringView&);
|
2019-03-07 15:13:25 +03:00
|
|
|
void scroll_cursor_into_view();
|
2019-08-21 22:23:17 +03:00
|
|
|
void scroll_position_into_view(const GTextPosition&);
|
2019-03-07 02:31:06 +03:00
|
|
|
int line_count() const { return m_lines.size(); }
|
2019-03-07 03:05:35 +03:00
|
|
|
int line_spacing() const { return m_line_spacing; }
|
|
|
|
int line_height() const { return font().glyph_height() + m_line_spacing; }
|
2019-03-07 02:46:29 +03:00
|
|
|
GTextPosition cursor() const { return m_cursor; }
|
2019-03-08 20:28:24 +03:00
|
|
|
GTextRange normalized_selection() const { return m_selection.normalized(); }
|
2019-04-24 23:46:27 +03:00
|
|
|
// FIXME: This should take glyph spacing into account, no?
|
2019-03-07 16:02:10 +03:00
|
|
|
int glyph_width() const { return font().glyph_width('x'); }
|
2019-03-07 02:31:06 +03:00
|
|
|
|
2019-06-02 15:58:02 +03:00
|
|
|
bool write_to_file(const StringView& path);
|
2019-03-07 19:06:11 +03:00
|
|
|
|
2019-08-24 21:09:35 +03:00
|
|
|
GTextRange find_next(const StringView&, const GTextPosition& start = {});
|
|
|
|
GTextRange find_prev(const StringView&, const GTextPosition& start = {});
|
2019-08-21 22:23:17 +03:00
|
|
|
|
2019-08-24 21:09:35 +03:00
|
|
|
GTextPosition next_position_after(const GTextPosition&, ShouldWrapAtEndOfDocument = ShouldWrapAtEndOfDocument::Yes);
|
|
|
|
GTextPosition prev_position_before(const GTextPosition&, ShouldWrapAtStartOfDocument = ShouldWrapAtStartOfDocument::Yes);
|
2019-08-25 09:43:01 +03:00
|
|
|
|
2019-03-08 20:28:24 +03:00
|
|
|
bool has_selection() const { return m_selection.is_valid(); }
|
2019-03-08 03:59:59 +03:00
|
|
|
String selected_text() const;
|
2019-08-21 22:23:17 +03:00
|
|
|
void set_selection(const GTextRange&);
|
|
|
|
|
2019-03-15 19:37:13 +03:00
|
|
|
String text() const;
|
|
|
|
|
|
|
|
void clear();
|
2019-03-08 03:59:59 +03:00
|
|
|
|
2019-03-08 16:08:15 +03:00
|
|
|
void cut();
|
|
|
|
void copy();
|
|
|
|
void paste();
|
2019-03-21 01:11:00 +03:00
|
|
|
void do_delete();
|
2019-03-25 15:13:46 +03:00
|
|
|
void delete_current_line();
|
2019-06-22 11:38:38 +03:00
|
|
|
void select_all();
|
2019-03-08 16:08:15 +03:00
|
|
|
|
2019-04-09 17:20:36 +03:00
|
|
|
Function<void()> on_change;
|
2019-04-10 04:08:29 +03:00
|
|
|
Function<void()> on_return_pressed;
|
|
|
|
Function<void()> on_escape_pressed;
|
2019-03-15 19:37:13 +03:00
|
|
|
|
2019-04-18 13:25:00 +03:00
|
|
|
GAction& undo_action() { return *m_undo_action; }
|
|
|
|
GAction& redo_action() { return *m_redo_action; }
|
|
|
|
GAction& cut_action() { return *m_cut_action; }
|
|
|
|
GAction& copy_action() { return *m_copy_action; }
|
|
|
|
GAction& paste_action() { return *m_paste_action; }
|
|
|
|
GAction& delete_action() { return *m_delete_action; }
|
|
|
|
|
2019-08-25 22:33:08 +03:00
|
|
|
void add_custom_context_menu_action(GAction&);
|
|
|
|
|
2019-10-21 19:58:27 +03:00
|
|
|
void set_cursor(int line, int column);
|
|
|
|
void set_cursor(const GTextPosition&);
|
|
|
|
|
2019-10-25 22:05:06 +03:00
|
|
|
struct Span {
|
|
|
|
bool contains(const GTextPosition& position) const
|
|
|
|
{
|
|
|
|
if (!(position.line() > start.line() || (position.line() == start.line() && position.column() >= start.column())))
|
|
|
|
return false;
|
|
|
|
if (!(position.line() < end.line() || (position.line() == end.line() && position.column() <= end.column())))
|
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
GTextPosition start;
|
|
|
|
GTextPosition end;
|
|
|
|
Color color;
|
2019-10-26 01:13:07 +03:00
|
|
|
const Font* font { nullptr };
|
2019-10-25 22:05:06 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
void set_spans(const Vector<Span>& spans)
|
|
|
|
{
|
|
|
|
m_spans = spans;
|
|
|
|
}
|
|
|
|
|
2019-09-01 13:26:35 +03:00
|
|
|
protected:
|
2019-09-21 16:43:52 +03:00
|
|
|
GTextEditor(Type, GWidget* parent);
|
2019-09-01 13:26:35 +03:00
|
|
|
|
2019-09-21 16:43:52 +03:00
|
|
|
virtual void did_change_font() override;
|
2019-03-07 02:31:06 +03:00
|
|
|
virtual void paint_event(GPaintEvent&) override;
|
|
|
|
virtual void mousedown_event(GMouseEvent&) override;
|
2019-03-08 19:53:02 +03:00
|
|
|
virtual void mouseup_event(GMouseEvent&) override;
|
|
|
|
virtual void mousemove_event(GMouseEvent&) override;
|
2019-04-25 23:29:25 +03:00
|
|
|
virtual void doubleclick_event(GMouseEvent&) override;
|
2019-03-07 02:31:06 +03:00
|
|
|
virtual void keydown_event(GKeyEvent&) override;
|
2019-04-10 17:56:55 +03:00
|
|
|
virtual void focusin_event(CEvent&) override;
|
|
|
|
virtual void focusout_event(CEvent&) override;
|
|
|
|
virtual void timer_event(CTimerEvent&) override;
|
2019-03-07 02:31:06 +03:00
|
|
|
virtual bool accepts_focus() const override { return true; }
|
2019-04-10 17:56:55 +03:00
|
|
|
virtual void enter_event(CEvent&) override;
|
|
|
|
virtual void leave_event(CEvent&) override;
|
2019-04-18 13:25:00 +03:00
|
|
|
virtual void context_menu_event(GContextMenuEvent&) override;
|
2019-04-25 00:42:49 +03:00
|
|
|
virtual void resize_event(GResizeEvent&) override;
|
2019-04-01 00:52:02 +03:00
|
|
|
|
2019-09-21 16:43:52 +03:00
|
|
|
private:
|
2019-04-18 13:25:00 +03:00
|
|
|
void create_actions();
|
2019-03-15 19:54:05 +03:00
|
|
|
void paint_ruler(Painter&);
|
2019-03-16 18:54:51 +03:00
|
|
|
void update_content_size();
|
2019-04-09 17:20:36 +03:00
|
|
|
void did_change();
|
2019-03-07 02:31:06 +03:00
|
|
|
|
|
|
|
class Line {
|
2019-03-07 18:04:21 +03:00
|
|
|
friend class GTextEditor;
|
2019-05-28 12:53:16 +03:00
|
|
|
|
2019-03-07 02:31:06 +03:00
|
|
|
public:
|
2019-08-21 20:32:39 +03:00
|
|
|
explicit Line(GTextEditor&);
|
|
|
|
Line(GTextEditor&, const StringView&);
|
2019-03-07 02:31:06 +03:00
|
|
|
|
2019-08-25 09:43:01 +03:00
|
|
|
StringView view() const { return { characters(), length() }; }
|
2019-03-07 16:35:32 +03:00
|
|
|
const char* characters() const { return m_text.data(); }
|
|
|
|
int length() const { return m_text.size() - 1; }
|
2019-06-02 15:58:02 +03:00
|
|
|
void set_text(const StringView&);
|
2019-03-07 18:04:21 +03:00
|
|
|
void append(char);
|
|
|
|
void prepend(char);
|
|
|
|
void insert(int index, char);
|
|
|
|
void remove(int index);
|
2019-03-07 18:15:25 +03:00
|
|
|
void append(const char*, int);
|
2019-03-07 18:49:04 +03:00
|
|
|
void truncate(int length);
|
2019-03-08 17:55:58 +03:00
|
|
|
void clear();
|
2019-08-25 09:43:01 +03:00
|
|
|
void recompute_visual_lines();
|
2019-08-25 15:04:46 +03:00
|
|
|
int visual_line_containing(int column) const;
|
2019-08-25 09:43:01 +03:00
|
|
|
|
|
|
|
template<typename Callback>
|
|
|
|
void for_each_visual_line(Callback) const;
|
2019-03-07 02:31:06 +03:00
|
|
|
|
|
|
|
private:
|
2019-08-21 20:32:39 +03:00
|
|
|
GTextEditor& m_editor;
|
|
|
|
|
2019-03-07 16:35:32 +03:00
|
|
|
// NOTE: This vector is null terminated.
|
|
|
|
Vector<char> m_text;
|
2019-08-25 09:43:01 +03:00
|
|
|
|
|
|
|
Vector<int, 1> m_visual_line_breaks;
|
|
|
|
Rect m_visual_rect;
|
2019-03-07 02:31:06 +03:00
|
|
|
};
|
2019-03-07 15:21:51 +03:00
|
|
|
|
|
|
|
Rect line_content_rect(int item_index) const;
|
|
|
|
Rect line_widget_rect(int line_index) const;
|
|
|
|
Rect cursor_content_rect() const;
|
2019-08-21 22:23:17 +03:00
|
|
|
Rect content_rect_for_position(const GTextPosition&) const;
|
2019-03-07 15:21:51 +03:00
|
|
|
void update_cursor();
|
2019-07-24 10:12:23 +03:00
|
|
|
Line& current_line() { return m_lines[m_cursor.line()]; }
|
|
|
|
const Line& current_line() const { return m_lines[m_cursor.line()]; }
|
2019-03-07 17:03:38 +03:00
|
|
|
GTextPosition text_position_at(const Point&) const;
|
|
|
|
void insert_at_cursor(char);
|
2019-06-02 15:58:02 +03:00
|
|
|
void insert_at_cursor(const StringView&);
|
2019-03-07 22:05:05 +03:00
|
|
|
int ruler_width() const;
|
|
|
|
Rect ruler_content_rect(int line) const;
|
2019-03-08 02:49:45 +03:00
|
|
|
void toggle_selection_if_needed_for_event(const GKeyEvent&);
|
2019-06-02 15:58:02 +03:00
|
|
|
void insert_at_cursor_or_replace_selection(const StringView&);
|
2019-03-21 01:11:00 +03:00
|
|
|
void delete_selection();
|
2019-04-12 03:52:34 +03:00
|
|
|
void did_update_selection();
|
2019-04-24 23:24:16 +03:00
|
|
|
int content_x_for_position(const GTextPosition&) const;
|
2019-08-21 22:23:17 +03:00
|
|
|
char character_at(const GTextPosition&) const;
|
2019-08-25 08:14:02 +03:00
|
|
|
Rect ruler_rect_in_inner_coordinates() const;
|
|
|
|
Rect visible_text_rect_in_inner_coordinates() const;
|
2019-08-25 09:43:01 +03:00
|
|
|
void recompute_all_visual_lines();
|
2019-03-07 15:21:51 +03:00
|
|
|
|
2019-03-15 19:37:13 +03:00
|
|
|
Type m_type { MultiLine };
|
|
|
|
|
2019-07-24 10:12:23 +03:00
|
|
|
NonnullOwnPtrVector<Line> m_lines;
|
2019-03-07 02:31:06 +03:00
|
|
|
GTextPosition m_cursor;
|
2019-04-24 23:24:16 +03:00
|
|
|
TextAlignment m_text_alignment { TextAlignment::CenterLeft };
|
2019-03-07 03:05:35 +03:00
|
|
|
bool m_cursor_state { true };
|
2019-03-08 19:53:02 +03:00
|
|
|
bool m_in_drag_select { false };
|
2019-04-25 00:06:44 +03:00
|
|
|
bool m_ruler_visible { false };
|
2019-04-09 17:20:36 +03:00
|
|
|
bool m_have_pending_change_notification { false };
|
2019-04-25 23:56:09 +03:00
|
|
|
bool m_automatic_indentation_enabled { false };
|
2019-08-25 09:43:01 +03:00
|
|
|
bool m_line_wrapping_enabled { false };
|
2019-05-08 06:00:28 +03:00
|
|
|
bool m_readonly { false };
|
2019-03-17 01:16:37 +03:00
|
|
|
int m_line_spacing { 4 };
|
2019-03-10 13:08:36 +03:00
|
|
|
int m_soft_tab_width { 4 };
|
2019-03-17 01:16:37 +03:00
|
|
|
int m_horizontal_content_padding { 2 };
|
2019-03-08 20:28:24 +03:00
|
|
|
GTextRange m_selection;
|
2019-04-18 13:25:00 +03:00
|
|
|
OwnPtr<GMenu> m_context_menu;
|
2019-06-21 19:37:47 +03:00
|
|
|
RefPtr<GAction> m_undo_action;
|
|
|
|
RefPtr<GAction> m_redo_action;
|
|
|
|
RefPtr<GAction> m_cut_action;
|
|
|
|
RefPtr<GAction> m_copy_action;
|
|
|
|
RefPtr<GAction> m_paste_action;
|
|
|
|
RefPtr<GAction> m_delete_action;
|
2019-05-16 01:40:55 +03:00
|
|
|
CElapsedTimer m_triple_click_timer;
|
2019-08-25 22:33:08 +03:00
|
|
|
NonnullRefPtrVector<GAction> m_custom_context_menu_actions;
|
2019-10-25 22:05:06 +03:00
|
|
|
|
|
|
|
Vector<Span> m_spans;
|
2019-03-07 02:31:06 +03:00
|
|
|
};
|
2019-08-21 22:23:17 +03:00
|
|
|
|
|
|
|
inline const LogStream& operator<<(const LogStream& stream, const GTextPosition& value)
|
|
|
|
{
|
|
|
|
if (!value.is_valid())
|
|
|
|
return stream << "GTextPosition(Invalid)";
|
|
|
|
return stream << String::format("(%d,%d)", value.line(), value.column());
|
|
|
|
}
|
|
|
|
|
|
|
|
inline const LogStream& operator<<(const LogStream& stream, const GTextRange& value)
|
|
|
|
{
|
|
|
|
if (!value.is_valid())
|
|
|
|
return stream << "GTextRange(Invalid)";
|
|
|
|
return stream << value.start() << '-' << value.end();
|
|
|
|
}
|