| 
									
										
										
										
											2020-01-18 09:38:21 +01:00
										 |  |  | /*
 | 
					
						
							|  |  |  |  * Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org> | 
					
						
							|  |  |  |  * All rights reserved. | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * Redistribution and use in source and binary forms, with or without | 
					
						
							|  |  |  |  * modification, are permitted provided that the following conditions are met: | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * 1. Redistributions of source code must retain the above copyright notice, this | 
					
						
							|  |  |  |  *    list of conditions and the following disclaimer. | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * 2. Redistributions in binary form must reproduce the above copyright notice, | 
					
						
							|  |  |  |  *    this list of conditions and the following disclaimer in the documentation | 
					
						
							|  |  |  |  *    and/or other materials provided with the distribution. | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" | 
					
						
							|  |  |  |  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | 
					
						
							|  |  |  |  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE | 
					
						
							|  |  |  |  * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE | 
					
						
							|  |  |  |  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL | 
					
						
							|  |  |  |  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR | 
					
						
							|  |  |  |  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER | 
					
						
							|  |  |  |  * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, | 
					
						
							|  |  |  |  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | 
					
						
							|  |  |  |  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | 
					
						
							|  |  |  |  */ | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | #pragma once
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #include <AK/Function.h>
 | 
					
						
							|  |  |  | #include <AK/HashMap.h>
 | 
					
						
							| 
									
										
										
										
											2019-07-24 09:12:23 +02:00
										 |  |  | #include <AK/NonnullOwnPtrVector.h>
 | 
					
						
							| 
									
										
										
										
											2019-08-25 21:33:08 +02:00
										 |  |  | #include <AK/NonnullRefPtrVector.h>
 | 
					
						
							| 
									
										
										
										
											2019-11-05 16:37:47 -06:00
										 |  |  | #include <LibCore/CTimer.h>
 | 
					
						
							| 
									
										
										
										
											2019-07-18 10:15:00 +02:00
										 |  |  | #include <LibDraw/TextAlignment.h>
 | 
					
						
							| 
									
										
										
										
											2019-07-24 09:12:23 +02:00
										 |  |  | #include <LibGUI/GScrollableWidget.h>
 | 
					
						
							| 
									
										
										
										
											2019-10-27 16:10:07 +01:00
										 |  |  | #include <LibGUI/GTextDocument.h>
 | 
					
						
							| 
									
										
										
										
											2019-10-27 11:23:53 +01:00
										 |  |  | #include <LibGUI/GTextRange.h>
 | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-04-18 12:25:00 +02:00
										 |  |  | class GAction; | 
					
						
							|  |  |  | class GMenu; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | class GScrollBar; | 
					
						
							| 
									
										
										
										
											2019-03-15 17:54:05 +01:00
										 |  |  | class Painter; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-10-27 18:00:07 +01:00
										 |  |  | class GTextEditor | 
					
						
							|  |  |  |     : public GScrollableWidget | 
					
						
							|  |  |  |     , public GTextDocument::Client { | 
					
						
							| 
									
										
										
										
											2019-07-25 19:49:28 +02:00
										 |  |  |     C_OBJECT(GTextEditor) | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | public: | 
					
						
							| 
									
										
										
										
											2019-06-07 17:13:23 +02:00
										 |  |  |     enum Type { | 
					
						
							| 
									
										
										
										
											2019-05-28 11:53:16 +02:00
										 |  |  |         MultiLine, | 
					
						
							|  |  |  |         SingleLine | 
					
						
							|  |  |  |     }; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  |     virtual ~GTextEditor() override; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-10-27 16:10:07 +01:00
										 |  |  |     const GTextDocument& document() const { return *m_document; } | 
					
						
							|  |  |  |     GTextDocument& document() { return *m_document; } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-10-27 19:36:59 +01:00
										 |  |  |     void set_document(GTextDocument&); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-08 05:00:28 +02:00
										 |  |  |     bool is_readonly() const { return m_readonly; } | 
					
						
							|  |  |  |     void set_readonly(bool); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-08-21 19:33:54 +02:00
										 |  |  |     bool is_automatic_indentation_enabled() const { return m_automatic_indentation_enabled; } | 
					
						
							| 
									
										
										
										
											2019-04-25 22:56:09 +02:00
										 |  |  |     void set_automatic_indentation_enabled(bool enabled) { m_automatic_indentation_enabled = enabled; } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-08-25 08:43:01 +02:00
										 |  |  |     bool is_line_wrapping_enabled() const { return m_line_wrapping_enabled; } | 
					
						
							| 
									
										
										
										
											2019-08-25 12:23:14 +02:00
										 |  |  |     void set_line_wrapping_enabled(bool); | 
					
						
							| 
									
										
										
										
											2019-08-25 08:43:01 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-04-24 22:24:16 +02:00
										 |  |  |     TextAlignment text_alignment() const { return m_text_alignment; } | 
					
						
							|  |  |  |     void set_text_alignment(TextAlignment); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											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-06-02 14:58:02 +02:00
										 |  |  |     void set_text(const StringView&); | 
					
						
							| 
									
										
										
										
											2019-03-07 13:13:25 +01:00
										 |  |  |     void scroll_cursor_into_view(); | 
					
						
							| 
									
										
										
										
											2019-08-21 21:23:17 +02:00
										 |  |  |     void scroll_position_into_view(const GTextPosition&); | 
					
						
							| 
									
										
										
										
											2019-12-09 17:45:40 +01:00
										 |  |  |     size_t line_count() const { return document().line_count(); } | 
					
						
							| 
									
										
										
										
											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-04-24 22:46:27 +02:00
										 |  |  |     // FIXME: This should take glyph spacing into account, no?
 | 
					
						
							| 
									
										
										
										
											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
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-01-11 20:52:47 +02:00
										 |  |  |     void insert_at_cursor_or_replace_selection(const StringView&); | 
					
						
							|  |  |  |     bool write_to_file(const StringView& 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-08-21 21:23:17 +02:00
										 |  |  |     void set_selection(const GTextRange&); | 
					
						
							| 
									
										
										
										
											2019-12-01 18:48:32 -08:00
										 |  |  |     void clear_selection(); | 
					
						
							| 
									
										
										
										
											2019-11-30 13:05:17 +01:00
										 |  |  |     bool can_undo() const { return document().can_undo(); } | 
					
						
							|  |  |  |     bool can_redo() const { return document().can_redo(); } | 
					
						
							| 
									
										
										
										
											2019-08-21 21:23:17 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											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-06-22 10:38:38 +02:00
										 |  |  |     void select_all(); | 
					
						
							| 
									
										
										
										
											2019-11-30 13:05:17 +01:00
										 |  |  |     void undo() { document().undo(); } | 
					
						
							|  |  |  |     void redo() { document().redo(); } | 
					
						
							| 
									
										
										
										
											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-04-18 12:25:00 +02: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 21:33:08 +02:00
										 |  |  |     void add_custom_context_menu_action(GAction&); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-12-09 17:45:40 +01:00
										 |  |  |     void set_cursor(size_t line, size_t column); | 
					
						
							| 
									
										
										
										
											2019-10-21 18:58:27 +02:00
										 |  |  |     void set_cursor(const GTextPosition&); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-09-01 12:26:35 +02:00
										 |  |  | protected: | 
					
						
							| 
									
										
										
										
											2019-11-10 10:58:03 +01:00
										 |  |  |     explicit GTextEditor(GWidget* parent); | 
					
						
							|  |  |  |     explicit GTextEditor(Type, GWidget* parent); | 
					
						
							| 
									
										
										
										
											2019-09-01 12:26:35 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-09-21 15:43:52 +02:00
										 |  |  |     virtual void did_change_font() override; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  |     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-04-25 22:29:25 +02:00
										 |  |  |     virtual void doubleclick_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-04-18 12:25:00 +02:00
										 |  |  |     virtual void context_menu_event(GContextMenuEvent&) override; | 
					
						
							| 
									
										
										
										
											2019-04-24 23:42:49 +02:00
										 |  |  |     virtual void resize_event(GResizeEvent&) override; | 
					
						
							| 
									
										
										
										
											2019-11-18 19:10:06 +01:00
										 |  |  |     virtual void cursor_did_change() {} | 
					
						
							| 
									
										
										
										
											2019-03-31 23:52:02 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-10-29 21:37:46 +01:00
										 |  |  |     GTextPosition text_position_at(const Point&) const; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-09-21 15:43:52 +02:00
										 |  |  | private: | 
					
						
							| 
									
										
										
										
											2019-10-27 16:10:07 +01:00
										 |  |  |     friend class GTextDocumentLine; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-10-27 19:36:59 +01:00
										 |  |  |     // ^GTextDocument::Client
 | 
					
						
							| 
									
										
										
										
											2019-10-27 18:00:07 +01:00
										 |  |  |     virtual void document_did_append_line() override; | 
					
						
							| 
									
										
										
										
											2019-12-09 17:45:40 +01:00
										 |  |  |     virtual void document_did_insert_line(size_t) override; | 
					
						
							|  |  |  |     virtual void document_did_remove_line(size_t) override; | 
					
						
							| 
									
										
										
										
											2019-10-27 18:00:07 +01:00
										 |  |  |     virtual void document_did_remove_all_lines() override; | 
					
						
							| 
									
										
										
										
											2019-10-27 19:36:59 +01:00
										 |  |  |     virtual void document_did_change() override; | 
					
						
							| 
									
										
										
										
											2019-11-23 17:41:14 +01:00
										 |  |  |     virtual void document_did_set_text() override; | 
					
						
							| 
									
										
										
										
											2019-11-30 13:05:17 +01:00
										 |  |  |     virtual void document_did_set_cursor(const GTextPosition&) override; | 
					
						
							| 
									
										
										
										
											2019-10-27 18:00:07 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-04-18 12:25:00 +02:00
										 |  |  |     void create_actions(); | 
					
						
							| 
									
										
										
										
											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
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-12-09 17:45:40 +01:00
										 |  |  |     Rect line_content_rect(size_t item_index) const; | 
					
						
							|  |  |  |     Rect line_widget_rect(size_t line_index) const; | 
					
						
							| 
									
										
										
										
											2019-03-07 13:21:51 +01:00
										 |  |  |     Rect cursor_content_rect() const; | 
					
						
							| 
									
										
										
										
											2019-08-21 21:23:17 +02:00
										 |  |  |     Rect content_rect_for_position(const GTextPosition&) const; | 
					
						
							| 
									
										
										
										
											2019-03-07 13:21:51 +01:00
										 |  |  |     void update_cursor(); | 
					
						
							| 
									
										
										
										
											2019-10-27 16:10:07 +01:00
										 |  |  |     const NonnullOwnPtrVector<GTextDocumentLine>& lines() const { return document().lines(); } | 
					
						
							|  |  |  |     NonnullOwnPtrVector<GTextDocumentLine>& lines() { return document().lines(); } | 
					
						
							| 
									
										
										
										
											2019-12-09 17:45:40 +01:00
										 |  |  |     GTextDocumentLine& line(size_t index) { return document().line(index); } | 
					
						
							|  |  |  |     const GTextDocumentLine& line(size_t index) const { return document().line(index); } | 
					
						
							| 
									
										
										
										
											2019-10-27 16:10:07 +01:00
										 |  |  |     GTextDocumentLine& current_line() { return line(m_cursor.line()); } | 
					
						
							|  |  |  |     const GTextDocumentLine& current_line() const { return line(m_cursor.line()); } | 
					
						
							| 
									
										
										
										
											2019-03-07 20:05:05 +01:00
										 |  |  |     int ruler_width() const; | 
					
						
							| 
									
										
										
										
											2019-12-09 17:45:40 +01:00
										 |  |  |     Rect ruler_content_rect(size_t line) const; | 
					
						
							| 
									
										
										
										
											2019-03-08 00:49:45 +01:00
										 |  |  |     void toggle_selection_if_needed_for_event(const GKeyEvent&); | 
					
						
							| 
									
										
										
										
											2019-03-20 23:11:00 +01:00
										 |  |  |     void delete_selection(); | 
					
						
							| 
									
										
										
										
											2019-04-12 02:52:34 +02:00
										 |  |  |     void did_update_selection(); | 
					
						
							| 
									
										
										
										
											2019-04-24 22:24:16 +02:00
										 |  |  |     int content_x_for_position(const GTextPosition&) const; | 
					
						
							| 
									
										
										
										
											2019-08-25 07:14:02 +02:00
										 |  |  |     Rect ruler_rect_in_inner_coordinates() const; | 
					
						
							|  |  |  |     Rect visible_text_rect_in_inner_coordinates() const; | 
					
						
							| 
									
										
										
										
											2019-08-25 08:43:01 +02:00
										 |  |  |     void recompute_all_visual_lines(); | 
					
						
							| 
									
										
										
										
											2019-11-05 16:37:47 -06:00
										 |  |  |     void ensure_cursor_is_valid(); | 
					
						
							| 
									
										
										
										
											2019-11-08 19:49:08 +01:00
										 |  |  |     void flush_pending_change_notification_if_needed(); | 
					
						
							| 
									
										
										
										
											2019-12-09 17:45:40 +01:00
										 |  |  |     void get_selection_line_boundaries(size_t& first_line, size_t& last_line); | 
					
						
							| 
									
										
										
										
											2019-11-08 20:14:42 +01:00
										 |  |  |     void move_selected_lines_up(); | 
					
						
							|  |  |  |     void move_selected_lines_down(); | 
					
						
							| 
									
										
										
										
											2019-11-15 13:45:27 -06:00
										 |  |  |     void sort_selected_lines(); | 
					
						
							| 
									
										
										
										
											2019-03-07 13:21:51 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-12-09 17:45:40 +01:00
										 |  |  |     size_t visual_line_containing(size_t line_index, size_t column) const; | 
					
						
							|  |  |  |     void recompute_visual_lines(size_t line_index); | 
					
						
							| 
									
										
										
										
											2019-10-27 18:00:07 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-11-30 16:50:24 +01:00
										 |  |  |     template<class T, class... Args> | 
					
						
							|  |  |  |     inline void execute(Args&&... args) | 
					
						
							|  |  |  |     { | 
					
						
							|  |  |  |         auto command = make<T>(*m_document, forward<Args>(args)...); | 
					
						
							|  |  |  |         command->redo(); | 
					
						
							|  |  |  |         m_document->add_to_undo_stack(move(command)); | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-15 17:37:13 +01:00
										 |  |  |     Type m_type { MultiLine }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  |     GTextPosition m_cursor; | 
					
						
							| 
									
										
										
										
											2019-04-24 22:24:16 +02:00
										 |  |  |     TextAlignment m_text_alignment { TextAlignment::CenterLeft }; | 
					
						
							| 
									
										
										
										
											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-04-24 23:06:44 +02:00
										 |  |  |     bool m_ruler_visible { false }; | 
					
						
							| 
									
										
										
										
											2019-11-08 19:49:08 +01:00
										 |  |  |     bool m_has_pending_change_notification { false }; | 
					
						
							| 
									
										
										
										
											2019-04-25 22:56:09 +02:00
										 |  |  |     bool m_automatic_indentation_enabled { false }; | 
					
						
							| 
									
										
										
										
											2019-08-25 08:43:01 +02:00
										 |  |  |     bool m_line_wrapping_enabled { false }; | 
					
						
							| 
									
										
										
										
											2019-05-08 05:00:28 +02:00
										 |  |  |     bool m_readonly { false }; | 
					
						
							| 
									
										
										
										
											2019-03-16 23:16:37 +01:00
										 |  |  |     int m_line_spacing { 4 }; | 
					
						
							| 
									
										
										
										
											2019-12-09 17:45:40 +01:00
										 |  |  |     size_t 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-12-09 21:05:28 +01:00
										 |  |  |     RefPtr<GMenu> m_context_menu; | 
					
						
							| 
									
										
										
										
											2019-06-21 18:37:47 +02: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 00:40:55 +02:00
										 |  |  |     CElapsedTimer m_triple_click_timer; | 
					
						
							| 
									
										
										
										
											2019-08-25 21:33:08 +02:00
										 |  |  |     NonnullRefPtrVector<GAction> m_custom_context_menu_actions; | 
					
						
							| 
									
										
										
										
											2019-10-25 21:05:06 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-10-27 16:10:07 +01:00
										 |  |  |     RefPtr<GTextDocument> m_document; | 
					
						
							| 
									
										
										
										
											2019-10-27 18:00:07 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     template<typename Callback> | 
					
						
							| 
									
										
										
										
											2019-12-09 17:45:40 +01:00
										 |  |  |     void for_each_visual_line(size_t line_index, Callback) const; | 
					
						
							| 
									
										
										
										
											2019-10-27 18:00:07 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     struct LineVisualData { | 
					
						
							| 
									
										
										
										
											2019-12-09 17:45:40 +01:00
										 |  |  |         Vector<size_t, 1> visual_line_breaks; | 
					
						
							| 
									
										
										
										
											2019-10-27 18:00:07 +01:00
										 |  |  |         Rect visual_rect; | 
					
						
							|  |  |  |     }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     NonnullOwnPtrVector<LineVisualData> m_line_visual_data; | 
					
						
							| 
									
										
										
										
											2019-03-07 00:31:06 +01:00
										 |  |  | }; |