Skip to content

Commit 9a9ed7d

Browse files
sodaplayerjaredly
authored andcommitted
Add space between number and "more" (#339)
Previously you would see something like "a, b, c and 4more". This adds a space between before "more".
1 parent 74fc340 commit 9a9ed7d

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

core/CodeLens.re

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ let sepList = items =>
77
String.concat(", ", Belt.List.take(items, 3) |? [])
88
++ " and "
99
++ string_of_int(List.length(items) - 3)
10-
++ "more";
10+
++ " more";
1111

1212

1313
let forOpen = (tracker: SharedTypes.openTracker) => {
@@ -52,4 +52,4 @@ let forOpens = (extra: SharedTypes.extra) => {
5252

5353
(parts == [] ? "Unused open" : string_of_int(List.length(items)) ++ " uses. " ++ String.concat(" ", parts), tracker.ident.loc)
5454
});
55-
};
55+
};

0 commit comments

Comments
 (0)