2014-02-10 09:10:30 +08:00
|
|
|
/*************************************************************************/
|
|
|
|
/* text_edit.h */
|
|
|
|
/*************************************************************************/
|
|
|
|
/* This file is part of: */
|
|
|
|
/* GODOT ENGINE */
|
2017-08-27 20:16:55 +08:00
|
|
|
/* https://godotengine.org */
|
2014-02-10 09:10:30 +08:00
|
|
|
/*************************************************************************/
|
2020-01-01 18:16:22 +08:00
|
|
|
/* Copyright (c) 2007-2020 Juan Linietsky, Ariel Manzur. */
|
|
|
|
/* Copyright (c) 2014-2020 Godot Engine contributors (cf. AUTHORS.md). */
|
2014-02-10 09:10:30 +08:00
|
|
|
/* */
|
|
|
|
/* Permission is hereby granted, free of charge, to any person obtaining */
|
|
|
|
/* a copy of this software and associated documentation files (the */
|
|
|
|
/* "Software"), to deal in the Software without restriction, including */
|
|
|
|
/* without limitation the rights to use, copy, modify, merge, publish, */
|
|
|
|
/* distribute, sublicense, and/or sell copies of the Software, and to */
|
|
|
|
/* permit persons to whom the Software is furnished to do so, subject to */
|
|
|
|
/* the following conditions: */
|
|
|
|
/* */
|
|
|
|
/* The above copyright notice and this permission notice shall be */
|
|
|
|
/* included in all copies or substantial portions of the Software. */
|
|
|
|
/* */
|
|
|
|
/* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, */
|
|
|
|
/* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF */
|
|
|
|
/* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.*/
|
|
|
|
/* IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY */
|
|
|
|
/* CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, */
|
|
|
|
/* TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE */
|
|
|
|
/* SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
|
|
|
|
/*************************************************************************/
|
2018-01-05 07:50:27 +08:00
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
#ifndef TEXT_EDIT_H
|
|
|
|
#define TEXT_EDIT_H
|
|
|
|
|
|
|
|
#include "scene/gui/control.h"
|
2016-05-17 07:25:17 +08:00
|
|
|
#include "scene/gui/popup_menu.h"
|
2017-03-05 23:44:50 +08:00
|
|
|
#include "scene/gui/scroll_bar.h"
|
2014-02-10 09:10:30 +08:00
|
|
|
#include "scene/main/timer.h"
|
|
|
|
|
2018-04-02 19:41:44 +08:00
|
|
|
class SyntaxHighlighter;
|
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
class TextEdit : public Control {
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2019-03-20 02:35:57 +08:00
|
|
|
GDCLASS(TextEdit, Control);
|
2018-04-02 19:41:44 +08:00
|
|
|
|
|
|
|
public:
|
|
|
|
struct HighlighterInfo {
|
|
|
|
Color color;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct ColorRegion {
|
|
|
|
|
|
|
|
Color color;
|
|
|
|
String begin_key;
|
|
|
|
String end_key;
|
|
|
|
bool line_only;
|
|
|
|
bool eq;
|
|
|
|
ColorRegion(const String &p_begin_key = "", const String &p_end_key = "", const Color &p_color = Color(), bool p_line_only = false) {
|
|
|
|
begin_key = p_begin_key;
|
|
|
|
end_key = p_end_key;
|
|
|
|
color = p_color;
|
|
|
|
line_only = p_line_only || p_end_key == "";
|
|
|
|
eq = begin_key == end_key;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
class Text {
|
|
|
|
public:
|
|
|
|
struct ColorRegionInfo {
|
|
|
|
|
|
|
|
int region;
|
|
|
|
bool end;
|
2019-12-10 12:13:02 +08:00
|
|
|
ColorRegionInfo() {
|
|
|
|
region = 0;
|
|
|
|
end = false;
|
|
|
|
}
|
2018-04-02 19:41:44 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
struct Line {
|
|
|
|
int width_cache : 24;
|
|
|
|
bool marked : 1;
|
|
|
|
bool breakpoint : 1;
|
2019-04-20 07:51:25 +08:00
|
|
|
bool bookmark : 1;
|
2018-04-02 19:41:44 +08:00
|
|
|
bool hidden : 1;
|
2018-06-06 00:50:21 +08:00
|
|
|
bool safe : 1;
|
2019-10-27 19:07:19 +08:00
|
|
|
bool has_info : 1;
|
2018-01-26 09:41:17 +08:00
|
|
|
int wrap_amount_cache : 24;
|
2018-04-02 19:41:44 +08:00
|
|
|
Map<int, ColorRegionInfo> region_info;
|
2019-06-12 02:43:37 +08:00
|
|
|
Ref<Texture2D> info_icon;
|
2019-04-20 19:51:25 +08:00
|
|
|
String info;
|
2018-04-02 19:41:44 +08:00
|
|
|
String data;
|
2019-12-10 12:13:02 +08:00
|
|
|
Line() {
|
|
|
|
width_cache = 0;
|
|
|
|
marked = false;
|
|
|
|
breakpoint = false;
|
|
|
|
bookmark = false;
|
|
|
|
hidden = false;
|
|
|
|
safe = false;
|
|
|
|
has_info = false;
|
|
|
|
wrap_amount_cache = 0;
|
|
|
|
}
|
2018-04-02 19:41:44 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
private:
|
|
|
|
const Vector<ColorRegion> *color_regions;
|
|
|
|
mutable Vector<Line> text;
|
|
|
|
Ref<Font> font;
|
|
|
|
int indent_size;
|
|
|
|
|
|
|
|
void _update_line_cache(int p_line) const;
|
|
|
|
|
|
|
|
public:
|
|
|
|
void set_indent_size(int p_indent_size);
|
|
|
|
void set_font(const Ref<Font> &p_font);
|
|
|
|
void set_color_regions(const Vector<ColorRegion> *p_regions) { color_regions = p_regions; }
|
|
|
|
int get_line_width(int p_line) const;
|
|
|
|
int get_max_width(bool p_exclude_hidden = false) const;
|
2018-05-16 03:32:09 +08:00
|
|
|
int get_char_width(CharType c, CharType next_c, int px) const;
|
2018-01-26 09:41:17 +08:00
|
|
|
void set_line_wrap_amount(int p_line, int p_wrap_amount) const;
|
|
|
|
int get_line_wrap_amount(int p_line) const;
|
2018-04-02 19:41:44 +08:00
|
|
|
const Map<int, ColorRegionInfo> &get_color_region_info(int p_line) const;
|
|
|
|
void set(int p_line, const String &p_text);
|
2018-07-25 09:11:03 +08:00
|
|
|
void set_marked(int p_line, bool p_marked) { text.write[p_line].marked = p_marked; }
|
2018-04-02 19:41:44 +08:00
|
|
|
bool is_marked(int p_line) const { return text[p_line].marked; }
|
2019-04-20 07:51:25 +08:00
|
|
|
void set_bookmark(int p_line, bool p_bookmark) { text.write[p_line].bookmark = p_bookmark; }
|
|
|
|
bool is_bookmark(int p_line) const { return text[p_line].bookmark; }
|
2018-07-25 09:11:03 +08:00
|
|
|
void set_breakpoint(int p_line, bool p_breakpoint) { text.write[p_line].breakpoint = p_breakpoint; }
|
2018-04-02 19:41:44 +08:00
|
|
|
bool is_breakpoint(int p_line) const { return text[p_line].breakpoint; }
|
2018-07-25 09:11:03 +08:00
|
|
|
void set_hidden(int p_line, bool p_hidden) { text.write[p_line].hidden = p_hidden; }
|
2018-04-02 19:41:44 +08:00
|
|
|
bool is_hidden(int p_line) const { return text[p_line].hidden; }
|
2018-07-25 09:11:03 +08:00
|
|
|
void set_safe(int p_line, bool p_safe) { text.write[p_line].safe = p_safe; }
|
2018-06-06 00:50:21 +08:00
|
|
|
bool is_safe(int p_line) const { return text[p_line].safe; }
|
2019-06-12 02:43:37 +08:00
|
|
|
void set_info_icon(int p_line, Ref<Texture2D> p_icon, String p_info) {
|
2019-10-27 19:07:19 +08:00
|
|
|
if (p_icon.is_null()) {
|
|
|
|
text.write[p_line].has_info = false;
|
|
|
|
return;
|
|
|
|
}
|
2019-04-20 19:51:25 +08:00
|
|
|
text.write[p_line].info_icon = p_icon;
|
|
|
|
text.write[p_line].info = p_info;
|
2019-10-27 19:07:19 +08:00
|
|
|
text.write[p_line].has_info = true;
|
2019-04-20 19:51:25 +08:00
|
|
|
}
|
2019-10-27 19:07:19 +08:00
|
|
|
bool has_info_icon(int p_line) const { return text[p_line].has_info; }
|
2019-06-12 02:43:37 +08:00
|
|
|
const Ref<Texture2D> &get_info_icon(int p_line) const { return text[p_line].info_icon; }
|
2019-04-20 19:51:25 +08:00
|
|
|
const String &get_info(int p_line) const { return text[p_line].info; }
|
2018-04-02 19:41:44 +08:00
|
|
|
void insert(int p_at, const String &p_text);
|
|
|
|
void remove(int p_at);
|
|
|
|
int size() const { return text.size(); }
|
|
|
|
void clear();
|
2018-01-26 09:41:17 +08:00
|
|
|
void clear_width_cache();
|
|
|
|
void clear_wrap_cache();
|
2019-10-27 19:07:19 +08:00
|
|
|
void clear_info_icons();
|
2018-04-02 19:41:44 +08:00
|
|
|
_FORCE_INLINE_ const String &operator[](int p_line) const { return text[p_line].data; }
|
|
|
|
Text() { indent_size = 4; }
|
|
|
|
};
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2018-04-02 19:41:44 +08:00
|
|
|
private:
|
2014-02-10 09:10:30 +08:00
|
|
|
struct Cursor {
|
|
|
|
int last_fit_x;
|
2017-03-05 23:44:50 +08:00
|
|
|
int line, column; ///< cursor
|
2018-01-26 09:41:17 +08:00
|
|
|
int x_ofs, line_ofs, wrap_ofs;
|
2019-12-10 12:13:02 +08:00
|
|
|
Cursor() {
|
|
|
|
last_fit_x = 0;
|
|
|
|
line = 0;
|
|
|
|
column = 0; ///< cursor
|
|
|
|
x_ofs = 0;
|
|
|
|
line_ofs = 0;
|
|
|
|
wrap_ofs = 0;
|
|
|
|
}
|
2014-02-10 09:10:30 +08:00
|
|
|
} cursor;
|
|
|
|
|
|
|
|
struct Selection {
|
|
|
|
|
|
|
|
enum Mode {
|
|
|
|
|
|
|
|
MODE_NONE,
|
|
|
|
MODE_SHIFT,
|
2017-11-05 23:54:00 +08:00
|
|
|
MODE_POINTER,
|
|
|
|
MODE_WORD,
|
|
|
|
MODE_LINE
|
2014-02-10 09:10:30 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
Mode selecting_mode;
|
2017-03-05 23:44:50 +08:00
|
|
|
int selecting_line, selecting_column;
|
2017-11-05 23:54:00 +08:00
|
|
|
int selected_word_beg, selected_word_end, selected_word_origin;
|
2015-08-13 06:34:07 +08:00
|
|
|
bool selecting_text;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
bool active;
|
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
int from_line, from_column;
|
|
|
|
int to_line, to_column;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2015-01-03 02:08:40 +08:00
|
|
|
bool shiftclick_left;
|
2019-12-10 12:13:02 +08:00
|
|
|
Selection() {
|
|
|
|
selecting_mode = MODE_NONE;
|
|
|
|
selecting_line = 0;
|
|
|
|
selecting_column = 0;
|
|
|
|
selected_word_beg = 0;
|
|
|
|
selected_word_end = 0;
|
|
|
|
selected_word_origin = 0;
|
|
|
|
selecting_text = false;
|
|
|
|
active = false;
|
|
|
|
from_line = 0;
|
|
|
|
from_column = 0;
|
|
|
|
to_line = 0;
|
|
|
|
to_column = 0;
|
|
|
|
shiftclick_left = false;
|
|
|
|
}
|
2014-02-10 09:10:30 +08:00
|
|
|
} selection;
|
|
|
|
|
|
|
|
struct Cache {
|
|
|
|
|
2019-06-12 02:43:37 +08:00
|
|
|
Ref<Texture2D> tab_icon;
|
|
|
|
Ref<Texture2D> space_icon;
|
|
|
|
Ref<Texture2D> can_fold_icon;
|
|
|
|
Ref<Texture2D> folded_icon;
|
|
|
|
Ref<Texture2D> folded_eol_icon;
|
|
|
|
Ref<Texture2D> executing_icon;
|
2014-02-10 09:10:30 +08:00
|
|
|
Ref<StyleBox> style_normal;
|
|
|
|
Ref<StyleBox> style_focus;
|
2017-11-30 11:53:15 +08:00
|
|
|
Ref<StyleBox> style_readonly;
|
2014-02-10 09:10:30 +08:00
|
|
|
Ref<Font> font;
|
2016-06-21 23:50:31 +08:00
|
|
|
Color completion_background_color;
|
2016-06-22 00:21:55 +08:00
|
|
|
Color completion_selected_color;
|
2016-06-22 00:34:38 +08:00
|
|
|
Color completion_existing_color;
|
2016-07-11 21:25:56 +08:00
|
|
|
Color completion_font_color;
|
2016-04-06 00:06:56 +08:00
|
|
|
Color caret_color;
|
2016-07-12 23:07:17 +08:00
|
|
|
Color caret_background_color;
|
2016-04-09 03:05:50 +08:00
|
|
|
Color line_number_color;
|
2018-06-06 00:50:21 +08:00
|
|
|
Color safe_line_number_color;
|
2014-02-10 09:10:30 +08:00
|
|
|
Color font_color;
|
2019-06-24 13:17:27 +08:00
|
|
|
Color font_color_selected;
|
2019-06-24 11:43:52 +08:00
|
|
|
Color font_color_readonly;
|
2014-02-10 09:10:30 +08:00
|
|
|
Color keyword_color;
|
2016-03-21 23:45:38 +08:00
|
|
|
Color number_color;
|
2016-04-03 03:46:42 +08:00
|
|
|
Color function_color;
|
2016-04-05 22:50:54 +08:00
|
|
|
Color member_variable_color;
|
2014-02-10 09:10:30 +08:00
|
|
|
Color selection_color;
|
|
|
|
Color mark_color;
|
2019-04-20 07:51:25 +08:00
|
|
|
Color bookmark_color;
|
2014-02-10 09:10:30 +08:00
|
|
|
Color breakpoint_color;
|
2019-04-23 00:20:27 +08:00
|
|
|
Color executing_line_color;
|
2017-12-05 05:48:20 +08:00
|
|
|
Color code_folding_color;
|
2014-02-10 09:10:30 +08:00
|
|
|
Color current_line_color;
|
2017-01-28 22:36:57 +08:00
|
|
|
Color line_length_guideline_color;
|
2014-12-17 12:53:34 +08:00
|
|
|
Color brace_mismatch_color;
|
2016-03-17 05:20:42 +08:00
|
|
|
Color word_highlighted_color;
|
2016-05-29 00:25:45 +08:00
|
|
|
Color search_result_color;
|
|
|
|
Color search_result_border_color;
|
2016-11-06 21:50:23 +08:00
|
|
|
Color symbol_color;
|
|
|
|
Color background_color;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
int row_height;
|
|
|
|
int line_spacing;
|
|
|
|
int line_number_w;
|
2016-05-26 21:17:14 +08:00
|
|
|
int breakpoint_gutter_width;
|
2017-11-13 07:12:17 +08:00
|
|
|
int fold_gutter_width;
|
2019-04-20 19:51:25 +08:00
|
|
|
int info_gutter_width;
|
2019-08-12 02:31:19 +08:00
|
|
|
int minimap_width;
|
2019-12-10 12:13:02 +08:00
|
|
|
Cache() {
|
|
|
|
|
|
|
|
row_height = 0;
|
|
|
|
line_spacing = 0;
|
|
|
|
line_number_w = 0;
|
|
|
|
breakpoint_gutter_width = 0;
|
|
|
|
fold_gutter_width = 0;
|
|
|
|
info_gutter_width = 0;
|
|
|
|
minimap_width = 0;
|
|
|
|
}
|
2014-02-10 09:10:30 +08:00
|
|
|
} cache;
|
|
|
|
|
2018-04-07 21:14:19 +08:00
|
|
|
Map<int, int> color_region_cache;
|
2019-08-12 02:29:09 +08:00
|
|
|
Map<int, Map<int, HighlighterInfo> > syntax_highlighting_cache;
|
2018-04-07 21:14:19 +08:00
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
struct TextOperation {
|
|
|
|
|
|
|
|
enum Type {
|
|
|
|
TYPE_NONE,
|
|
|
|
TYPE_INSERT,
|
|
|
|
TYPE_REMOVE
|
|
|
|
};
|
|
|
|
|
|
|
|
Type type;
|
2017-03-05 23:44:50 +08:00
|
|
|
int from_line, from_column;
|
2014-02-10 09:10:30 +08:00
|
|
|
int to_line, to_column;
|
|
|
|
String text;
|
2016-03-14 04:08:12 +08:00
|
|
|
uint32_t prev_version;
|
2014-02-10 09:10:30 +08:00
|
|
|
uint32_t version;
|
|
|
|
bool chain_forward;
|
|
|
|
bool chain_backward;
|
2019-12-10 12:13:02 +08:00
|
|
|
TextOperation() {
|
|
|
|
type = TYPE_NONE;
|
|
|
|
from_line = 0;
|
|
|
|
from_column = 0;
|
|
|
|
to_line = 0;
|
|
|
|
to_column = 0;
|
|
|
|
prev_version = 0;
|
|
|
|
version = 0;
|
|
|
|
chain_forward = false;
|
|
|
|
chain_backward = false;
|
|
|
|
}
|
2014-02-10 09:10:30 +08:00
|
|
|
};
|
|
|
|
|
2017-08-07 19:09:56 +08:00
|
|
|
String ime_text;
|
|
|
|
Point2 ime_selection;
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
TextOperation current_op;
|
|
|
|
|
|
|
|
List<TextOperation> undo_stack;
|
2017-03-05 23:44:50 +08:00
|
|
|
List<TextOperation>::Element *undo_stack_pos;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
void _clear_redo();
|
2017-03-05 23:44:50 +08:00
|
|
|
void _do_text_op(const TextOperation &p_op, bool p_reverse);
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
//syntax coloring
|
2018-04-02 19:41:44 +08:00
|
|
|
SyntaxHighlighter *syntax_highlighter;
|
2017-03-05 23:44:50 +08:00
|
|
|
HashMap<String, Color> keywords;
|
2018-01-12 22:00:41 +08:00
|
|
|
HashMap<String, Color> member_keywords;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2018-04-02 19:41:44 +08:00
|
|
|
Map<int, HighlighterInfo> _get_line_syntax_highlighting(int p_line);
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
Vector<ColorRegion> color_regions;
|
|
|
|
|
|
|
|
Set<String> completion_prefixes;
|
|
|
|
bool completion_enabled;
|
2019-06-13 17:32:03 +08:00
|
|
|
List<ScriptCodeCompletionOption> completion_sources;
|
|
|
|
Vector<ScriptCodeCompletionOption> completion_options;
|
2014-02-10 09:10:30 +08:00
|
|
|
bool completion_active;
|
2017-08-24 11:06:56 +08:00
|
|
|
bool completion_forced;
|
2019-06-13 17:32:03 +08:00
|
|
|
ScriptCodeCompletionOption completion_current;
|
2014-02-10 09:10:30 +08:00
|
|
|
String completion_base;
|
|
|
|
int completion_index;
|
|
|
|
Rect2i completion_rect;
|
|
|
|
int completion_line_ofs;
|
2014-12-17 09:31:57 +08:00
|
|
|
String completion_hint;
|
|
|
|
int completion_hint_offset;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
bool setting_text;
|
|
|
|
|
|
|
|
// data
|
|
|
|
Text text;
|
|
|
|
|
|
|
|
uint32_t version;
|
|
|
|
uint32_t saved_version;
|
|
|
|
|
|
|
|
int max_chars;
|
|
|
|
bool readonly;
|
|
|
|
bool syntax_coloring;
|
2017-04-17 21:24:30 +08:00
|
|
|
bool indent_using_spaces;
|
|
|
|
int indent_size;
|
|
|
|
String space_indent;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2016-05-10 02:21:55 +08:00
|
|
|
Timer *caret_blink_timer;
|
|
|
|
bool caret_blink_enabled;
|
|
|
|
bool draw_caret;
|
2016-06-19 23:11:16 +08:00
|
|
|
bool window_has_focus;
|
2016-07-12 23:07:17 +08:00
|
|
|
bool block_caret;
|
2017-12-20 09:36:47 +08:00
|
|
|
bool right_click_moves_caret;
|
2016-05-10 02:21:55 +08:00
|
|
|
|
2018-01-26 09:41:17 +08:00
|
|
|
bool wrap_enabled;
|
|
|
|
int wrap_at;
|
|
|
|
int wrap_right_offset;
|
|
|
|
|
2019-04-12 10:21:48 +08:00
|
|
|
bool first_draw;
|
2014-02-10 09:10:30 +08:00
|
|
|
bool setting_row;
|
|
|
|
bool draw_tabs;
|
2019-04-24 07:33:20 +08:00
|
|
|
bool draw_spaces;
|
2017-09-28 01:24:05 +08:00
|
|
|
bool override_selected_font_color;
|
2014-02-10 09:10:30 +08:00
|
|
|
bool cursor_changed_dirty;
|
|
|
|
bool text_changed_dirty;
|
|
|
|
bool undo_enabled;
|
|
|
|
bool line_numbers;
|
2016-10-10 19:43:09 +08:00
|
|
|
bool line_numbers_zero_padded;
|
2020-02-15 09:59:59 +08:00
|
|
|
bool line_length_guidelines;
|
|
|
|
int line_length_guideline_soft_col;
|
|
|
|
int line_length_guideline_hard_col;
|
2019-04-20 07:51:25 +08:00
|
|
|
bool draw_bookmark_gutter;
|
2016-05-26 21:17:14 +08:00
|
|
|
bool draw_breakpoint_gutter;
|
|
|
|
int breakpoint_gutter_width;
|
2017-11-13 07:12:17 +08:00
|
|
|
bool draw_fold_gutter;
|
|
|
|
int fold_gutter_width;
|
|
|
|
bool hiding_enabled;
|
2019-04-20 19:51:25 +08:00
|
|
|
bool draw_info_gutter;
|
|
|
|
int info_gutter_width;
|
2019-08-12 02:31:19 +08:00
|
|
|
bool draw_minimap;
|
|
|
|
int minimap_width;
|
|
|
|
Point2 minimap_char_size;
|
|
|
|
int minimap_line_spacing;
|
2016-03-09 07:00:52 +08:00
|
|
|
|
2016-03-17 05:20:42 +08:00
|
|
|
bool highlight_all_occurrences;
|
2016-03-07 10:32:51 +08:00
|
|
|
bool scroll_past_end_of_file_enabled;
|
2014-05-01 00:21:58 +08:00
|
|
|
bool auto_brace_completion_enabled;
|
2014-12-17 12:53:34 +08:00
|
|
|
bool brace_matching_enabled;
|
2017-10-22 20:38:00 +08:00
|
|
|
bool highlight_current_line;
|
2015-11-30 00:02:35 +08:00
|
|
|
bool auto_indent;
|
2017-12-17 23:24:23 +08:00
|
|
|
String cut_copy_line;
|
2016-04-01 03:49:30 +08:00
|
|
|
bool insert_mode;
|
2016-09-12 21:52:29 +08:00
|
|
|
bool select_identifiers_enabled;
|
|
|
|
|
2017-08-19 22:23:45 +08:00
|
|
|
bool smooth_scroll_enabled;
|
|
|
|
bool scrolling;
|
2019-08-12 02:31:19 +08:00
|
|
|
bool dragging_selection;
|
|
|
|
bool dragging_minimap;
|
2019-08-25 21:38:14 +08:00
|
|
|
bool can_drag_minimap;
|
2019-08-12 02:31:19 +08:00
|
|
|
bool minimap_clicked;
|
2019-08-25 21:38:14 +08:00
|
|
|
double minimap_scroll_ratio;
|
|
|
|
double minimap_scroll_click_pos;
|
2017-08-19 22:23:45 +08:00
|
|
|
float target_v_scroll;
|
2017-08-22 02:13:24 +08:00
|
|
|
float v_scroll_speed;
|
2017-08-19 22:23:45 +08:00
|
|
|
|
2017-04-06 23:35:08 +08:00
|
|
|
String highlighted_word;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
uint64_t last_dblclk;
|
|
|
|
|
|
|
|
Timer *idle_detect;
|
2015-12-10 02:56:41 +08:00
|
|
|
Timer *click_select_held;
|
2014-02-10 09:10:30 +08:00
|
|
|
HScrollBar *h_scroll;
|
|
|
|
VScrollBar *v_scroll;
|
|
|
|
bool updating_scrolls;
|
|
|
|
|
|
|
|
Object *tooltip_obj;
|
|
|
|
StringName tooltip_func;
|
|
|
|
Variant tooltip_ud;
|
2016-03-09 07:00:52 +08:00
|
|
|
|
2014-04-26 20:42:19 +08:00
|
|
|
bool next_operation_is_complex;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2016-03-04 18:05:42 +08:00
|
|
|
bool callhint_below;
|
|
|
|
Vector2 callhint_offset;
|
|
|
|
|
2016-05-29 00:25:45 +08:00
|
|
|
String search_text;
|
|
|
|
uint32_t search_flags;
|
|
|
|
int search_result_line;
|
|
|
|
int search_result_col;
|
|
|
|
|
2019-08-08 08:09:46 +08:00
|
|
|
bool selecting_enabled;
|
|
|
|
|
2016-09-29 15:12:45 +08:00
|
|
|
bool context_menu_enabled;
|
2019-08-08 08:09:46 +08:00
|
|
|
bool shortcut_keys_enabled;
|
2016-09-29 15:12:45 +08:00
|
|
|
|
2019-04-23 00:20:27 +08:00
|
|
|
int executing_line;
|
|
|
|
|
2019-08-08 08:09:46 +08:00
|
|
|
void _generate_context_menu();
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
int get_visible_rows() const;
|
2018-01-26 09:41:17 +08:00
|
|
|
int get_total_visible_rows() const;
|
|
|
|
|
2019-08-12 02:31:19 +08:00
|
|
|
int _get_minimap_visible_rows() const;
|
|
|
|
|
2018-01-26 09:41:17 +08:00
|
|
|
void update_cursor_wrap_offset();
|
2019-01-06 00:58:54 +08:00
|
|
|
void _update_wrap_at();
|
2018-01-26 09:41:17 +08:00
|
|
|
bool line_wraps(int line) const;
|
|
|
|
int times_line_wraps(int line) const;
|
|
|
|
Vector<String> get_wrap_rows_text(int p_line) const;
|
|
|
|
int get_cursor_wrap_index() const;
|
|
|
|
int get_line_wrap_index_at_col(int p_line, int p_column) const;
|
2014-02-10 09:10:30 +08:00
|
|
|
int get_char_count();
|
|
|
|
|
2018-01-26 09:41:17 +08:00
|
|
|
double get_scroll_pos_for_line(int p_line, int p_wrap_index = 0) const;
|
|
|
|
void set_line_as_first_visible(int p_line, int p_wrap_index = 0);
|
|
|
|
void set_line_as_center_visible(int p_line, int p_wrap_index = 0);
|
|
|
|
void set_line_as_last_visible(int p_line, int p_wrap_index = 0);
|
|
|
|
int get_first_visible_line() const;
|
|
|
|
int get_last_visible_line() const;
|
|
|
|
int get_last_visible_line_wrap_index() const;
|
|
|
|
double get_visible_rows_offset() const;
|
|
|
|
double get_v_scroll_offset() const;
|
|
|
|
|
|
|
|
int get_char_pos_for_line(int p_px, int p_line, int p_wrap_index = 0) const;
|
|
|
|
int get_column_x_offset_for_line(int p_char, int p_line) const;
|
2017-08-12 03:10:05 +08:00
|
|
|
int get_char_pos_for(int p_px, String p_str) const;
|
2018-01-26 09:41:17 +08:00
|
|
|
int get_column_x_offset(int p_char, String p_str) const;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
void adjust_viewport_to_cursor();
|
2017-11-16 12:00:27 +08:00
|
|
|
double get_scroll_line_diff() const;
|
2014-02-10 09:10:30 +08:00
|
|
|
void _scroll_moved(double);
|
|
|
|
void _update_scrollbars();
|
2017-08-23 03:02:08 +08:00
|
|
|
void _v_scroll_input();
|
2015-12-10 02:56:41 +08:00
|
|
|
void _click_selection_held();
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2017-11-05 23:54:00 +08:00
|
|
|
void _update_selection_mode_pointer();
|
|
|
|
void _update_selection_mode_word();
|
|
|
|
void _update_selection_mode_line();
|
|
|
|
|
2019-08-25 21:38:14 +08:00
|
|
|
void _update_minimap_click();
|
|
|
|
void _update_minimap_drag();
|
2017-11-02 04:49:39 +08:00
|
|
|
void _scroll_up(real_t p_delta);
|
|
|
|
void _scroll_down(real_t p_delta);
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
void _pre_shift_selection();
|
|
|
|
void _post_shift_selection();
|
|
|
|
|
2016-04-28 01:32:14 +08:00
|
|
|
void _scroll_lines_up();
|
|
|
|
void _scroll_lines_down();
|
|
|
|
|
2017-01-14 19:26:56 +08:00
|
|
|
//void mouse_motion(const Point& p_pos, const Point& p_rel, int p_button_mask);
|
2016-06-13 00:31:22 +08:00
|
|
|
Size2 get_minimum_size() const;
|
2019-08-25 21:49:13 +08:00
|
|
|
int _get_control_height() const;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
int get_row_height() const;
|
|
|
|
|
2016-05-10 02:21:55 +08:00
|
|
|
void _reset_caret_blink_timer();
|
|
|
|
void _toggle_draw_caret();
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
void _update_caches();
|
|
|
|
void _cursor_changed_emit();
|
|
|
|
void _text_changed_emit();
|
2018-04-07 21:14:19 +08:00
|
|
|
void _line_edited_from(int p_line);
|
2016-03-09 07:00:52 +08:00
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
void _push_current_op();
|
|
|
|
|
|
|
|
/* super internal api, undo/redo builds on it */
|
2016-03-09 07:00:52 +08:00
|
|
|
|
2017-08-12 03:10:05 +08:00
|
|
|
void _base_insert_text(int p_line, int p_char, const String &p_text, int &r_end_line, int &r_end_column);
|
2017-03-05 23:44:50 +08:00
|
|
|
String _base_get_text(int p_from_line, int p_from_column, int p_to_line, int p_to_column) const;
|
|
|
|
void _base_remove_text(int p_from_line, int p_from_column, int p_to_line, int p_to_column);
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2016-05-29 00:25:45 +08:00
|
|
|
int _get_column_pos_of_word(const String &p_key, const String &p_search, uint32_t p_search_flags, int p_from_column);
|
2016-03-17 05:20:42 +08:00
|
|
|
|
2020-02-18 05:06:54 +08:00
|
|
|
Vector<int> _search_bind(const String &p_key, uint32_t p_search_flags, int p_from_line, int p_from_column) const;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2016-05-17 07:25:17 +08:00
|
|
|
PopupMenu *menu;
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
void _clear();
|
|
|
|
void _cancel_completion();
|
2014-12-17 09:31:57 +08:00
|
|
|
void _cancel_code_hint();
|
2014-02-10 09:10:30 +08:00
|
|
|
void _confirm_completion();
|
|
|
|
void _update_completion_candidates();
|
|
|
|
|
2019-05-09 05:56:00 +08:00
|
|
|
int _calculate_spaces_till_next_left_indent(int column);
|
|
|
|
int _calculate_spaces_till_next_right_indent(int column);
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
protected:
|
2017-03-05 23:44:50 +08:00
|
|
|
virtual String get_tooltip(const Point2 &p_pos) const;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2017-08-12 03:10:05 +08:00
|
|
|
void _insert_text(int p_line, int p_char, const String &p_text, int *r_end_line = NULL, int *r_end_char = NULL);
|
2017-03-05 23:44:50 +08:00
|
|
|
void _remove_text(int p_from_line, int p_from_column, int p_to_line, int p_to_column);
|
|
|
|
void _insert_text_at_cursor(const String &p_text);
|
2017-08-12 03:10:05 +08:00
|
|
|
void _gui_input(const Ref<InputEvent> &p_gui_input);
|
2014-02-10 09:10:30 +08:00
|
|
|
void _notification(int p_what);
|
2016-03-09 07:00:52 +08:00
|
|
|
|
2014-04-27 18:34:37 +08:00
|
|
|
void _consume_pair_symbol(CharType ch);
|
|
|
|
void _consume_backspace_for_pair_symbol(int prev_line, int prev_column);
|
2016-03-09 07:00:52 +08:00
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
static void _bind_methods();
|
|
|
|
|
|
|
|
public:
|
2018-04-02 19:41:44 +08:00
|
|
|
SyntaxHighlighter *_get_syntax_highlighting();
|
|
|
|
void _set_syntax_highlighting(SyntaxHighlighter *p_syntax_highlighter);
|
|
|
|
|
2018-04-07 21:14:19 +08:00
|
|
|
int _is_line_in_region(int p_line);
|
2018-04-02 19:41:44 +08:00
|
|
|
ColorRegion _get_color_region(int p_region) const;
|
|
|
|
Map<int, Text::ColorRegionInfo> _get_line_color_region_info(int p_line) const;
|
|
|
|
|
2016-05-17 07:25:17 +08:00
|
|
|
enum MenuItems {
|
|
|
|
MENU_CUT,
|
|
|
|
MENU_COPY,
|
|
|
|
MENU_PASTE,
|
|
|
|
MENU_CLEAR,
|
|
|
|
MENU_SELECT_ALL,
|
|
|
|
MENU_UNDO,
|
2018-11-30 01:21:43 +08:00
|
|
|
MENU_REDO,
|
2016-05-17 07:25:17 +08:00
|
|
|
MENU_MAX
|
|
|
|
|
|
|
|
};
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
enum SearchFlags {
|
2017-03-05 23:44:50 +08:00
|
|
|
SEARCH_MATCH_CASE = 1,
|
|
|
|
SEARCH_WHOLE_WORDS = 2,
|
|
|
|
SEARCH_BACKWARDS = 4
|
2014-02-10 09:10:30 +08:00
|
|
|
};
|
2016-03-09 07:00:52 +08:00
|
|
|
|
2019-10-31 19:35:23 +08:00
|
|
|
enum SearchResult {
|
|
|
|
SEARCH_RESULT_COLUMN,
|
|
|
|
SEARCH_RESULT_LINE,
|
|
|
|
};
|
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
virtual CursorShape get_cursor_shape(const Point2 &p_pos = Point2i()) const;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
void _get_mouse_pos(const Point2i &p_mouse, int &r_row, int &r_col) const;
|
2019-08-12 02:31:19 +08:00
|
|
|
void _get_minimap_mouse_row(const Point2i &p_mouse, int &r_row) const;
|
2016-09-29 15:12:45 +08:00
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
//void delete_char();
|
|
|
|
//void delete_line();
|
|
|
|
|
2016-04-06 14:36:29 +08:00
|
|
|
void begin_complex_operation();
|
|
|
|
void end_complex_operation();
|
|
|
|
|
2017-09-06 09:02:51 +08:00
|
|
|
bool is_insert_text_operation();
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
void set_text(String p_text);
|
2017-03-05 23:44:50 +08:00
|
|
|
void insert_text_at_cursor(const String &p_text);
|
|
|
|
void insert_at(const String &p_text, int at);
|
2014-02-10 09:10:30 +08:00
|
|
|
int get_line_count() const;
|
2017-03-05 23:44:50 +08:00
|
|
|
void set_line_as_marked(int p_line, bool p_marked);
|
2019-04-20 07:51:25 +08:00
|
|
|
void set_line_as_bookmark(int p_line, bool p_bookmark);
|
|
|
|
bool is_line_set_as_bookmark(int p_line) const;
|
|
|
|
void get_bookmarks(List<int> *p_bookmarks) const;
|
|
|
|
Array get_bookmarks_array() const;
|
2017-03-05 23:44:50 +08:00
|
|
|
void set_line_as_breakpoint(int p_line, bool p_breakpoint);
|
2014-02-10 09:10:30 +08:00
|
|
|
bool is_line_set_as_breakpoint(int p_line) const;
|
2019-04-23 00:20:27 +08:00
|
|
|
void set_executing_line(int p_line);
|
|
|
|
void clear_executing_line();
|
2018-06-06 00:50:21 +08:00
|
|
|
void set_line_as_safe(int p_line, bool p_safe);
|
|
|
|
bool is_line_set_as_safe(int p_line) const;
|
2014-02-10 09:10:30 +08:00
|
|
|
void get_breakpoints(List<int> *p_breakpoints) const;
|
2018-05-30 20:02:51 +08:00
|
|
|
Array get_breakpoints_array() const;
|
|
|
|
void remove_breakpoints();
|
2017-11-16 12:00:27 +08:00
|
|
|
|
2019-06-12 02:43:37 +08:00
|
|
|
void set_line_info_icon(int p_line, Ref<Texture2D> p_icon, String p_info = "");
|
2019-04-20 19:51:25 +08:00
|
|
|
void clear_info_icons();
|
|
|
|
|
2017-11-13 07:12:17 +08:00
|
|
|
void set_line_as_hidden(int p_line, bool p_hidden);
|
|
|
|
bool is_line_hidden(int p_line) const;
|
2017-11-16 12:00:27 +08:00
|
|
|
void fold_all_lines();
|
2017-11-13 07:12:17 +08:00
|
|
|
void unhide_all_lines();
|
2018-01-26 09:41:17 +08:00
|
|
|
int num_lines_from(int p_line_from, int visible_amount) const;
|
|
|
|
int num_lines_from_rows(int p_line_from, int p_wrap_index_from, int visible_amount, int &wrap_index) const;
|
|
|
|
int get_last_unhidden_line() const;
|
|
|
|
|
2017-11-13 07:12:17 +08:00
|
|
|
bool can_fold(int p_line) const;
|
|
|
|
bool is_folded(int p_line) const;
|
2019-04-13 19:43:35 +08:00
|
|
|
Vector<int> get_folded_lines() const;
|
2017-11-13 07:12:17 +08:00
|
|
|
void fold_line(int p_line);
|
|
|
|
void unfold_line(int p_line);
|
2017-12-09 02:17:10 +08:00
|
|
|
void toggle_fold_line(int p_line);
|
2017-11-13 07:12:17 +08:00
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
String get_text();
|
|
|
|
String get_line(int line) const;
|
2017-03-05 23:44:50 +08:00
|
|
|
void set_line(int line, String new_text);
|
2014-02-10 09:10:30 +08:00
|
|
|
void backspace_at_cursor();
|
2016-03-09 07:00:52 +08:00
|
|
|
|
2017-12-14 17:10:53 +08:00
|
|
|
void indent_left();
|
|
|
|
void indent_right();
|
2017-11-28 19:03:46 +08:00
|
|
|
int get_indent_level(int p_line) const;
|
2018-01-12 13:25:04 +08:00
|
|
|
bool is_line_comment(int p_line) const;
|
2016-04-06 23:37:03 +08:00
|
|
|
|
2016-03-07 10:32:51 +08:00
|
|
|
inline void set_scroll_pass_end_of_file(bool p_enabled) {
|
|
|
|
scroll_past_end_of_file_enabled = p_enabled;
|
|
|
|
update();
|
|
|
|
}
|
2014-05-01 00:21:58 +08:00
|
|
|
inline void set_auto_brace_completion(bool p_enabled) {
|
|
|
|
auto_brace_completion_enabled = p_enabled;
|
|
|
|
}
|
2014-12-17 12:53:34 +08:00
|
|
|
inline void set_brace_matching(bool p_enabled) {
|
2017-03-05 23:44:50 +08:00
|
|
|
brace_matching_enabled = p_enabled;
|
2014-12-17 12:53:34 +08:00
|
|
|
update();
|
|
|
|
}
|
2016-03-04 18:05:42 +08:00
|
|
|
inline void set_callhint_settings(bool below, Vector2 offset) {
|
|
|
|
callhint_below = below;
|
|
|
|
callhint_offset = offset;
|
|
|
|
}
|
2015-11-30 00:02:35 +08:00
|
|
|
void set_auto_indent(bool p_auto_indent);
|
2014-12-17 12:53:34 +08:00
|
|
|
|
2016-07-21 09:40:08 +08:00
|
|
|
void center_viewport_to_cursor();
|
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
void cursor_set_column(int p_col, bool p_adjust_viewport = true);
|
2018-01-26 09:41:17 +08:00
|
|
|
void cursor_set_line(int p_row, bool p_adjust_viewport = true, bool p_can_be_hidden = true, int p_wrap_index = 0);
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
int cursor_get_column() const;
|
|
|
|
int cursor_get_line() const;
|
2019-06-23 02:22:52 +08:00
|
|
|
Vector2i _get_cursor_pixel_pos();
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2016-05-10 02:21:55 +08:00
|
|
|
bool cursor_get_blink_enabled() const;
|
|
|
|
void cursor_set_blink_enabled(const bool p_enabled);
|
|
|
|
|
|
|
|
float cursor_get_blink_speed() const;
|
|
|
|
void cursor_set_blink_speed(const float p_speed);
|
|
|
|
|
2016-07-12 23:07:17 +08:00
|
|
|
void cursor_set_block_mode(const bool p_enable);
|
|
|
|
bool cursor_is_block_mode() const;
|
|
|
|
|
2017-12-20 09:36:47 +08:00
|
|
|
void set_right_click_moves_caret(bool p_enable);
|
|
|
|
bool is_right_click_moving_caret() const;
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
void set_readonly(bool p_readonly);
|
2017-11-12 02:07:17 +08:00
|
|
|
bool is_readonly() const;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
void set_max_chars(int p_max_chars);
|
2018-01-12 06:35:12 +08:00
|
|
|
int get_max_chars() const;
|
|
|
|
|
2018-01-26 09:41:17 +08:00
|
|
|
void set_wrap_enabled(bool p_wrap_enabled);
|
|
|
|
bool is_wrap_enabled() const;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
void clear();
|
|
|
|
|
|
|
|
void set_syntax_coloring(bool p_enabled);
|
|
|
|
bool is_syntax_coloring_enabled() const;
|
|
|
|
|
|
|
|
void cut();
|
|
|
|
void copy();
|
|
|
|
void paste();
|
|
|
|
void select_all();
|
2017-03-05 23:44:50 +08:00
|
|
|
void select(int p_from_line, int p_from_column, int p_to_line, int p_to_column);
|
2014-02-10 09:10:30 +08:00
|
|
|
void deselect();
|
2017-11-11 12:07:41 +08:00
|
|
|
void swap_lines(int line1, int line2);
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
void set_search_text(const String &p_search_text);
|
2016-05-29 00:25:45 +08:00
|
|
|
void set_search_flags(uint32_t p_flags);
|
|
|
|
void set_current_search_result(int line, int col);
|
|
|
|
|
2016-03-17 05:20:42 +08:00
|
|
|
void set_highlight_all_occurrences(const bool p_enabled);
|
2016-07-11 22:20:01 +08:00
|
|
|
bool is_highlight_all_occurrences_enabled() const;
|
2014-02-10 09:10:30 +08:00
|
|
|
bool is_selection_active() const;
|
|
|
|
int get_selection_from_line() const;
|
2016-08-07 06:00:54 +08:00
|
|
|
int get_selection_from_column() const;
|
2014-02-10 09:10:30 +08:00
|
|
|
int get_selection_to_line() const;
|
|
|
|
int get_selection_to_column() const;
|
|
|
|
String get_selection_text() const;
|
|
|
|
|
2014-05-06 17:36:39 +08:00
|
|
|
String get_word_under_cursor() const;
|
2017-03-05 23:44:50 +08:00
|
|
|
String get_word_at_pos(const Vector2 &p_pos) const;
|
2014-05-06 17:36:39 +08:00
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
bool search(const String &p_key, uint32_t p_search_flags, int p_from_line, int p_from_column, int &r_line, int &r_column) const;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
void undo();
|
|
|
|
void redo();
|
2014-12-17 09:31:57 +08:00
|
|
|
void clear_undo_history();
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2017-04-17 21:24:30 +08:00
|
|
|
void set_indent_using_spaces(const bool p_use_spaces);
|
|
|
|
bool is_indent_using_spaces() const;
|
|
|
|
void set_indent_size(const int p_size);
|
2018-05-04 01:03:20 +08:00
|
|
|
int get_indent_size();
|
2014-02-10 09:10:30 +08:00
|
|
|
void set_draw_tabs(bool p_draw);
|
|
|
|
bool is_drawing_tabs() const;
|
2019-04-24 07:33:20 +08:00
|
|
|
void set_draw_spaces(bool p_draw);
|
|
|
|
bool is_drawing_spaces() const;
|
2017-09-28 01:24:05 +08:00
|
|
|
void set_override_selected_font_color(bool p_override_selected_font_color);
|
|
|
|
bool is_overriding_selected_font_color() const;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2016-04-01 03:49:30 +08:00
|
|
|
void set_insert_mode(bool p_enabled);
|
|
|
|
bool is_insert_mode() const;
|
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
void add_keyword_color(const String &p_keyword, const Color &p_color);
|
2018-04-02 19:41:44 +08:00
|
|
|
bool has_keyword_color(String p_keyword) const;
|
|
|
|
Color get_keyword_color(String p_keyword) const;
|
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
void add_color_region(const String &p_begin_key = String(), const String &p_end_key = String(), const Color &p_color = Color(), bool p_line_only = false);
|
2014-02-10 09:10:30 +08:00
|
|
|
void clear_colors();
|
|
|
|
|
2018-01-12 22:00:41 +08:00
|
|
|
void add_member_keyword(const String &p_keyword, const Color &p_color);
|
2018-04-02 19:41:44 +08:00
|
|
|
bool has_member_color(String p_member) const;
|
|
|
|
Color get_member_color(String p_member) const;
|
2018-01-12 22:00:41 +08:00
|
|
|
void clear_member_keywords();
|
|
|
|
|
2018-01-26 09:41:17 +08:00
|
|
|
double get_v_scroll() const;
|
|
|
|
void set_v_scroll(double p_scroll);
|
2014-02-10 09:10:30 +08:00
|
|
|
|
|
|
|
int get_h_scroll() const;
|
|
|
|
void set_h_scroll(int p_scroll);
|
|
|
|
|
2017-08-19 22:23:45 +08:00
|
|
|
void set_smooth_scroll_enabled(bool p_enable);
|
|
|
|
bool is_smooth_scroll_enabled() const;
|
|
|
|
|
2017-08-22 02:13:24 +08:00
|
|
|
void set_v_scroll_speed(float p_speed);
|
|
|
|
float get_v_scroll_speed() const;
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
uint32_t get_version() const;
|
|
|
|
uint32_t get_saved_version() const;
|
|
|
|
void tag_saved_version();
|
|
|
|
|
2016-05-17 07:25:17 +08:00
|
|
|
void menu_option(int p_option);
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
void set_show_line_numbers(bool p_show);
|
2016-07-11 22:11:35 +08:00
|
|
|
bool is_show_line_numbers_enabled() const;
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2017-10-22 20:38:00 +08:00
|
|
|
void set_highlight_current_line(bool p_enabled);
|
|
|
|
bool is_highlight_current_line_enabled() const;
|
|
|
|
|
2016-10-10 19:43:09 +08:00
|
|
|
void set_line_numbers_zero_padded(bool p_zero_padded);
|
|
|
|
|
2020-02-15 09:59:59 +08:00
|
|
|
void set_show_line_length_guidelines(bool p_show);
|
|
|
|
void set_line_length_guideline_soft_column(int p_column);
|
|
|
|
void set_line_length_guideline_hard_column(int p_column);
|
2016-10-10 16:34:51 +08:00
|
|
|
|
2019-04-20 07:51:25 +08:00
|
|
|
void set_bookmark_gutter_enabled(bool p_draw);
|
|
|
|
bool is_bookmark_gutter_enabled() const;
|
|
|
|
|
2018-05-30 20:02:51 +08:00
|
|
|
void set_breakpoint_gutter_enabled(bool p_draw);
|
|
|
|
bool is_breakpoint_gutter_enabled() const;
|
2016-05-26 21:17:14 +08:00
|
|
|
|
|
|
|
void set_breakpoint_gutter_width(int p_gutter_width);
|
|
|
|
int get_breakpoint_gutter_width() const;
|
|
|
|
|
2017-11-13 07:12:17 +08:00
|
|
|
void set_draw_fold_gutter(bool p_draw);
|
|
|
|
bool is_drawing_fold_gutter() const;
|
|
|
|
|
|
|
|
void set_fold_gutter_width(int p_gutter_width);
|
|
|
|
int get_fold_gutter_width() const;
|
|
|
|
|
2019-04-20 19:51:25 +08:00
|
|
|
void set_draw_info_gutter(bool p_draw);
|
|
|
|
bool is_drawing_info_gutter() const;
|
|
|
|
|
|
|
|
void set_info_gutter_width(int p_gutter_width);
|
|
|
|
int get_info_gutter_width() const;
|
|
|
|
|
2019-08-12 02:31:19 +08:00
|
|
|
void set_draw_minimap(bool p_draw);
|
|
|
|
bool is_drawing_minimap() const;
|
|
|
|
|
|
|
|
void set_minimap_width(int p_minimap_width);
|
|
|
|
int get_minimap_width() const;
|
|
|
|
|
2019-06-08 19:37:57 +08:00
|
|
|
void set_hiding_enabled(bool p_enabled);
|
|
|
|
bool is_hiding_enabled() const;
|
2017-11-13 07:12:17 +08:00
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
void set_tooltip_request_func(Object *p_obj, const StringName &p_function, const Variant &p_udata);
|
2014-02-10 09:10:30 +08:00
|
|
|
|
2017-03-05 23:44:50 +08:00
|
|
|
void set_completion(bool p_enabled, const Vector<String> &p_prefixes);
|
2019-06-13 17:32:03 +08:00
|
|
|
void code_complete(const List<ScriptCodeCompletionOption> &p_strings, bool p_forced = false);
|
2017-03-05 23:44:50 +08:00
|
|
|
void set_code_hint(const String &p_hint);
|
2014-02-10 09:10:30 +08:00
|
|
|
void query_code_comple();
|
|
|
|
|
2016-09-12 21:52:29 +08:00
|
|
|
void set_select_identifiers_on_hover(bool p_enable);
|
|
|
|
bool is_selecting_identifiers_on_hover_enabled() const;
|
|
|
|
|
2016-09-29 15:12:45 +08:00
|
|
|
void set_context_menu_enabled(bool p_enable);
|
2017-11-10 04:46:29 +08:00
|
|
|
bool is_context_menu_enabled();
|
|
|
|
|
2019-08-08 08:09:46 +08:00
|
|
|
void set_selecting_enabled(bool p_enabled);
|
|
|
|
bool is_selecting_enabled() const;
|
|
|
|
|
|
|
|
void set_shortcut_keys_enabled(bool p_enabled);
|
|
|
|
bool is_shortcut_keys_enabled() const;
|
|
|
|
|
2016-05-17 07:25:17 +08:00
|
|
|
PopupMenu *get_menu() const;
|
|
|
|
|
2014-12-17 09:31:57 +08:00
|
|
|
String get_text_for_completion();
|
2016-09-12 21:52:29 +08:00
|
|
|
String get_text_for_lookup_completion();
|
2014-12-17 09:31:57 +08:00
|
|
|
|
2016-08-07 06:00:54 +08:00
|
|
|
virtual bool is_text_field() const;
|
2014-02-10 09:10:30 +08:00
|
|
|
TextEdit();
|
|
|
|
~TextEdit();
|
|
|
|
};
|
|
|
|
|
2017-08-20 23:45:01 +08:00
|
|
|
VARIANT_ENUM_CAST(TextEdit::MenuItems);
|
|
|
|
VARIANT_ENUM_CAST(TextEdit::SearchFlags);
|
2019-10-31 19:35:23 +08:00
|
|
|
VARIANT_ENUM_CAST(TextEdit::SearchResult);
|
2017-08-20 23:45:01 +08:00
|
|
|
|
2018-04-02 19:41:44 +08:00
|
|
|
class SyntaxHighlighter {
|
|
|
|
protected:
|
|
|
|
TextEdit *text_editor;
|
|
|
|
|
|
|
|
public:
|
2019-04-02 20:07:29 +08:00
|
|
|
virtual ~SyntaxHighlighter() {}
|
2018-04-02 19:41:44 +08:00
|
|
|
virtual void _update_cache() = 0;
|
|
|
|
virtual Map<int, TextEdit::HighlighterInfo> _get_line_syntax_highlighting(int p_line) = 0;
|
|
|
|
|
2019-05-21 01:36:24 +08:00
|
|
|
virtual String get_name() const = 0;
|
2018-04-02 19:41:44 +08:00
|
|
|
virtual List<String> get_supported_languages() = 0;
|
|
|
|
|
|
|
|
void set_text_editor(TextEdit *p_text_editor);
|
|
|
|
TextEdit *get_text_editor();
|
|
|
|
};
|
|
|
|
|
2014-02-10 09:10:30 +08:00
|
|
|
#endif // TEXT_EDIT_H
|