This is already available in Rodin 3.2 (I'm not sure about the older releases):
Event-B Explorer: View Menu / Customize View / Content
Uncheck: SImple Context Structure and Simple Machine Structure
Check Complex Context Structure and Complex Machine Structure
Not only the contexts and machines are sorted according to the extends / refines relation, but also contexts are assigned to machines according to the sees relations.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
This is already available in Rodin 3.2 (I'm not sure about the older releases):
Event-B Explorer: View Menu / Customize View / Content
Uncheck: SImple Context Structure and Simple Machine Structure
Check Complex Context Structure and Complex Machine Structure
Not only the contexts and machines are sorted according to the extends / refines relation, but also contexts are assigned to machines according to the sees relations.