302 |
} |
} |
303 |
|
|
304 |
TextStyle style = GraphicsAPI.getInstance().getTextStyle("Sans", 0, 20); |
TextStyle style = GraphicsAPI.getInstance().getTextStyle("Sans", 0, 20); |
305 |
CellInBox cellview = new ImageCell(new TextCellContentView(style)); |
CellView cellview = new ImageCell(new TextCellContentView(style)); |
306 |
|
|
307 |
// public so can be replaced from jython |
// public so can be replaced from jython |
308 |
public Vob filletState = GLCache.getCallList( |
public Vob filletState = GLCache.getCallList( |
330 |
main_vc.setCellView(cellview); |
main_vc.setCellView(cellview); |
331 |
else |
else |
332 |
main_vc.setCellView( |
main_vc.setCellView( |
333 |
new CellInBoxPlugin(cellview, |
new CellViewPlugin(cellview, |
334 |
new Cell1DBuoyHook(leftFloater, rightFloater, |
new Cell1DBuoyHook(leftFloater, rightFloater, |
335 |
d.clone, d.association))); |
d.clone, d.association))); |
336 |
|
|
337 |
Dimension size = vs.getSize(); |
Dimension size = vs.getSize(); |
338 |
|
|