Fixes gutter set width results in receiving only half of the desired size
This commit is contained in:
parent
5f2137a050
commit
bb3d0fc6b7
@ -108,7 +108,7 @@ private:
|
|||||||
|
|
||||||
/* Line numbers */
|
/* Line numbers */
|
||||||
int line_number_gutter = -1;
|
int line_number_gutter = -1;
|
||||||
int line_number_digits = 0;
|
int line_number_digits = 1;
|
||||||
String line_number_padding = " ";
|
String line_number_padding = " ";
|
||||||
Color line_number_color = Color(1, 1, 1);
|
Color line_number_color = Color(1, 1, 1);
|
||||||
void _line_number_draw_callback(int p_line, int p_gutter, const Rect2 &p_region);
|
void _line_number_draw_callback(int p_line, int p_gutter, const Rect2 &p_region);
|
||||||
|
Loading…
Reference in New Issue
Block a user