2019-10-27 18:10:07 +03:00
|
|
|
#pragma once
|
|
|
|
|
2019-10-27 21:36:59 +03:00
|
|
|
#include <AK/Badge.h>
|
2019-10-27 20:00:07 +03:00
|
|
|
#include <AK/HashTable.h>
|
2019-10-27 18:10:07 +03:00
|
|
|
#include <AK/NonnullOwnPtrVector.h>
|
|
|
|
#include <AK/NonnullRefPtr.h>
|
|
|
|
#include <AK/RefCounted.h>
|
2019-11-30 15:05:17 +03:00
|
|
|
#include <LibCore/CTimer.h>
|
2019-10-27 18:10:07 +03:00
|
|
|
#include <LibDraw/Color.h>
|
|
|
|
#include <LibDraw/Font.h>
|
|
|
|
#include <LibGUI/GTextRange.h>
|
2019-11-30 17:36:17 +03:00
|
|
|
#include <LibGUI/GUndoStack.h>
|
2019-10-27 18:10:07 +03:00
|
|
|
|
|
|
|
class GTextEditor;
|
2019-11-30 15:05:17 +03:00
|
|
|
class GTextDocument;
|
2019-10-27 18:10:07 +03:00
|
|
|
class GTextDocumentLine;
|
|
|
|
|
|
|
|
struct GTextDocumentSpan {
|
|
|
|
GTextRange range;
|
|
|
|
Color color;
|
2019-11-18 21:10:06 +03:00
|
|
|
Optional<Color> background_color;
|
2019-11-15 22:36:45 +03:00
|
|
|
bool is_skippable { false };
|
2019-10-27 18:10:07 +03:00
|
|
|
const Font* font { nullptr };
|
2019-11-18 21:10:06 +03:00
|
|
|
void* data { nullptr };
|
2019-10-27 18:10:07 +03:00
|
|
|
};
|
|
|
|
|
2019-11-30 17:36:17 +03:00
|
|
|
class GTextDocumentUndoCommand : public GCommand {
|
2019-11-30 15:05:17 +03:00
|
|
|
public:
|
|
|
|
GTextDocumentUndoCommand(GTextDocument&);
|
|
|
|
virtual ~GTextDocumentUndoCommand();
|
|
|
|
|
|
|
|
protected:
|
|
|
|
GTextDocument& m_document;
|
|
|
|
};
|
|
|
|
|
2019-11-30 18:50:24 +03:00
|
|
|
class InsertTextCommand : public GTextDocumentUndoCommand {
|
2019-11-30 15:05:17 +03:00
|
|
|
public:
|
2019-11-30 18:50:24 +03:00
|
|
|
InsertTextCommand(GTextDocument&, const String&, const GTextPosition&);
|
2019-11-30 15:05:17 +03:00
|
|
|
virtual void undo() override;
|
|
|
|
virtual void redo() override;
|
|
|
|
|
|
|
|
private:
|
2019-11-30 18:50:24 +03:00
|
|
|
String m_text;
|
|
|
|
GTextRange m_range;
|
2019-11-30 15:05:17 +03:00
|
|
|
};
|
|
|
|
|
2019-11-30 18:50:24 +03:00
|
|
|
class RemoveTextCommand : public GTextDocumentUndoCommand {
|
2019-11-30 15:05:17 +03:00
|
|
|
public:
|
2019-11-30 18:50:24 +03:00
|
|
|
RemoveTextCommand(GTextDocument&, const String&, const GTextRange&);
|
2019-11-30 15:05:17 +03:00
|
|
|
virtual void undo() override;
|
|
|
|
virtual void redo() override;
|
|
|
|
|
|
|
|
private:
|
2019-11-30 18:50:24 +03:00
|
|
|
String m_text;
|
|
|
|
GTextRange m_range;
|
2019-11-30 15:05:17 +03:00
|
|
|
};
|
|
|
|
|
2019-10-27 18:10:07 +03:00
|
|
|
class GTextDocument : public RefCounted<GTextDocument> {
|
|
|
|
public:
|
2019-11-01 21:19:39 +03:00
|
|
|
enum class SearchShouldWrap {
|
|
|
|
No = 0,
|
|
|
|
Yes
|
|
|
|
};
|
|
|
|
|
2019-10-27 20:00:07 +03:00
|
|
|
class Client {
|
|
|
|
public:
|
|
|
|
virtual ~Client();
|
|
|
|
virtual void document_did_append_line() = 0;
|
|
|
|
virtual void document_did_insert_line(int) = 0;
|
|
|
|
virtual void document_did_remove_line(int) = 0;
|
|
|
|
virtual void document_did_remove_all_lines() = 0;
|
2019-10-27 21:36:59 +03:00
|
|
|
virtual void document_did_change() = 0;
|
2019-11-23 19:41:14 +03:00
|
|
|
virtual void document_did_set_text() = 0;
|
2019-11-30 15:05:17 +03:00
|
|
|
virtual void document_did_set_cursor(const GTextPosition&) = 0;
|
2019-10-27 20:00:07 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
static NonnullRefPtr<GTextDocument> create(Client* client = nullptr)
|
2019-10-27 18:10:07 +03:00
|
|
|
{
|
2019-10-27 20:00:07 +03:00
|
|
|
return adopt(*new GTextDocument(client));
|
2019-10-27 18:10:07 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
int line_count() const { return m_lines.size(); }
|
|
|
|
const GTextDocumentLine& line(int line_index) const { return m_lines[line_index]; }
|
|
|
|
GTextDocumentLine& line(int line_index) { return m_lines[line_index]; }
|
|
|
|
|
|
|
|
void set_spans(const Vector<GTextDocumentSpan>& spans) { m_spans = spans; }
|
|
|
|
|
|
|
|
void set_text(const StringView&);
|
|
|
|
|
|
|
|
const NonnullOwnPtrVector<GTextDocumentLine>& lines() const { return m_lines; }
|
|
|
|
NonnullOwnPtrVector<GTextDocumentLine>& lines() { return m_lines; }
|
|
|
|
|
|
|
|
bool has_spans() const { return !m_spans.is_empty(); }
|
|
|
|
const Vector<GTextDocumentSpan>& spans() const { return m_spans; }
|
2019-11-18 21:10:06 +03:00
|
|
|
void set_span_at_index(int index, GTextDocumentSpan span) { m_spans[index] = move(span); }
|
2019-10-27 18:10:07 +03:00
|
|
|
|
2019-10-27 20:00:07 +03:00
|
|
|
void append_line(NonnullOwnPtr<GTextDocumentLine>);
|
|
|
|
void remove_line(int line_index);
|
|
|
|
void remove_all_lines();
|
|
|
|
void insert_line(int line_index, NonnullOwnPtr<GTextDocumentLine>);
|
|
|
|
|
|
|
|
void register_client(Client&);
|
|
|
|
void unregister_client(Client&);
|
|
|
|
|
2019-10-27 21:36:59 +03:00
|
|
|
void update_views(Badge<GTextDocumentLine>);
|
|
|
|
|
2019-10-29 23:36:47 +03:00
|
|
|
String text_in_range(const GTextRange&) const;
|
|
|
|
|
2019-11-01 21:19:39 +03:00
|
|
|
Vector<GTextRange> find_all(const StringView& needle) const;
|
|
|
|
|
|
|
|
GTextRange find_next(const StringView&, const GTextPosition& start = {}, SearchShouldWrap = SearchShouldWrap::Yes) const;
|
|
|
|
GTextRange find_previous(const StringView&, const GTextPosition& start = {}, SearchShouldWrap = SearchShouldWrap::Yes) const;
|
|
|
|
|
|
|
|
GTextPosition next_position_after(const GTextPosition&, SearchShouldWrap = SearchShouldWrap::Yes) const;
|
|
|
|
GTextPosition previous_position_before(const GTextPosition&, SearchShouldWrap = SearchShouldWrap::Yes) const;
|
|
|
|
|
|
|
|
char character_at(const GTextPosition&) const;
|
|
|
|
|
2019-11-15 22:36:45 +03:00
|
|
|
Optional<GTextDocumentSpan> first_non_skippable_span_before(const GTextPosition&) const;
|
|
|
|
Optional<GTextDocumentSpan> first_non_skippable_span_after(const GTextPosition&) const;
|
|
|
|
|
2019-11-30 15:05:17 +03:00
|
|
|
void add_to_undo_stack(NonnullOwnPtr<GTextDocumentUndoCommand>);
|
|
|
|
|
2019-11-30 17:36:17 +03:00
|
|
|
bool can_undo() const { return m_undo_stack.can_undo(); }
|
|
|
|
bool can_redo() const { return m_undo_stack.can_redo(); }
|
2019-11-30 15:05:17 +03:00
|
|
|
void undo();
|
|
|
|
void redo();
|
|
|
|
|
|
|
|
void notify_did_change();
|
|
|
|
void set_all_cursors(const GTextPosition&);
|
|
|
|
|
2019-11-30 18:50:24 +03:00
|
|
|
GTextPosition insert_at(const GTextPosition&, char);
|
|
|
|
GTextPosition insert_at(const GTextPosition&, const StringView&);
|
|
|
|
void remove(const GTextRange&);
|
|
|
|
|
2019-10-27 18:10:07 +03:00
|
|
|
private:
|
2019-10-27 20:00:07 +03:00
|
|
|
explicit GTextDocument(Client* client);
|
2019-10-27 18:10:07 +03:00
|
|
|
|
2019-11-30 15:05:17 +03:00
|
|
|
void update_undo_timer();
|
|
|
|
|
2019-10-27 18:10:07 +03:00
|
|
|
NonnullOwnPtrVector<GTextDocumentLine> m_lines;
|
|
|
|
Vector<GTextDocumentSpan> m_spans;
|
|
|
|
|
2019-10-27 20:00:07 +03:00
|
|
|
HashTable<Client*> m_clients;
|
2019-11-23 19:41:14 +03:00
|
|
|
bool m_client_notifications_enabled { true };
|
2019-11-30 15:05:17 +03:00
|
|
|
|
2019-11-30 17:36:17 +03:00
|
|
|
GUndoStack m_undo_stack;
|
2019-11-30 15:05:17 +03:00
|
|
|
RefPtr<CTimer> m_undo_timer;
|
2019-10-27 18:10:07 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
class GTextDocumentLine {
|
|
|
|
friend class GTextEditor;
|
|
|
|
friend class GTextDocument;
|
|
|
|
|
|
|
|
public:
|
2019-10-27 21:36:59 +03:00
|
|
|
explicit GTextDocumentLine(GTextDocument&);
|
|
|
|
explicit GTextDocumentLine(GTextDocument&, const StringView&);
|
2019-10-27 18:10:07 +03:00
|
|
|
|
|
|
|
StringView view() const { return { characters(), length() }; }
|
|
|
|
const char* characters() const { return m_text.data(); }
|
|
|
|
int length() const { return m_text.size() - 1; }
|
2019-10-27 21:36:59 +03:00
|
|
|
void set_text(GTextDocument&, const StringView&);
|
|
|
|
void append(GTextDocument&, char);
|
|
|
|
void prepend(GTextDocument&, char);
|
|
|
|
void insert(GTextDocument&, int index, char);
|
|
|
|
void remove(GTextDocument&, int index);
|
|
|
|
void append(GTextDocument&, const char*, int);
|
|
|
|
void truncate(GTextDocument&, int length);
|
|
|
|
void clear(GTextDocument&);
|
2019-10-27 18:10:07 +03:00
|
|
|
int first_non_whitespace_column() const;
|
|
|
|
|
|
|
|
private:
|
|
|
|
// NOTE: This vector is null terminated.
|
|
|
|
Vector<char> m_text;
|
|
|
|
};
|