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
-
... ... @@ -6,8 +6,10 @@ 6 6 7 7 **Contents** 8 8 9 - 10 10 10 + 11 +{{toc/}} 12 + 11 11 = Overview = 12 12 13 13 Beside a human-readable name, layout options are defined by the following properties: ... ... @@ -370,7 +370,7 @@ 370 370 ))) 371 371 |(% colspan="1" %)(% colspan="1" %) 372 372 ((( 373 -[[Port Offset>>doc:||anchor=" portOffset"]]375 +[[Port Offset>>doc:||anchor="optionPO"]] 374 374 )))|(% colspan="1" %)(% colspan="1" %) 375 375 ((( 376 376 de.cau.cs.kieler.offset ... ... @@ -514,10 +514,12 @@ 514 514 515 515 This section explains every layout option in more detail. 516 516 517 -== Port Offset ==519 +== Port Offset == 518 518 519 -{{id name="portOffset"/}} 520 520 522 + 523 +{{id name="optionPO"/}} 524 + 521 521 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. 522 522 523 523 Set this property if one of the following cases applies:
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -711111 01 +7111112 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/711111 0/KIML Layout Options1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/7111112/KIML Layout Options