diff options
| author | Daniel Lopez <daniel.lopez999@gmail.com> | 2016-11-05 00:53:05 +0000 |
|---|---|---|
| committer | Daniel Lopez <daniel.lopez999@gmail.com> | 2016-11-05 00:58:47 +0000 |
| commit | d2bc21e2d7bd879adaa03c17539709362be93825 (patch) | |
| tree | ce8faa01101165a6c494d5fc89f70fa94e09d39a /src | |
| parent | af02bc9f417a9acbc972583f5e662f8485353632 (diff) | |
| download | unison-d2bc21e2d7bd879adaa03c17539709362be93825.zip unison-d2bc21e2d7bd879adaa03c17539709362be93825.tar.gz unison-d2bc21e2d7bd879adaa03c17539709362be93825.tar.bz2 | |
In GTK interface, show full pathnames in file list
To more clearly see the shape of the directory hierarchy when browsing
the file list, compared to the previous behaviour of showing the
filename only with some indentation - but the size of that indentation
appeared erratic, perhaps due to the file list using a variable width
font.
Diffstat (limited to 'src')
| -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 51a306e..533f19d 100644 --- a/src/uicommon.ml +++ b/src/uicommon.ml @@ -291,7 +291,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 |