@@ -202,7 +202,7 @@ addLineNumber renderer maybeSubRegion width n line =
202 if n < 0 then " " else show n
202 if n < 0 then " " else show n
204 lineNumber =
204 lineNumber =
205− replicate (width - length number) ' ' ++ number ++ "|"
205+ replicate (width - length number) ' ' ++ number ++ "│"
207 spacer (R.Region start end) =
207 spacer (R.Region start end) =
208 if R.line start <= n && n <= R.line end
208 if R.line start <= n && n <= R.line end