#396 Event-B editor doesn't refresh
From a mail by Colin Snook on the User mailing list:
> I have found that the Event-B editor view clears its icons (variously,
> control buttons and element icons) when you press save and does not refresh
> them. You can force them all to refresh by re-sizeing the window or
> individually refresh one icon by hovering the mouse over it. Text Widgets etc
> seem to be ok.
>
> Rodin 1.2 (out of the box) on mac OSX10.6.2. and its reliably repeatable.
> this is after the minimal path to install rodin, and add a variable to a new
> machine. Workspace is the default empty one contained in the installation.
This problem also happens with vanilla Rodin 1.2 under Mac OS X 10.5.8. It was
already present in Rodin 1.2RC1 but came unnoticed to the final release.
From my point of view, it is a refresh problem in the form editor. All icons
(including icons for unfolding elements in the left margin) become invisible
when one saves the file (whatever the way the save is triggered).
I know that Eclipse 3.5 changed the way icons are displayed when a window
becomes disabled (all icons become gray). Maybe this change is related to this
bug.
Another workaround to force a refresh of the editor window is to scroll the
window.
This problem does not appear under Ubuntu 9.10 (Gnome 2.28.1).
This issue has been reported upstream as Bug 308081 - Image not displayed in disabled ImageHyperlink, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=308081
The bug is still present in Rodin 1.3RC1.
For Rodin 1.3, a work around shall be implemented in the user interface to prevent this bug from happening.
After various test, this problem is confirmed on Mac OS X carbon. It doesn't happen with the cocoa user interface.
So, this issue will get fixed when we drop PowerPC support and move to cocoa which is supported only for Intel Macs.
As Mac OS X carbon is no more supported and the bug does not happen on cocoa, we can consider it as closed.