<
From version < 3.1 >
edited by ckru
on 2012/03/23 11:49
To version < 4.1 >
edited by ckru
on 2012/03/23 11:49
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -66,7 +66,7 @@
66 66  ===== Layout =====
67 67  
68 68  (% style="margin-left: 30.0px;" %)
69 -Similar to the appearance you get to decide on the LayoutManager? to be used by the figure. This LayoutManager? is an implementation of the draw2d LayoutManager? interface. The layoutmanager is usually used to determine the size of a node with its children and the positions of child figures.
69 +Similar to the appearance you get to decide on the LayoutManager to be used by the figure. This LayoutManager is an implementation of the draw2d LayoutManager interface. The layoutmanager is usually used to determine the size of a node with its children and the positions of child figures.
70 70  
71 71  (% style="margin-left: 30.0px;" %)
72 72  ===== Size =====
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -884857
1 +884941
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/884857/Advanced Rendering of Model Appearance (KARMA)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/884941/Advanced Rendering of Model Appearance (KARMA)