Merge

2026-08-28 17:13:56 +02:00 · 2012-02-20 12:30:10 +04:00
parent d23d39cc0f 31735051ea
commit ff4b42ce45
1 changed files with 1 additions and 1 deletions
@@ -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)