This is not reproducible anymore in unison-gtk 2.40.65-1. This bug is fixed by unison 2.13.0:
> Changes since 2.12.0: > * User interface changes: > * Improved workaround for button focus problem (GTK2 UI) (from http://www.cis.upenn.edu/~bcpierce/unison/download/releases/beta/unison-manual.html#news) This should be marked as fixed. Thanks -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
