Open more than a view of a given type for a given trace

[generoso]

If a view is already open, the context menu in the trace tree view shoud propose:

• Show another $view_name

instead of:

• Show $view_name

The "Show another" menu must actually open a new instance of the given view type for a given trace.

[generoso]

When more than one view of a given type are open for the same trace (e.g., two gantts g1 and g2 for trace T), the following problem rises: when asking to show a gantt from another view, it is always the first opened gantt g1 that is shown.

If for example you have two different density charts (d1 and d2) for trace T, you would like to switch to g1 from d1 and to g2 from d2 (and vice-versa). This expected behavior cannot be implemented directly because the pub/sub used for "switch" notification has no notion of "sender".

A possible solution is to introduce groups of views. A group of view is a group of different FramesocPart view (different view ID; e.g. gantt, pie, table, ..) that are showing the same trace. This way the switch notification are considered only among the same group.

The implementation of this solution has the following details:

• the FramesocPartManager associates each FramesocPart with a group: 0, 1, 2, ...
• the message sent on the bus for switch notification contains the group id i.
  • if the receiver view exists for group i it is used, otherwise a new one is created for that group.
• If more than one group of views exists for a trace T, the view name has the form (i) name instead of name, where i is the group id.
• If only one group of views exists, the group is not displayed.
• Each time a view is created or closed, names are updated automatically.
• When a new view is opened, an incremental number is used (and not the smallest available).

This multi-view feature can be enabled/disabled using the allow_view_replication parameter of the soctrace.conf configuration file.