|
Region format It is not only possible to fold regions dynamically, i.e. interactively with the mouse, but also statically, i.e. in the specification of the graph. The format of a region specification is: region: { state: State of the region (folded, boxed, exclusive) source: list of Strings specifying start nodes target: list of Strings specifying end nodes class: list of Integers specifying edge classes range: Integer specifying the neighbor region range } The attributes
|