Benjamin Pierce

These also seem like reasonable refinements. One could retain backward compatibility by copying the latest-built binary (unison-text or whatever) to 'unison'. The reason we never did something like this is...

This is with the GTK UI or the OSX one? Changing the default width (or height) should be easy. Communicating with the window manager to find out good dimensions requires...

I don't think there is any documentation outside the makefile. You are probably the second person ever to try to do it!

I wonder if the workaround is even needed any more -- it dates from a long time ago, and I imagine Windows may have gotten better about this issue in...

Yes, I just meant the 1-hour hack. I haven't looked at the relevant bits of the code in a while: does Unison not synchronize mtimes with full system precision? I...

Yes, we should really generalize this and make it more configurable. Happy to accept a PR (though probably some further discussion about design would be good before diving into implementing,...

This would be a nontrivial change, unfortunately -- the places you'd have to touch are spread across the change detection (update.ml), reconciliation (recon.ml), and propagation (transport.ml) phases, and some of...

Agreed -- it would be nice to improve the GTK UI in this way. Happy to consider a patch if someone wants to do it.

I'm afraid I don't remember the reasons why local sync was treated differently -- I incline toward Greg's theory that it was mostly because the local case was assumed to...

There was quite a bit of discussion about this issue years ago. IIRC, the conclusion was that, since people might have many different ideas about what criteria should be applied...