1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-08 12:40:44 +00:00

Move code folding into CodeEdit and hide line hiding API

This commit is contained in:
Paulb23
2021-03-13 14:09:49 +00:00
parent c5f237eaf8
commit 5c618dd03d
12 changed files with 385 additions and 306 deletions

View File

@@ -98,6 +98,9 @@ private:
void _gutter_clicked(int p_line, int p_gutter);
void _update_gutter_indexes();
/* Line Folding */
bool line_folding_enabled = true;
/* Delimiters */
enum DelimiterType {
TYPE_STRING,
@@ -241,6 +244,21 @@ public:
void set_draw_fold_gutter(bool p_draw);
bool is_drawing_fold_gutter() const;
/* Line Folding */
void set_line_folding_enabled(bool p_enabled);
bool is_line_folding_enabled() const;
bool can_fold_line(int p_line) const;
void fold_line(int p_line);
void unfold_line(int p_line);
void fold_all_lines();
void unfold_all_lines();
void toggle_foldable_line(int p_line);
bool is_line_folded(int p_line) const;
TypedArray<int> get_folded_lines() const;
/* Delimiters */
void add_string_delimiter(const String &p_start_key, const String &p_end_key, bool p_line_only = false);
void remove_string_delimiter(const String &p_start_key);