diff options
| author | bcpierce00 <bcpierce00@users.noreply.github.com> | 2017-10-15 10:45:45 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-15 10:45:45 -0400 |
| commit | 544fabfe09a307dea8bbcd5c547ace9bed63ef12 (patch) | |
| tree | 913c52438a20712e6a0c4d9dfbdf8f859c4ffb50 | |
| parent | a931e7cc3146ab94aac379c5ce023a5bcbb85411 (diff) | |
| parent | d2bc21e2d7bd879adaa03c17539709362be93825 (diff) | |
| download | unison-544fabfe09a307dea8bbcd5c547ace9bed63ef12.zip unison-544fabfe09a307dea8bbcd5c547ace9bed63ef12.tar.gz unison-544fabfe09a307dea8bbcd5c547ace9bed63ef12.tar.bz2 | |
Merge pull request #46 from dnlopez/master
In GTK interface, show full pathnames in file list
| -rw-r--r-- | src/uicommon.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uicommon.ml b/src/uicommon.ml index 5c656b8..16af812 100644 --- a/src/uicommon.ml +++ b/src/uicommon.ml @@ -290,7 +290,7 @@ let reconItem2stringList oldPath theRI = (replicaContent2shortString diff.rc1, direction2action partial diff.direction, replicaContent2shortString diff.rc2, - displayPath oldPath theRI.path1) + Path.toString theRI.path1) let reconItem2string oldPath theRI status = let (r1, action, r2, path) = reconItem2stringList oldPath theRI in |