@@ -79,7 +79,8 @@ select (Region start end) source =
79 firstLine : rest ->
79 firstLine : rest ->
81 filteredFirstLine =
81 filteredFirstLine =
82+ replicate (column start - 1) ' '
82− replicate (column start) ' ' ++ drop (column start) firstLine
83+ ++ drop (column start - 1) firstLine
84 filteredLastLine =
85 filteredLastLine =
85 take (column end) (last rest)
86 take (column end) (last rest)