enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-23 20:16:47 +03:00
Code Issues Projects Releases Wiki Activity
0661f17d1c
enso/distribution/lib
History
James Dunkerley 0661f17d1c
Tune Text.trim, fix for Text.split (#10445) 
- Rename `Location.Start` to `Location.Left`.
- Rename `Location.End` to `Location.Right`.
- Use auto-scoping for `Location`.
- Tune widgets for `Text.trim`.
- Correct signature of `Text.split`.
- Adjist `generateLocallyUniqueIdent` to not fail on bad signature.
2024-07-04 22:24:56 +00:00
..
Standard Tune Text.trim, fix for Text.split (#10445) 2024-07-04 22:24:56 +00:00