RODIN / Bugs / #789 Refreshing issue on Mac OS X Big Sur 11.0.0

#789 Refreshing issue on Mac OS X Big Sur 11.0.0

Milestone: 3.6

Status: closed-fixed

Owner: Laurent Voisin

Labels: None

Priority: 5

Updated: 2021-07-20

Created: 2020-12-02

Creator: Son Hoang

Private: No

Due to a bug with Eclipse 2020-09, Rodin 3.5 has an issue with refreshing in the editors and views. The original issue in Eclipse is here
https://bugs.eclipse.org/bugs/show_bug.cgi?id=569147
The fix will be available in the next release of Eclipse, i.e., 2020-12.

Son

Discussion

Son Hoang - 2020-12-02

We will need another release of Rodin when Eclipse 2020-12 is released.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Guillaume Verdier - 2021-07-20

status: open --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Guillaume Verdier - 2021-07-20

Since Rodin 3.6 is based on Eclipse 2020-12, this bug is fixed.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Refreshing issue on Mac OS X Big Sur 11.0.0

Group

Searches

Help

#789 Refreshing issue on Mac OS X Big Sur 11.0.0

Discussion