xtext: Fix poor performance with nick indent enabled
This fixes xtext re-rendering multiple times when the indent width is not sufficient Fixes #1364 Closes #1367
This commit is contained in:
parent
ff9c0dbd5e
commit
f7bea16e37
|
@ -4671,7 +4671,9 @@ gtk_xtext_append_indent (xtext_buffer *buf,
|
|||
space = 0;
|
||||
|
||||
/* do we need to auto adjust the separator position? */
|
||||
if (buf->xtext->auto_indent && ent->indent < MARGIN + space)
|
||||
if (buf->xtext->auto_indent &&
|
||||
buf->indent < buf->xtext->max_auto_indent &&
|
||||
ent->indent < MARGIN + space)
|
||||
{
|
||||
tempindent = MARGIN + space + buf->xtext->space_width + left_width;
|
||||
|
||||
|
|
Loading…
Reference in New Issue