diff --git a/main/SessionSettings.scala b/main/SessionSettings.scala index 47bfc27d4..9cc36cc0e 100755 --- a/main/SessionSettings.scala +++ b/main/SessionSettings.scala @@ -133,7 +133,7 @@ object SessionSettings val offs = adjusted.size + 1 val newWithPos = newSettings zip Range(offs, offs + 2*newSettings.size, 2) map { case ((s, text), line) => (s withPos RangePosition(path, LineRange(line, line + 1)), text) - } + } (newWithPos, other ++ oldShifted) } def needsTrailingBlank(lines: Seq[String]) = !lines.isEmpty && !lines.takeRight(1).exists(_.trim.isEmpty)