equal
deleted
inserted
replaced
6253 (builder componentAt:#mainPanel) relativeCorners:DefaultRelativeSizes first. |
6253 (builder componentAt:#mainPanel) relativeCorners:DefaultRelativeSizes first. |
6254 (builder componentAt:#verticalPanel) relativeCorners:DefaultRelativeSizes second. |
6254 (builder componentAt:#verticalPanel) relativeCorners:DefaultRelativeSizes second. |
6255 ]. |
6255 ]. |
6256 |
6256 |
6257 "/ using masters infoHolder ? |
6257 "/ using masters infoHolder ? |
6258 self useAlienInfoLabelHolder ifTrue:[ |
6258 self useAlienInfoLabel ifTrue:[ |
6259 (builder componentAt:#mainPanel) layout bottomOffset:0. |
6259 (builder componentAt:#mainPanel) layout bottomOffset:0. |
6260 (builder componentAt:#infoBarSubSpec) beInvisible |
6260 (builder componentAt:#infoBarSubSpec) beInvisible |
6261 ] |
6261 ] |
6262 |
6262 |
6263 "Modified: / 20-02-2018 / 13:05:30 / stefan" |
6263 "Modified: / 20-02-2018 / 13:05:30 / stefan" |