TEF_DBRACKET
if (te->flags & TEF_DBRACKET)
if (te->flags & TEF_DBRACKET)
if ((te->flags & TEF_DBRACKET) || (&te->pos.wp[1] < te->wp_end &&
if (te->flags & TEF_DBRACKET) {
te.flags = TEF_DBRACKET;
te.flags = TEF_DBRACKET;