Changes for page KIML Layout Options
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -372,7 +372,7 @@ 372 372 ))) 373 373 |(% colspan="1" %)(% colspan="1" %) 374 374 ((( 375 -[[Port Offset>>doc:||anchor=" portOffset"]]375 +[[Port Offset>>doc:||anchor="optionPO"]] 376 376 )))|(% colspan="1" %)(% colspan="1" %) 377 377 ((( 378 378 de.cau.cs.kieler.offset ... ... @@ -518,7 +518,7 @@ 518 518 519 519 == Port Offset == 520 520 521 -{{id name=" portOffset"/}}521 +{{id name="optionPO"/}} 522 522 523 523 The port offset is used to specify how much space a layout algorithm should leave between a port and the border of its node. This is usually zero, but doesn't have to be. If the offset is not defined for a given port, a layout algorithm can try to infer the offset from the port's coordinates and its node's size in the input graph. This of course requires both properties to be set to sensible values. 524 524
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -71111 081 +7111111 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/71111 08/KIML Layout Options1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/7111111/KIML Layout Options