Layout improvements in the event-B editor
From Event-B
The intention of this page is to collect and discuss possible improvements of the layout in the event-B editor (edit tab).
Problem
In a user feedback report posted on the Deploy WP9 mailing list, Michael Leuschel reported the following facts:
In the newer version of Rodin (with included witnesses) the editor consumes even more space than before. Even on simple examples, one is lost (we had to copy the celebrity model on the whiteboard to get an overview). As an example, for Celebrity0 we have
- Text representation : 149 Pixels high;
- Rodin Pretty Printer 650 Pixels high (4.3 X);
- Rodin Editor Expanded: 1512 Pixels high (10 X)
So, the Rodin Editor expanded takes up 10 times more space than a classical textual representation; the pretty print still over 4 times. This is a problem already for small models, which we need to fix quickly.
