The patch suggested by me has been accepted upstream. [1], [2] Maybe this could be included in the next point release...
Thanks Daniel [1] https://webdav.seas.upenn.edu/viewvc/unison/trunk/src/uigtk2.ml?r1=551&r2=550&pathrev=551 [2] https://webdav.seas.upenn.edu/viewvc/unison/trunk/src/uigtk2.ml?view=patch&r1=551&r2=550&pathrev=551
