godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-04 12:00:25 +00:00
Code Releases Wiki Activity

CodeEdit: Add line number gutter minimum digits

Browse Source
This commit is contained in:
Haoyu Qiu
2025-10-28 16:51:29 +08:00
parent 2cb2c1fb5b
commit 990889fe1a
3 changed files with 30 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
scene/gui/code_edit.h
View File

@@ -111,6 +111,7 @@ private:
/* Line numbers */
int line_number_gutter = -1;
int line_number_digits = 1;
int line_numbers_min_digits = 3;
String line_number_padding = " ";
HashMap<int, RID> line_number_text_cache;
void _clear_line_number_text_cache();
@@ -413,6 +414,8 @@ public:
bool is_draw_line_numbers_enabled() const;
void set_line_numbers_zero_padded(bool p_zero_padded);
bool is_line_numbers_zero_padded() const;
void set_line_numbers_min_digits(int p_count);
int get_line_numbers_min_digits() const;
/* Fold gutter */
void set_draw_fold_gutter(bool p_draw);