diff options
| author | Sora | 2022-07-01 09:08:48 +0000 |
|---|---|---|
| committer | GitHub | 2022-07-01 09:08:48 +0000 |
| commit | edee2f4c347c53c4ba0ee7d8e4624e12e64d90fe (patch) | |
| tree | 0057938fdcc2c30a3fe1f7037dbbe06b8be469bb /runtime/queries/ocaml-interface | |
| parent | 444bc24a261ce02618cb73425d3847e554c83156 (diff) | |
Fix backwards character deletion on other whitespaces (#2855)
* delete_backwards_char accepts any type of whitespace
* Fix inconsistency, where unicode whitespaces are treated as normal whitespaces
* Changed back to direct whitespace match
* Only accept explicit whitespace / tabs
Co-authored-by: s0LA1337 <dreamer@neoncity.dev>
Diffstat (limited to 'runtime/queries/ocaml-interface')
0 files changed, 0 insertions, 0 deletions