2014-02-10 02:10:30 +01:00
|
|
|
/*************************************************************************/
|
|
|
|
/* text_edit.h */
|
|
|
|
/*************************************************************************/
|
|
|
|
/* This file is part of: */
|
|
|
|
/* GODOT ENGINE */
|
2017-08-27 14:16:55 +02:00
|
|
|
/* https://godotengine.org */
|
2014-02-10 02:10:30 +01:00
|
|
|
/*************************************************************************/
|
2019-01-01 12:53:14 +01:00
|
|
|
/* Copyright (c) 2007-2019 Juan Linietsky, Ariel Manzur. */
|
|
|
|
/* Copyright (c) 2014-2019 Godot Engine contributors (cf. AUTHORS.md) */
|
2014-02-10 02:10:30 +01: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 00:50:27 +01:00
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
#ifndef TEXT_EDIT_H
|
|
|
|
#define TEXT_EDIT_H
|
|
|
|
|
|
|
|
#include "scene/gui/control.h"
|
2016-05-17 01:25:17 +02:00
|
|
|
#include "scene/gui/popup_menu.h"
|
2017-03-05 16:44:50 +01:00
|
|
|
#include "scene/gui/scroll_bar.h"
|
2014-02-10 02:10:30 +01:00
|
|
|
#include "scene/main/timer.h"
|
|
|
|
|
2018-04-02 13:41:44 +02:00
|
|
|
class SyntaxHighlighter;
|
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
class TextEdit : public Control {
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2019-03-19 19:35:57 +01:00
|
|
|
GDCLASS(TextEdit, Control);
|
2018-04-02 13:41:44 +02: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;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct Line {
|
|
|
|
int width_cache : 24;
|
|
|
|
bool marked : 1;
|
|
|
|
bool breakpoint : 1;
|
2019-04-20 01:51:25 +02:00
|
|
|
bool bookmark : 1;
|
2018-04-02 13:41:44 +02:00
|
|
|
bool hidden : 1;
|
2018-06-05 18:50:21 +02:00
|
|
|
bool safe : 1;
|
2018-01-26 02:41:17 +01:00
|
|
|
int wrap_amount_cache : 24;
|
2018-04-02 13:41:44 +02:00
|
|
|
Map<int, ColorRegionInfo> region_info;
|
2019-04-20 13:51:25 +02:00
|
|
|
Ref<Texture> info_icon;
|
|
|
|
String info;
|
2018-04-02 13:41:44 +02:00
|
|
|
String data;
|
|
|
|
};
|
|
|
|
|
|
|
|
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-15 21:32:09 +02:00
|
|
|
int get_char_width(CharType c, CharType next_c, int px) const;
|
2018-01-26 02:41:17 +01: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 13:41:44 +02: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 03:11:03 +02:00
|
|
|
void set_marked(int p_line, bool p_marked) { text.write[p_line].marked = p_marked; }
|
2018-04-02 13:41:44 +02:00
|
|
|
bool is_marked(int p_line) const { return text[p_line].marked; }
|
2019-04-20 01:51:25 +02: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 03:11:03 +02:00
|
|
|
void set_breakpoint(int p_line, bool p_breakpoint) { text.write[p_line].breakpoint = p_breakpoint; }
|
2018-04-02 13:41:44 +02:00
|
|
|
bool is_breakpoint(int p_line) const { return text[p_line].breakpoint; }
|
2018-07-25 03:11:03 +02:00
|
|
|
void set_hidden(int p_line, bool p_hidden) { text.write[p_line].hidden = p_hidden; }
|
2018-04-02 13:41:44 +02:00
|
|
|
bool is_hidden(int p_line) const { return text[p_line].hidden; }
|
2018-07-25 03:11:03 +02:00
|
|
|
void set_safe(int p_line, bool p_safe) { text.write[p_line].safe = p_safe; }
|
2018-06-05 18:50:21 +02:00
|
|
|
bool is_safe(int p_line) const { return text[p_line].safe; }
|
2019-04-20 13:51:25 +02:00
|
|
|
void set_info_icon(int p_line, Ref<Texture> p_icon, String p_info) {
|
|
|
|
text.write[p_line].info_icon = p_icon;
|
|
|
|
text.write[p_line].info = p_info;
|
|
|
|
}
|
|
|
|
bool has_info_icon(int p_line) const { return text[p_line].info_icon.is_valid(); }
|
|
|
|
const Ref<Texture> &get_info_icon(int p_line) const { return text[p_line].info_icon; }
|
|
|
|
const String &get_info(int p_line) const { return text[p_line].info; }
|
2018-04-02 13:41:44 +02: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 02:41:17 +01:00
|
|
|
void clear_width_cache();
|
|
|
|
void clear_wrap_cache();
|
2018-04-02 13:41:44 +02:00
|
|
|
_FORCE_INLINE_ const String &operator[](int p_line) const { return text[p_line].data; }
|
|
|
|
Text() { indent_size = 4; }
|
|
|
|
};
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2018-04-02 13:41:44 +02:00
|
|
|
private:
|
2014-02-10 02:10:30 +01:00
|
|
|
struct Cursor {
|
|
|
|
int last_fit_x;
|
2017-03-05 16:44:50 +01:00
|
|
|
int line, column; ///< cursor
|
2018-01-26 02:41:17 +01:00
|
|
|
int x_ofs, line_ofs, wrap_ofs;
|
2014-02-10 02:10:30 +01:00
|
|
|
} cursor;
|
|
|
|
|
|
|
|
struct Selection {
|
|
|
|
|
|
|
|
enum Mode {
|
|
|
|
|
|
|
|
MODE_NONE,
|
|
|
|
MODE_SHIFT,
|
2017-11-05 16:54:00 +01:00
|
|
|
MODE_POINTER,
|
|
|
|
MODE_WORD,
|
|
|
|
MODE_LINE
|
2014-02-10 02:10:30 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
Mode selecting_mode;
|
2017-03-05 16:44:50 +01:00
|
|
|
int selecting_line, selecting_column;
|
2017-11-05 16:54:00 +01:00
|
|
|
int selected_word_beg, selected_word_end, selected_word_origin;
|
2015-08-13 00:34:07 +02:00
|
|
|
bool selecting_text;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
bool active;
|
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
int from_line, from_column;
|
|
|
|
int to_line, to_column;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2015-01-02 19:08:40 +01:00
|
|
|
bool shiftclick_left;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
} selection;
|
|
|
|
|
|
|
|
struct Cache {
|
|
|
|
|
|
|
|
Ref<Texture> tab_icon;
|
2019-04-24 01:33:20 +02:00
|
|
|
Ref<Texture> space_icon;
|
2017-11-13 00:12:17 +01:00
|
|
|
Ref<Texture> can_fold_icon;
|
|
|
|
Ref<Texture> folded_icon;
|
2017-11-16 05:00:27 +01:00
|
|
|
Ref<Texture> folded_eol_icon;
|
2019-04-22 18:20:27 +02:00
|
|
|
Ref<Texture> executing_icon;
|
2014-02-10 02:10:30 +01:00
|
|
|
Ref<StyleBox> style_normal;
|
|
|
|
Ref<StyleBox> style_focus;
|
2017-11-30 04:53:15 +01:00
|
|
|
Ref<StyleBox> style_readonly;
|
2014-02-10 02:10:30 +01:00
|
|
|
Ref<Font> font;
|
2016-06-21 17:50:31 +02:00
|
|
|
Color completion_background_color;
|
2016-06-21 18:21:55 +02:00
|
|
|
Color completion_selected_color;
|
2016-06-21 18:34:38 +02:00
|
|
|
Color completion_existing_color;
|
2016-07-11 15:25:56 +02:00
|
|
|
Color completion_font_color;
|
2016-04-05 18:06:56 +02:00
|
|
|
Color caret_color;
|
2016-07-12 17:07:17 +02:00
|
|
|
Color caret_background_color;
|
2016-04-08 21:05:50 +02:00
|
|
|
Color line_number_color;
|
2018-06-05 18:50:21 +02:00
|
|
|
Color safe_line_number_color;
|
2014-02-10 02:10:30 +01:00
|
|
|
Color font_color;
|
2019-06-24 07:17:27 +02:00
|
|
|
Color font_color_selected;
|
2019-06-24 05:43:52 +02:00
|
|
|
Color font_color_readonly;
|
2014-02-10 02:10:30 +01:00
|
|
|
Color keyword_color;
|
2016-03-21 16:45:38 +01:00
|
|
|
Color number_color;
|
2016-04-02 21:46:42 +02:00
|
|
|
Color function_color;
|
2016-04-05 16:50:54 +02:00
|
|
|
Color member_variable_color;
|
2014-02-10 02:10:30 +01:00
|
|
|
Color selection_color;
|
|
|
|
Color mark_color;
|
2019-04-20 01:51:25 +02:00
|
|
|
Color bookmark_color;
|
2014-02-10 02:10:30 +01:00
|
|
|
Color breakpoint_color;
|
2019-04-22 18:20:27 +02:00
|
|
|
Color executing_line_color;
|
2017-12-04 22:48:20 +01:00
|
|
|
Color code_folding_color;
|
2014-02-10 02:10:30 +01:00
|
|
|
Color current_line_color;
|
2017-01-28 15:36:57 +01:00
|
|
|
Color line_length_guideline_color;
|
2014-12-17 05:53:34 +01:00
|
|
|
Color brace_mismatch_color;
|
2016-03-16 22:20:42 +01:00
|
|
|
Color word_highlighted_color;
|
2016-05-28 18:25:45 +02:00
|
|
|
Color search_result_color;
|
|
|
|
Color search_result_border_color;
|
2016-11-06 14:50:23 +01:00
|
|
|
Color symbol_color;
|
|
|
|
Color background_color;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
int row_height;
|
|
|
|
int line_spacing;
|
|
|
|
int line_number_w;
|
2016-05-26 15:17:14 +02:00
|
|
|
int breakpoint_gutter_width;
|
2017-11-13 00:12:17 +01:00
|
|
|
int fold_gutter_width;
|
2019-04-20 13:51:25 +02:00
|
|
|
int info_gutter_width;
|
2019-08-11 20:31:19 +02:00
|
|
|
int minimap_width;
|
2014-02-10 02:10:30 +01:00
|
|
|
} cache;
|
|
|
|
|
2018-04-07 15:14:19 +02:00
|
|
|
Map<int, int> color_region_cache;
|
2019-08-11 20:29:09 +02:00
|
|
|
Map<int, Map<int, HighlighterInfo> > syntax_highlighting_cache;
|
2018-04-07 15:14:19 +02:00
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
struct TextOperation {
|
|
|
|
|
|
|
|
enum Type {
|
|
|
|
TYPE_NONE,
|
|
|
|
TYPE_INSERT,
|
|
|
|
TYPE_REMOVE
|
|
|
|
};
|
|
|
|
|
|
|
|
Type type;
|
2017-03-05 16:44:50 +01:00
|
|
|
int from_line, from_column;
|
2014-02-10 02:10:30 +01:00
|
|
|
int to_line, to_column;
|
|
|
|
String text;
|
2016-03-13 21:08:12 +01:00
|
|
|
uint32_t prev_version;
|
2014-02-10 02:10:30 +01:00
|
|
|
uint32_t version;
|
|
|
|
bool chain_forward;
|
|
|
|
bool chain_backward;
|
|
|
|
};
|
|
|
|
|
2017-08-07 13:09:56 +02:00
|
|
|
String ime_text;
|
|
|
|
Point2 ime_selection;
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
TextOperation current_op;
|
|
|
|
|
|
|
|
List<TextOperation> undo_stack;
|
2017-03-05 16:44:50 +01:00
|
|
|
List<TextOperation>::Element *undo_stack_pos;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
void _clear_redo();
|
2017-03-05 16:44:50 +01:00
|
|
|
void _do_text_op(const TextOperation &p_op, bool p_reverse);
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
//syntax coloring
|
2018-04-02 13:41:44 +02:00
|
|
|
SyntaxHighlighter *syntax_highlighter;
|
2017-03-05 16:44:50 +01:00
|
|
|
HashMap<String, Color> keywords;
|
2018-01-12 15:00:41 +01:00
|
|
|
HashMap<String, Color> member_keywords;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2018-04-02 13:41:44 +02:00
|
|
|
Map<int, HighlighterInfo> _get_line_syntax_highlighting(int p_line);
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
Vector<ColorRegion> color_regions;
|
|
|
|
|
|
|
|
Set<String> completion_prefixes;
|
|
|
|
bool completion_enabled;
|
2019-06-13 11:32:03 +02:00
|
|
|
List<ScriptCodeCompletionOption> completion_sources;
|
|
|
|
Vector<ScriptCodeCompletionOption> completion_options;
|
2014-02-10 02:10:30 +01:00
|
|
|
bool completion_active;
|
2017-08-24 05:06:56 +02:00
|
|
|
bool completion_forced;
|
2019-06-13 11:32:03 +02:00
|
|
|
ScriptCodeCompletionOption completion_current;
|
2014-02-10 02:10:30 +01:00
|
|
|
String completion_base;
|
|
|
|
int completion_index;
|
|
|
|
Rect2i completion_rect;
|
|
|
|
int completion_line_ofs;
|
2014-12-17 02:31:57 +01:00
|
|
|
String completion_hint;
|
|
|
|
int completion_hint_offset;
|
2014-02-10 02:10:30 +01: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 15:24:30 +02:00
|
|
|
bool indent_using_spaces;
|
|
|
|
int indent_size;
|
|
|
|
String space_indent;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2016-05-09 20:21:55 +02:00
|
|
|
Timer *caret_blink_timer;
|
|
|
|
bool caret_blink_enabled;
|
|
|
|
bool draw_caret;
|
2016-06-19 17:11:16 +02:00
|
|
|
bool window_has_focus;
|
2016-07-12 17:07:17 +02:00
|
|
|
bool block_caret;
|
2017-12-20 02:36:47 +01:00
|
|
|
bool right_click_moves_caret;
|
2016-05-09 20:21:55 +02:00
|
|
|
|
2018-01-26 02:41:17 +01:00
|
|
|
bool wrap_enabled;
|
|
|
|
int wrap_at;
|
|
|
|
int wrap_right_offset;
|
|
|
|
|
2019-04-12 04:21:48 +02:00
|
|
|
bool first_draw;
|
2014-02-10 02:10:30 +01:00
|
|
|
bool setting_row;
|
|
|
|
bool draw_tabs;
|
2019-04-24 01:33:20 +02:00
|
|
|
bool draw_spaces;
|
2017-09-27 19:24:05 +02:00
|
|
|
bool override_selected_font_color;
|
2014-02-10 02:10:30 +01:00
|
|
|
bool cursor_changed_dirty;
|
|
|
|
bool text_changed_dirty;
|
|
|
|
bool undo_enabled;
|
|
|
|
bool line_numbers;
|
2016-10-10 13:43:09 +02:00
|
|
|
bool line_numbers_zero_padded;
|
2016-10-10 10:34:51 +02:00
|
|
|
bool line_length_guideline;
|
|
|
|
int line_length_guideline_col;
|
2019-04-20 01:51:25 +02:00
|
|
|
bool draw_bookmark_gutter;
|
2016-05-26 15:17:14 +02:00
|
|
|
bool draw_breakpoint_gutter;
|
|
|
|
int breakpoint_gutter_width;
|
2017-11-13 00:12:17 +01:00
|
|
|
bool draw_fold_gutter;
|
|
|
|
int fold_gutter_width;
|
|
|
|
bool hiding_enabled;
|
2019-04-20 13:51:25 +02:00
|
|
|
bool draw_info_gutter;
|
|
|
|
int info_gutter_width;
|
2019-08-11 20:31:19 +02:00
|
|
|
bool draw_minimap;
|
|
|
|
int minimap_width;
|
|
|
|
Point2 minimap_char_size;
|
|
|
|
int minimap_line_spacing;
|
2016-03-09 00:00:52 +01:00
|
|
|
|
2016-03-16 22:20:42 +01:00
|
|
|
bool highlight_all_occurrences;
|
2016-03-07 03:32:51 +01:00
|
|
|
bool scroll_past_end_of_file_enabled;
|
2014-04-30 18:21:58 +02:00
|
|
|
bool auto_brace_completion_enabled;
|
2014-12-17 05:53:34 +01:00
|
|
|
bool brace_matching_enabled;
|
2017-10-22 14:38:00 +02:00
|
|
|
bool highlight_current_line;
|
2015-11-29 17:02:35 +01:00
|
|
|
bool auto_indent;
|
2017-12-17 16:24:23 +01:00
|
|
|
String cut_copy_line;
|
2016-03-31 21:49:30 +02:00
|
|
|
bool insert_mode;
|
2016-09-12 15:52:29 +02:00
|
|
|
bool select_identifiers_enabled;
|
|
|
|
|
2017-08-19 16:23:45 +02:00
|
|
|
bool smooth_scroll_enabled;
|
|
|
|
bool scrolling;
|
2019-08-11 20:31:19 +02:00
|
|
|
bool dragging_selection;
|
|
|
|
bool dragging_minimap;
|
2019-08-25 15:38:14 +02:00
|
|
|
bool can_drag_minimap;
|
2019-08-11 20:31:19 +02:00
|
|
|
bool minimap_clicked;
|
2019-08-25 15:38:14 +02:00
|
|
|
double minimap_scroll_ratio;
|
|
|
|
double minimap_scroll_click_pos;
|
2017-08-19 16:23:45 +02:00
|
|
|
float target_v_scroll;
|
2017-08-21 20:13:24 +02:00
|
|
|
float v_scroll_speed;
|
2017-08-19 16:23:45 +02:00
|
|
|
|
2017-04-06 17:35:08 +02:00
|
|
|
String highlighted_word;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
uint64_t last_dblclk;
|
|
|
|
|
|
|
|
Timer *idle_detect;
|
2015-12-09 19:56:41 +01:00
|
|
|
Timer *click_select_held;
|
2014-02-10 02:10:30 +01:00
|
|
|
HScrollBar *h_scroll;
|
|
|
|
VScrollBar *v_scroll;
|
|
|
|
bool updating_scrolls;
|
|
|
|
|
|
|
|
Object *tooltip_obj;
|
|
|
|
StringName tooltip_func;
|
|
|
|
Variant tooltip_ud;
|
2016-03-09 00:00:52 +01:00
|
|
|
|
2014-04-26 14:42:19 +02:00
|
|
|
bool next_operation_is_complex;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2016-03-04 11:05:42 +01:00
|
|
|
bool callhint_below;
|
|
|
|
Vector2 callhint_offset;
|
|
|
|
|
2016-05-28 18:25:45 +02:00
|
|
|
String search_text;
|
|
|
|
uint32_t search_flags;
|
|
|
|
int search_result_line;
|
|
|
|
int search_result_col;
|
|
|
|
|
2016-09-29 09:12:45 +02:00
|
|
|
bool context_menu_enabled;
|
|
|
|
|
2019-04-22 18:20:27 +02:00
|
|
|
int executing_line;
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
int get_visible_rows() const;
|
2018-01-26 02:41:17 +01:00
|
|
|
int get_total_visible_rows() const;
|
|
|
|
|
2019-08-11 20:31:19 +02:00
|
|
|
int _get_minimap_visible_rows() const;
|
|
|
|
|
2018-01-26 02:41:17 +01:00
|
|
|
void update_cursor_wrap_offset();
|
2019-01-05 17:58:54 +01:00
|
|
|
void _update_wrap_at();
|
2018-01-26 02:41:17 +01: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 02:10:30 +01:00
|
|
|
int get_char_count();
|
|
|
|
|
2018-01-26 02:41:17 +01: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-11 21:10:05 +02:00
|
|
|
int get_char_pos_for(int p_px, String p_str) const;
|
2018-01-26 02:41:17 +01:00
|
|
|
int get_column_x_offset(int p_char, String p_str) const;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
void adjust_viewport_to_cursor();
|
2017-11-16 05:00:27 +01:00
|
|
|
double get_scroll_line_diff() const;
|
2014-02-10 02:10:30 +01:00
|
|
|
void _scroll_moved(double);
|
|
|
|
void _update_scrollbars();
|
2017-08-22 21:02:08 +02:00
|
|
|
void _v_scroll_input();
|
2015-12-09 19:56:41 +01:00
|
|
|
void _click_selection_held();
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-11-05 16:54:00 +01:00
|
|
|
void _update_selection_mode_pointer();
|
|
|
|
void _update_selection_mode_word();
|
|
|
|
void _update_selection_mode_line();
|
|
|
|
|
2019-08-25 15:38:14 +02:00
|
|
|
void _update_minimap_click();
|
|
|
|
void _update_minimap_drag();
|
2017-11-01 21:49:39 +01:00
|
|
|
void _scroll_up(real_t p_delta);
|
|
|
|
void _scroll_down(real_t p_delta);
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
void _pre_shift_selection();
|
|
|
|
void _post_shift_selection();
|
|
|
|
|
2016-04-27 19:32:14 +02:00
|
|
|
void _scroll_lines_up();
|
|
|
|
void _scroll_lines_down();
|
|
|
|
|
2017-01-14 12:26:56 +01:00
|
|
|
//void mouse_motion(const Point& p_pos, const Point& p_rel, int p_button_mask);
|
2016-06-12 18:31:22 +02:00
|
|
|
Size2 get_minimum_size() const;
|
2019-08-25 15:49:13 +02:00
|
|
|
int _get_control_height() const;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
int get_row_height() const;
|
|
|
|
|
2016-05-09 20:21:55 +02:00
|
|
|
void _reset_caret_blink_timer();
|
|
|
|
void _toggle_draw_caret();
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
void _update_caches();
|
|
|
|
void _cursor_changed_emit();
|
|
|
|
void _text_changed_emit();
|
2018-04-07 15:14:19 +02:00
|
|
|
void _line_edited_from(int p_line);
|
2016-03-09 00:00:52 +01:00
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
void _push_current_op();
|
|
|
|
|
|
|
|
/* super internal api, undo/redo builds on it */
|
2016-03-09 00:00:52 +01:00
|
|
|
|
2017-08-11 21:10:05 +02: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 16:44:50 +01: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 02:10:30 +01:00
|
|
|
|
2016-05-28 18:25:45 +02: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-16 22:20:42 +01:00
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
PoolVector<int> _search_bind(const String &p_key, uint32_t p_search_flags, int p_from_line, int p_from_column) const;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2016-05-17 01:25:17 +02:00
|
|
|
PopupMenu *menu;
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
void _clear();
|
|
|
|
void _cancel_completion();
|
2014-12-17 02:31:57 +01:00
|
|
|
void _cancel_code_hint();
|
2014-02-10 02:10:30 +01:00
|
|
|
void _confirm_completion();
|
|
|
|
void _update_completion_candidates();
|
|
|
|
|
2019-05-08 23:56:00 +02:00
|
|
|
int _calculate_spaces_till_next_left_indent(int column);
|
|
|
|
int _calculate_spaces_till_next_right_indent(int column);
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
protected:
|
2017-03-05 16:44:50 +01:00
|
|
|
virtual String get_tooltip(const Point2 &p_pos) const;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-08-11 21:10:05 +02: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 16:44:50 +01: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-11 21:10:05 +02:00
|
|
|
void _gui_input(const Ref<InputEvent> &p_gui_input);
|
2014-02-10 02:10:30 +01:00
|
|
|
void _notification(int p_what);
|
2016-03-09 00:00:52 +01:00
|
|
|
|
2014-04-27 12:34:37 +02:00
|
|
|
void _consume_pair_symbol(CharType ch);
|
|
|
|
void _consume_backspace_for_pair_symbol(int prev_line, int prev_column);
|
2016-03-09 00:00:52 +01:00
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
static void _bind_methods();
|
|
|
|
|
|
|
|
public:
|
2018-04-02 13:41:44 +02:00
|
|
|
SyntaxHighlighter *_get_syntax_highlighting();
|
|
|
|
void _set_syntax_highlighting(SyntaxHighlighter *p_syntax_highlighter);
|
|
|
|
|
2018-04-07 15:14:19 +02:00
|
|
|
int _is_line_in_region(int p_line);
|
2018-04-02 13:41:44 +02: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 01:25:17 +02:00
|
|
|
enum MenuItems {
|
|
|
|
MENU_CUT,
|
|
|
|
MENU_COPY,
|
|
|
|
MENU_PASTE,
|
|
|
|
MENU_CLEAR,
|
|
|
|
MENU_SELECT_ALL,
|
|
|
|
MENU_UNDO,
|
2018-11-29 18:21:43 +01:00
|
|
|
MENU_REDO,
|
2016-05-17 01:25:17 +02:00
|
|
|
MENU_MAX
|
|
|
|
|
|
|
|
};
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
enum SearchFlags {
|
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
SEARCH_MATCH_CASE = 1,
|
|
|
|
SEARCH_WHOLE_WORDS = 2,
|
|
|
|
SEARCH_BACKWARDS = 4
|
2014-02-10 02:10:30 +01:00
|
|
|
};
|
2016-03-09 00:00:52 +01:00
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
virtual CursorShape get_cursor_shape(const Point2 &p_pos = Point2i()) const;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
void _get_mouse_pos(const Point2i &p_mouse, int &r_row, int &r_col) const;
|
2019-08-11 20:31:19 +02:00
|
|
|
void _get_minimap_mouse_row(const Point2i &p_mouse, int &r_row) const;
|
2016-09-29 09:12:45 +02:00
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
//void delete_char();
|
|
|
|
//void delete_line();
|
|
|
|
|
2016-04-06 08:36:29 +02:00
|
|
|
void begin_complex_operation();
|
|
|
|
void end_complex_operation();
|
|
|
|
|
2017-09-06 03:02:51 +02:00
|
|
|
bool is_insert_text_operation();
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
void set_text(String p_text);
|
2017-03-05 16:44:50 +01:00
|
|
|
void insert_text_at_cursor(const String &p_text);
|
|
|
|
void insert_at(const String &p_text, int at);
|
2014-02-10 02:10:30 +01:00
|
|
|
int get_line_count() const;
|
2017-03-05 16:44:50 +01:00
|
|
|
void set_line_as_marked(int p_line, bool p_marked);
|
2019-04-20 01:51:25 +02: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 16:44:50 +01:00
|
|
|
void set_line_as_breakpoint(int p_line, bool p_breakpoint);
|
2014-02-10 02:10:30 +01:00
|
|
|
bool is_line_set_as_breakpoint(int p_line) const;
|
2019-04-22 18:20:27 +02:00
|
|
|
void set_executing_line(int p_line);
|
|
|
|
void clear_executing_line();
|
2018-06-05 18:50:21 +02: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 02:10:30 +01:00
|
|
|
void get_breakpoints(List<int> *p_breakpoints) const;
|
2018-05-30 14:02:51 +02:00
|
|
|
Array get_breakpoints_array() const;
|
|
|
|
void remove_breakpoints();
|
2017-11-16 05:00:27 +01:00
|
|
|
|
2019-04-20 13:51:25 +02:00
|
|
|
void set_line_info_icon(int p_line, Ref<Texture> p_icon, String p_info = "");
|
|
|
|
void clear_info_icons();
|
|
|
|
|
2017-11-13 00:12:17 +01:00
|
|
|
void set_line_as_hidden(int p_line, bool p_hidden);
|
|
|
|
bool is_line_hidden(int p_line) const;
|
2017-11-16 05:00:27 +01:00
|
|
|
void fold_all_lines();
|
2017-11-13 00:12:17 +01:00
|
|
|
void unhide_all_lines();
|
2018-01-26 02:41:17 +01: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 00:12:17 +01:00
|
|
|
bool can_fold(int p_line) const;
|
|
|
|
bool is_folded(int p_line) const;
|
2019-04-13 13:43:35 +02:00
|
|
|
Vector<int> get_folded_lines() const;
|
2017-11-13 00:12:17 +01:00
|
|
|
void fold_line(int p_line);
|
|
|
|
void unfold_line(int p_line);
|
2017-12-08 19:17:10 +01:00
|
|
|
void toggle_fold_line(int p_line);
|
2017-11-13 00:12:17 +01:00
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
String get_text();
|
|
|
|
String get_line(int line) const;
|
2017-03-05 16:44:50 +01:00
|
|
|
void set_line(int line, String new_text);
|
2014-02-10 02:10:30 +01:00
|
|
|
void backspace_at_cursor();
|
2016-03-09 00:00:52 +01:00
|
|
|
|
2017-12-14 10:10:53 +01:00
|
|
|
void indent_left();
|
|
|
|
void indent_right();
|
2017-11-28 12:03:46 +01:00
|
|
|
int get_indent_level(int p_line) const;
|
2018-01-12 06:25:04 +01:00
|
|
|
bool is_line_comment(int p_line) const;
|
2016-04-06 17:37:03 +02:00
|
|
|
|
2016-03-07 03:32:51 +01:00
|
|
|
inline void set_scroll_pass_end_of_file(bool p_enabled) {
|
|
|
|
scroll_past_end_of_file_enabled = p_enabled;
|
|
|
|
update();
|
|
|
|
}
|
2014-04-30 18:21:58 +02:00
|
|
|
inline void set_auto_brace_completion(bool p_enabled) {
|
|
|
|
auto_brace_completion_enabled = p_enabled;
|
|
|
|
}
|
2014-12-17 05:53:34 +01:00
|
|
|
inline void set_brace_matching(bool p_enabled) {
|
2017-03-05 16:44:50 +01:00
|
|
|
brace_matching_enabled = p_enabled;
|
2014-12-17 05:53:34 +01:00
|
|
|
update();
|
|
|
|
}
|
2016-03-04 11:05:42 +01:00
|
|
|
inline void set_callhint_settings(bool below, Vector2 offset) {
|
|
|
|
callhint_below = below;
|
|
|
|
callhint_offset = offset;
|
|
|
|
}
|
2015-11-29 17:02:35 +01:00
|
|
|
void set_auto_indent(bool p_auto_indent);
|
2014-12-17 05:53:34 +01:00
|
|
|
|
2016-07-21 03:40:08 +02:00
|
|
|
void center_viewport_to_cursor();
|
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
void cursor_set_column(int p_col, bool p_adjust_viewport = true);
|
2018-01-26 02:41:17 +01: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 02:10:30 +01:00
|
|
|
|
|
|
|
int cursor_get_column() const;
|
|
|
|
int cursor_get_line() const;
|
|
|
|
|
2016-05-09 20:21:55 +02: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 17:07:17 +02:00
|
|
|
void cursor_set_block_mode(const bool p_enable);
|
|
|
|
bool cursor_is_block_mode() const;
|
|
|
|
|
2017-12-20 02:36:47 +01:00
|
|
|
void set_right_click_moves_caret(bool p_enable);
|
|
|
|
bool is_right_click_moving_caret() const;
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
void set_readonly(bool p_readonly);
|
2017-11-11 19:07:17 +01:00
|
|
|
bool is_readonly() const;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
void set_max_chars(int p_max_chars);
|
2018-01-11 23:35:12 +01:00
|
|
|
int get_max_chars() const;
|
|
|
|
|
2018-01-26 02:41:17 +01:00
|
|
|
void set_wrap_enabled(bool p_wrap_enabled);
|
|
|
|
bool is_wrap_enabled() const;
|
2014-02-10 02:10:30 +01: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 16:44:50 +01:00
|
|
|
void select(int p_from_line, int p_from_column, int p_to_line, int p_to_column);
|
2014-02-10 02:10:30 +01:00
|
|
|
void deselect();
|
2017-11-11 05:07:41 +01:00
|
|
|
void swap_lines(int line1, int line2);
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
void set_search_text(const String &p_search_text);
|
2016-05-28 18:25:45 +02:00
|
|
|
void set_search_flags(uint32_t p_flags);
|
|
|
|
void set_current_search_result(int line, int col);
|
|
|
|
|
2016-03-16 22:20:42 +01:00
|
|
|
void set_highlight_all_occurrences(const bool p_enabled);
|
2016-07-11 16:20:01 +02:00
|
|
|
bool is_highlight_all_occurrences_enabled() const;
|
2014-02-10 02:10:30 +01:00
|
|
|
bool is_selection_active() const;
|
|
|
|
int get_selection_from_line() const;
|
2016-08-07 00:00:54 +02:00
|
|
|
int get_selection_from_column() const;
|
2014-02-10 02:10:30 +01:00
|
|
|
int get_selection_to_line() const;
|
|
|
|
int get_selection_to_column() const;
|
|
|
|
String get_selection_text() const;
|
|
|
|
|
2014-05-06 11:36:39 +02:00
|
|
|
String get_word_under_cursor() const;
|
2017-03-05 16:44:50 +01:00
|
|
|
String get_word_at_pos(const Vector2 &p_pos) const;
|
2014-05-06 11:36:39 +02:00
|
|
|
|
2017-03-05 16:44:50 +01: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 02:10:30 +01:00
|
|
|
|
|
|
|
void undo();
|
|
|
|
void redo();
|
2014-12-17 02:31:57 +01:00
|
|
|
void clear_undo_history();
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-04-17 15:24:30 +02: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-03 19:03:20 +02:00
|
|
|
int get_indent_size();
|
2014-02-10 02:10:30 +01:00
|
|
|
void set_draw_tabs(bool p_draw);
|
|
|
|
bool is_drawing_tabs() const;
|
2019-04-24 01:33:20 +02:00
|
|
|
void set_draw_spaces(bool p_draw);
|
|
|
|
bool is_drawing_spaces() const;
|
2017-09-27 19:24:05 +02:00
|
|
|
void set_override_selected_font_color(bool p_override_selected_font_color);
|
|
|
|
bool is_overriding_selected_font_color() const;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2016-03-31 21:49:30 +02:00
|
|
|
void set_insert_mode(bool p_enabled);
|
|
|
|
bool is_insert_mode() const;
|
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
void add_keyword_color(const String &p_keyword, const Color &p_color);
|
2018-04-02 13:41:44 +02:00
|
|
|
bool has_keyword_color(String p_keyword) const;
|
|
|
|
Color get_keyword_color(String p_keyword) const;
|
|
|
|
|
2017-03-05 16:44:50 +01: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 02:10:30 +01:00
|
|
|
void clear_colors();
|
|
|
|
|
2018-01-12 15:00:41 +01:00
|
|
|
void add_member_keyword(const String &p_keyword, const Color &p_color);
|
2018-04-02 13:41:44 +02:00
|
|
|
bool has_member_color(String p_member) const;
|
|
|
|
Color get_member_color(String p_member) const;
|
2018-01-12 15:00:41 +01:00
|
|
|
void clear_member_keywords();
|
|
|
|
|
2018-01-26 02:41:17 +01:00
|
|
|
double get_v_scroll() const;
|
|
|
|
void set_v_scroll(double p_scroll);
|
2014-02-10 02:10:30 +01:00
|
|
|
|
|
|
|
int get_h_scroll() const;
|
|
|
|
void set_h_scroll(int p_scroll);
|
|
|
|
|
2017-08-19 16:23:45 +02:00
|
|
|
void set_smooth_scroll_enabled(bool p_enable);
|
|
|
|
bool is_smooth_scroll_enabled() const;
|
|
|
|
|
2017-08-21 20:13:24 +02:00
|
|
|
void set_v_scroll_speed(float p_speed);
|
|
|
|
float get_v_scroll_speed() const;
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
uint32_t get_version() const;
|
|
|
|
uint32_t get_saved_version() const;
|
|
|
|
void tag_saved_version();
|
|
|
|
|
2016-05-17 01:25:17 +02:00
|
|
|
void menu_option(int p_option);
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
void set_show_line_numbers(bool p_show);
|
2016-07-11 16:11:35 +02:00
|
|
|
bool is_show_line_numbers_enabled() const;
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-10-22 14:38:00 +02:00
|
|
|
void set_highlight_current_line(bool p_enabled);
|
|
|
|
bool is_highlight_current_line_enabled() const;
|
|
|
|
|
2016-10-10 13:43:09 +02:00
|
|
|
void set_line_numbers_zero_padded(bool p_zero_padded);
|
|
|
|
|
2016-10-10 10:34:51 +02:00
|
|
|
void set_show_line_length_guideline(bool p_show);
|
|
|
|
void set_line_length_guideline_column(int p_column);
|
|
|
|
|
2019-04-20 01:51:25 +02:00
|
|
|
void set_bookmark_gutter_enabled(bool p_draw);
|
|
|
|
bool is_bookmark_gutter_enabled() const;
|
|
|
|
|
2018-05-30 14:02:51 +02:00
|
|
|
void set_breakpoint_gutter_enabled(bool p_draw);
|
|
|
|
bool is_breakpoint_gutter_enabled() const;
|
2016-05-26 15:17:14 +02:00
|
|
|
|
|
|
|
void set_breakpoint_gutter_width(int p_gutter_width);
|
|
|
|
int get_breakpoint_gutter_width() const;
|
|
|
|
|
2017-11-13 00:12:17 +01: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 13:51:25 +02: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-11 20:31:19 +02: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 13:37:57 +02:00
|
|
|
void set_hiding_enabled(bool p_enabled);
|
|
|
|
bool is_hiding_enabled() const;
|
2017-11-13 00:12:17 +01:00
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
void set_tooltip_request_func(Object *p_obj, const StringName &p_function, const Variant &p_udata);
|
2014-02-10 02:10:30 +01:00
|
|
|
|
2017-03-05 16:44:50 +01:00
|
|
|
void set_completion(bool p_enabled, const Vector<String> &p_prefixes);
|
2019-06-13 11:32:03 +02:00
|
|
|
void code_complete(const List<ScriptCodeCompletionOption> &p_strings, bool p_forced = false);
|
2017-03-05 16:44:50 +01:00
|
|
|
void set_code_hint(const String &p_hint);
|
2014-02-10 02:10:30 +01:00
|
|
|
void query_code_comple();
|
|
|
|
|
2016-09-12 15:52:29 +02:00
|
|
|
void set_select_identifiers_on_hover(bool p_enable);
|
|
|
|
bool is_selecting_identifiers_on_hover_enabled() const;
|
|
|
|
|
2016-09-29 09:12:45 +02:00
|
|
|
void set_context_menu_enabled(bool p_enable);
|
2017-11-09 21:46:29 +01:00
|
|
|
bool is_context_menu_enabled();
|
|
|
|
|
2016-05-17 01:25:17 +02:00
|
|
|
PopupMenu *get_menu() const;
|
|
|
|
|
2014-12-17 02:31:57 +01:00
|
|
|
String get_text_for_completion();
|
2016-09-12 15:52:29 +02:00
|
|
|
String get_text_for_lookup_completion();
|
2014-12-17 02:31:57 +01:00
|
|
|
|
2016-08-07 00:00:54 +02:00
|
|
|
virtual bool is_text_field() const;
|
2014-02-10 02:10:30 +01:00
|
|
|
TextEdit();
|
|
|
|
~TextEdit();
|
|
|
|
};
|
|
|
|
|
2017-08-20 17:45:01 +02:00
|
|
|
VARIANT_ENUM_CAST(TextEdit::MenuItems);
|
|
|
|
VARIANT_ENUM_CAST(TextEdit::SearchFlags);
|
|
|
|
|
2018-04-02 13:41:44 +02:00
|
|
|
class SyntaxHighlighter {
|
|
|
|
protected:
|
|
|
|
TextEdit *text_editor;
|
|
|
|
|
|
|
|
public:
|
2019-04-02 14:07:29 +02:00
|
|
|
virtual ~SyntaxHighlighter() {}
|
2018-04-02 13:41:44 +02:00
|
|
|
virtual void _update_cache() = 0;
|
|
|
|
virtual Map<int, TextEdit::HighlighterInfo> _get_line_syntax_highlighting(int p_line) = 0;
|
|
|
|
|
2019-05-20 19:36:24 +02:00
|
|
|
virtual String get_name() const = 0;
|
2018-04-02 13:41:44 +02:00
|
|
|
virtual List<String> get_supported_languages() = 0;
|
|
|
|
|
|
|
|
void set_text_editor(TextEdit *p_text_editor);
|
|
|
|
TextEdit *get_text_editor();
|
|
|
|
};
|
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
#endif // TEXT_EDIT_H
|