Stub for issue #77
Merge branch 'milestone-1.0.6b' of github.com:soctrace-inria/ocelotl into milestone-1.0.6b
Fixed isssue #72; redraw selections in overview after resize or a change of parameter