Bump Event-B UI to 3.3.2
Fix off-by-one in High Sierra workaround
Update feature patch project for bug 771
Work around macOs High Sierra bug
Bump Event-B UI to 3.3.1
Create feature patch project for bug 771
This is an eclipse bug : https://bugs.eclipse.org/bugs/show_bug.cgi?id=525465 well beyond what the Rodin maintainers can address. The issue is apparently in low level layer of SWT. Unfortunately, there does not seem to be much interest in fixing it. You can vote for it on the Eclipse site to increase awareness of it by the Eclipse maintainers (I already did it for myself).
Fix bug #769: statistics column width