Activity
From 23 Apr 2022 to 22 May 2022
09 May 2022
-
11:49 Design #1681: Should Starting be case-insensitive?
- yes, I think that would be a good idea, case insensitive (ci by default if we allow both).
06 May 2022
-
21:15 Design #1681 (In Progress): Should Starting be case-insensitive?
- Currently *@starting@* is case-sensitive
_e.g._ @starting("J")@ and @starting("j")@ give quite different results....
Also available in: Atom