Created attachment 356097 [details] [review]
indenter: only copy indent up to line end

When we do not have an indenter, we try to copy the indentation
style of gedit. We simply copy the previous line. However, we
were copying too much information by not stoping at the line
end.

This caused multiple newline insertions matching up to the
number of new lines after the insertion cursor (plus the newline
we added).

Thanks for the excellent bug report. I knew the culprit almost immediately
upon reading the summary.

Fixed in master, but I think the nightly build server is down right now due
to mozjs52 breaking. So it might be a little bit before the next nightly
gets out.

Attachment 356097 [details] pushed as 7e65f03 - indenter: only copy indent up to line end

Thanks a lot for the fix Christian!