diff options
| author | G.raud <graud@gmx.com> | 2018-01-28 12:50:21 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-01-28 13:30:25 +0100 |
| commit | 0cc043102f423f58fbbd057d9e362ce3d8c6bf31 (patch) | |
| tree | ff97c60cacc60eea5bcec29f1cfe9dce47debbb1 /src | |
| parent | 0176188107aa9fb82657ed9fcd92081f5a61c76a (diff) | |
| download | unison-0cc043102f423f58fbbd057d9e362ce3d8c6bf31.zip unison-0cc043102f423f58fbbd057d9e362ce3d8c6bf31.tar.gz unison-0cc043102f423f58fbbd057d9e362ce3d8c6bf31.tar.bz2 | |
Uitext.interact: fix usage of newLine for dumbtty mode
Diffstat (limited to 'src')
| -rw-r--r-- | src/uitext.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 7572716..6d0006e 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -347,10 +347,10 @@ let interact rilist = repeat())); (["x"], ("show details"), - (fun () -> display "\n"; displayDetails ri; repeat())); + (fun () -> newLine(); displayDetails ri; repeat())); (["L"], ("list all suggested changes tersely"), - (fun () -> display "\n"; + (fun () -> newLine(); Safelist.iter (fun ri -> displayri ri; display "\n ") ril; @@ -358,7 +358,7 @@ let interact rilist = repeat())); (["l"], ("list all suggested changes with details"), - (fun () -> display "\n"; + (fun () -> newLine(); Safelist.iter (fun ri -> displayri ri; display "\n "; alwaysDisplayDetails ri) |