diff options
| author | Nong Van Tinh <vannongtinh@gmail.com> | 2023-03-07 16:53:46 +0700 |
|---|---|---|
| committer | Yuri Sizov <yuris@humnom.net> | 2023-03-27 17:16:25 +0200 |
| commit | e1de9f9fc4d8499b9e71585f0dcebcc2a42a00ea (patch) | |
| tree | d2152416cedebb28f13e3fd974846686a4e82c81 /scene/gui | |
| parent | b54ff430aae832002b1b20f97a6a246e3a025d6f (diff) | |
Fixes gutter set width results in receiving only half of the desired size
(cherry picked from commit bb3d0fc6b7f6caeffbfe43bd05d856373efa5b39)
Diffstat (limited to 'scene/gui')
| -rw-r--r-- | scene/gui/code_edit.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scene/gui/code_edit.h b/scene/gui/code_edit.h index 55fc5aa2ae..fe4b8d4809 100644 --- a/scene/gui/code_edit.h +++ b/scene/gui/code_edit.h @@ -108,7 +108,7 @@ private: /* Line numbers */ int line_number_gutter = -1; - int line_number_digits = 0; + int line_number_digits = 1; String line_number_padding = " "; Color line_number_color = Color(1, 1, 1); void _line_number_draw_callback(int p_line, int p_gutter, const Rect2 &p_region); |