Christian Werling

What happens if a shared graph has transfer in gates ? We should at least show a warning during the sharing that the 'imported' graphs must be shared too. In...

Most obvious case is making the browser window smaller

For node / edge / group properties, the JS client code currently generates / expects the value wrapped in a separate dictionary with only one key. There is no visible...

The SVG thumbnail ids need to match the kind identifier used in the notations file in order to work with the nose.js implementation. So far the id string must be...

Halos are iconic buttons, that are positioned around the node, they are belonging to. Possible halo button are: - Create a new node with an already set up edge to...

 When multiple FDEP gates are attached to Basic Events, it is not clear which belong to which, since line crossings are not visualized. In the attached picture, the left...

... and check the new version for it's multi selection capability, which could make some current hacks needless.

Right now just Repeated BasicEvents are supported. Make this generic for all events.