| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | #pragma once
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-16 16:54:51 +01:00
										 |  |  | #include <LibGUI/GScrollableWidget.h>
 | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | #include <AK/Function.h>
 | 
					
						
							|  |  |  | #include <AK/HashMap.h>
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | class GScrollBar; | 
					
						
							| 
									
										
										
										
											2019-03-15 17:54:05 +01:00
										 |  |  | class Painter; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | class GTextPosition { | 
					
						
							|  |  |  | public: | 
					
						
							|  |  |  |     GTextPosition() { } | 
					
						
							|  |  |  |     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 15:03:38 +01:00
										 |  |  |     bool operator==(const GTextPosition& other) const { return m_line == other.m_line && m_column == other.m_column; } | 
					
						
							| 
									
										
										
										
											2019-03-08 17:53:02 +01:00
										 |  |  |     bool operator!=(const GTextPosition& other) const { return m_line != other.m_line || m_column != other.m_column; } | 
					
						
							| 
									
										
										
										
											2019-03-08 00:49:45 +01: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 15:03:38 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | private: | 
					
						
							|  |  |  |     int m_line { -1 }; | 
					
						
							|  |  |  |     int m_column { -1 }; | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-08 18:28:24 +01:00
										 |  |  | class GTextRange { | 
					
						
							|  |  |  | public: | 
					
						
							|  |  |  |     GTextRange() { } | 
					
						
							|  |  |  |     GTextRange(const GTextPosition& start, const GTextPosition& end) : m_start(start) , m_end(end) { } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     bool is_valid() const { return m_start.is_valid() && m_end.is_valid(); } | 
					
						
							|  |  |  |     void clear() { m_start = { }; m_end = { }; } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     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; } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     void set(const GTextPosition& start, const GTextPosition& end) { m_start = start; m_end = end; } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 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 16:54:51 +01:00
										 |  |  | class GTextEditor : public GScrollableWidget { | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | public: | 
					
						
							| 
									
										
										
										
											2019-03-15 17:37:13 +01:00
										 |  |  |     enum Type { MultiLine, SingleLine }; | 
					
						
							|  |  |  |     GTextEditor(Type, GWidget* parent); | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  |     virtual ~GTextEditor() override; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-15 17:37:13 +01: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 04:01:17 +02:00
										 |  |  |     bool is_ruler_visible() const { return m_ruler_visible; } | 
					
						
							|  |  |  |     void set_ruler_visible(bool b) { m_ruler_visible = b; } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-04-10 03:08:29 +02:00
										 |  |  |     Function<void()> on_cursor_change; | 
					
						
							| 
									
										
										
										
											2019-04-12 02:52:34 +02:00
										 |  |  |     Function<void()> on_selection_change; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-07 00:46:29 +01:00
										 |  |  |     void set_text(const String&); | 
					
						
							| 
									
										
										
										
											2019-03-07 13:13:25 +01:00
										 |  |  |     void scroll_cursor_into_view(); | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  |     int line_count() const { return m_lines.size(); } | 
					
						
							| 
									
										
										
										
											2019-03-07 01:05:35 +01:00
										 |  |  |     int line_spacing() const { return m_line_spacing; } | 
					
						
							|  |  |  |     int line_height() const { return font().glyph_height() + m_line_spacing; } | 
					
						
							| 
									
										
										
										
											2019-03-07 00:46:29 +01:00
										 |  |  |     GTextPosition cursor() const { return m_cursor; } | 
					
						
							| 
									
										
										
										
											2019-03-08 18:28:24 +01:00
										 |  |  |     GTextRange normalized_selection() const { return m_selection.normalized(); } | 
					
						
							| 
									
										
										
										
											2019-03-07 14:02:10 +01:00
										 |  |  |     int glyph_width() const { return font().glyph_width('x'); } | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-07 17:06:11 +01:00
										 |  |  |     bool write_to_file(const String& path); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-08 18:28:24 +01:00
										 |  |  |     bool has_selection() const { return m_selection.is_valid(); } | 
					
						
							| 
									
										
										
										
											2019-03-08 01:59:59 +01:00
										 |  |  |     String selected_text() const; | 
					
						
							| 
									
										
										
										
											2019-03-15 17:37:13 +01:00
										 |  |  |     String text() const; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     void clear(); | 
					
						
							| 
									
										
										
										
											2019-03-08 01:59:59 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-08 14:08:15 +01:00
										 |  |  |     void cut(); | 
					
						
							|  |  |  |     void copy(); | 
					
						
							|  |  |  |     void paste(); | 
					
						
							| 
									
										
										
										
											2019-03-20 23:11:00 +01:00
										 |  |  |     void do_delete(); | 
					
						
							| 
									
										
										
										
											2019-03-25 13:13:46 +01:00
										 |  |  |     void delete_current_line(); | 
					
						
							| 
									
										
										
										
											2019-03-08 14:08:15 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-04-09 16:20:36 +02:00
										 |  |  |     Function<void()> on_change; | 
					
						
							| 
									
										
										
										
											2019-04-10 03:08:29 +02:00
										 |  |  |     Function<void()> on_return_pressed; | 
					
						
							|  |  |  |     Function<void()> on_escape_pressed; | 
					
						
							| 
									
										
										
										
											2019-03-15 17:37:13 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-16 12:57:04 +01:00
										 |  |  |     virtual const char* class_name() const override { return "GTextEditor"; } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | private: | 
					
						
							|  |  |  |     virtual void paint_event(GPaintEvent&) override; | 
					
						
							|  |  |  |     virtual void mousedown_event(GMouseEvent&) override; | 
					
						
							| 
									
										
										
										
											2019-03-08 17:53:02 +01:00
										 |  |  |     virtual void mouseup_event(GMouseEvent&) override; | 
					
						
							|  |  |  |     virtual void mousemove_event(GMouseEvent&) override; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  |     virtual void keydown_event(GKeyEvent&) override; | 
					
						
							| 
									
										
										
										
											2019-04-10 16:56:55 +02:00
										 |  |  |     virtual void focusin_event(CEvent&) override; | 
					
						
							|  |  |  |     virtual void focusout_event(CEvent&) override; | 
					
						
							|  |  |  |     virtual void timer_event(CTimerEvent&) override; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  |     virtual bool accepts_focus() const override { return true; } | 
					
						
							| 
									
										
										
										
											2019-04-10 16:56:55 +02:00
										 |  |  |     virtual void enter_event(CEvent&) override; | 
					
						
							|  |  |  |     virtual void leave_event(CEvent&) override; | 
					
						
							| 
									
										
										
										
											2019-03-31 23:52:02 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-15 17:54:05 +01:00
										 |  |  |     void paint_ruler(Painter&); | 
					
						
							| 
									
										
										
										
											2019-03-16 16:54:51 +01:00
										 |  |  |     void update_content_size(); | 
					
						
							| 
									
										
										
										
											2019-04-09 16:20:36 +02:00
										 |  |  |     void did_change(); | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     class Line { | 
					
						
							| 
									
										
										
										
											2019-03-07 16:04:21 +01:00
										 |  |  |         friend class GTextEditor; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  |     public: | 
					
						
							| 
									
										
										
										
											2019-03-07 14:35:32 +01:00
										 |  |  |         Line(); | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-07 14:35:32 +01:00
										 |  |  |         const char* characters() const { return m_text.data(); } | 
					
						
							|  |  |  |         int length() const { return m_text.size() - 1; } | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  |         int width(const Font&) const; | 
					
						
							|  |  |  |         void set_text(const String&); | 
					
						
							| 
									
										
										
										
											2019-03-07 16:04:21 +01:00
										 |  |  |         void append(char); | 
					
						
							|  |  |  |         void prepend(char); | 
					
						
							|  |  |  |         void insert(int index, char); | 
					
						
							|  |  |  |         void remove(int index); | 
					
						
							| 
									
										
										
										
											2019-03-07 16:15:25 +01:00
										 |  |  |         void append(const char*, int); | 
					
						
							| 
									
										
										
										
											2019-03-07 16:49:04 +01:00
										 |  |  |         void truncate(int length); | 
					
						
							| 
									
										
										
										
											2019-03-08 15:55:58 +01:00
										 |  |  |         void clear(); | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     private: | 
					
						
							| 
									
										
										
										
											2019-03-07 14:35:32 +01:00
										 |  |  |         // NOTE: This vector is null terminated.
 | 
					
						
							|  |  |  |         Vector<char> m_text; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  |     }; | 
					
						
							| 
									
										
										
										
											2019-03-07 13:21:51 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     Rect line_content_rect(int item_index) const; | 
					
						
							|  |  |  |     Rect line_widget_rect(int line_index) const; | 
					
						
							|  |  |  |     Rect cursor_content_rect() const; | 
					
						
							|  |  |  |     void update_cursor(); | 
					
						
							|  |  |  |     void set_cursor(int line, int column); | 
					
						
							| 
									
										
										
										
											2019-03-07 15:03:38 +01:00
										 |  |  |     void set_cursor(const GTextPosition&); | 
					
						
							| 
									
										
										
										
											2019-03-07 15:52:11 +01:00
										 |  |  |     Line& current_line() { return *m_lines[m_cursor.line()]; } | 
					
						
							|  |  |  |     const Line& current_line() const { return *m_lines[m_cursor.line()]; } | 
					
						
							| 
									
										
										
										
											2019-03-07 15:03:38 +01:00
										 |  |  |     GTextPosition text_position_at(const Point&) const; | 
					
						
							|  |  |  |     void insert_at_cursor(char); | 
					
						
							| 
									
										
										
										
											2019-03-08 14:08:15 +01:00
										 |  |  |     void insert_at_cursor(const String&); | 
					
						
							| 
									
										
										
										
											2019-03-07 20:05:05 +01:00
										 |  |  |     int ruler_width() const; | 
					
						
							|  |  |  |     Rect ruler_content_rect(int line) const; | 
					
						
							| 
									
										
										
										
											2019-03-08 00:49:45 +01:00
										 |  |  |     void toggle_selection_if_needed_for_event(const GKeyEvent&); | 
					
						
							| 
									
										
										
										
											2019-03-08 14:08:15 +01:00
										 |  |  |     void insert_at_cursor_or_replace_selection(const String&); | 
					
						
							| 
									
										
										
										
											2019-03-20 23:11:00 +01:00
										 |  |  |     void delete_selection(); | 
					
						
							| 
									
										
										
										
											2019-04-12 02:52:34 +02:00
										 |  |  |     void did_update_selection(); | 
					
						
							| 
									
										
										
										
											2019-03-07 13:21:51 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-15 17:37:13 +01:00
										 |  |  |     Type m_type { MultiLine }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-07 15:52:11 +01:00
										 |  |  |     Vector<OwnPtr<Line>> m_lines; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  |     GTextPosition m_cursor; | 
					
						
							| 
									
										
										
										
											2019-03-07 01:05:35 +01:00
										 |  |  |     bool m_cursor_state { true }; | 
					
						
							| 
									
										
										
										
											2019-03-08 17:53:02 +01:00
										 |  |  |     bool m_in_drag_select { false }; | 
					
						
							| 
									
										
										
										
											2019-03-15 17:54:05 +01:00
										 |  |  |     bool m_ruler_visible { true }; | 
					
						
							| 
									
										
										
										
											2019-04-09 16:20:36 +02:00
										 |  |  |     bool m_have_pending_change_notification { false }; | 
					
						
							| 
									
										
										
										
											2019-03-16 23:16:37 +01:00
										 |  |  |     int m_line_spacing { 4 }; | 
					
						
							| 
									
										
										
										
											2019-03-10 11:08:36 +01:00
										 |  |  |     int m_soft_tab_width { 4 }; | 
					
						
							| 
									
										
										
										
											2019-03-16 23:16:37 +01:00
										 |  |  |     int m_horizontal_content_padding { 2 }; | 
					
						
							| 
									
										
										
										
											2019-03-08 18:28:24 +01:00
										 |  |  |     GTextRange m_selection; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | }; |