|
Lines 18-23
Link Here
|
| 18 |
import java.util.List; |
18 |
import java.util.List; |
| 19 |
import java.util.Map; |
19 |
import java.util.Map; |
| 20 |
|
20 |
|
|
|
21 |
import org.eclipse.draw2d.geometry.Dimension; |
| 21 |
import org.eclipse.draw2d.geometry.Point; |
22 |
import org.eclipse.draw2d.geometry.Point; |
| 22 |
import org.eclipse.gef.Request; |
23 |
import org.eclipse.gef.Request; |
| 23 |
import org.eclipse.gef.requests.CreateRequest; |
24 |
import org.eclipse.gef.requests.CreateRequest; |
|
Lines 164-169
Link Here
|
| 164 |
} |
165 |
} |
| 165 |
super.setLocation(location); |
166 |
super.setLocation(location); |
| 166 |
} |
167 |
} |
|
|
168 |
|
| 169 |
/** |
| 170 |
* @see org.eclipse.get.requests.CreateRequest#setSize(org.eclipse.draw2d.geometry.Dimension) |
| 171 |
*/ |
| 172 |
public void setSize(Dimension size) { |
| 173 |
if (requests != null) { |
| 174 |
for (Iterator iter = requests.values().iterator(); iter.hasNext();) { |
| 175 |
CreateRequest request = (CreateRequest) iter.next(); |
| 176 |
request.setSize(size); |
| 177 |
} |
| 178 |
} |
| 179 |
super.setSize(size); |
| 180 |
} |
| 167 |
|
181 |
|
| 168 |
/** |
182 |
/** |
| 169 |
* @see org.eclipse.gef.Request#setType(java.lang.Object) |
183 |
* @see org.eclipse.gef.Request#setType(java.lang.Object) |
