Closed philip-alldredge closed 6 years ago
This will be implemented as part of the scalability task.
The AADL navigator implementation is a bit of a mess, in particular the AadlNavigatorLabelProvider is wrong. After fixing it the order of entries doesn't change randomly any longer (see #1120).
child of #1371