diff options
| author | Michael Davis | 2022-11-04 01:58:54 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-11-07 04:38:16 +0000 |
| commit | 3d283b2ca43bb077f52c48fec5e4870cd314b4e3 (patch) | |
| tree | c95f608404ce5da069688eb0ccf9d196cadbcc31 /runtime/queries/ocaml-interface | |
| parent | 1536a6528968f38adfac2e991b29006f5ded5968 (diff) | |
Escape filenames in command completion
This changes the completion items to be rendered with shellword
escaping, so a file `a b.txt` is rendered as `a\ b.txt` which matches
how it should be inputted.
Diffstat (limited to 'runtime/queries/ocaml-interface')
0 files changed, 0 insertions, 0 deletions