diff options
author | Michael Davis | 2023-06-26 15:17:04 +0000 |
---|---|---|
committer | GitHub | 2023-06-26 15:17:04 +0000 |
commit | 636c91c76b2855a4ac58b3a030a9e45f88eb7502 (patch) | |
tree | 3db92e67f8adb059a501520680f43c021fb1d501 /runtime/queries/llvm-mir-yaml/indents.scm | |
parent | 8d39a81aa88a813c6a3e1734e5cb3c05fd723839 (diff) |
Mark buffers created from stdin as modified (#7431)
This resolves some confusing behavior where a scratch document created
by piping into hx is discarded when navigating away from that document.
We discard any scratch documents that are not modified and the original
`Editor::new_file_from_stdin` would create unmodified documents. We
refactor this function to create an empty document first and then to
apply the text from stdin as a change.
Diffstat (limited to 'runtime/queries/llvm-mir-yaml/indents.scm')
0 files changed, 0 insertions, 0 deletions