// Only deal with valid renderers
@Override // ObjectEventListener
    public void removingObject (Object obj, int index)
    {
        String hash = get_object_hash (obj);
        ObjectRenderer renderer = active_renderers.get (hash);
        log.info ("removingObject: obj={} or={} layout={} /// active_renderers={}", hash, renderer, layout, active_renderers);
        // Only deal with valid renderers
        if (renderer != null)
        {
            // TODO: VAADIN SESSION HANDLING
            layout.removeComponent (renderer);
            log.info ("<<RENDERER>> removingObject() layout height = {} {}", layout.getHeight (), layout.getHeightUnits ().toString ());
        }
        active_renderers.remove (hash);
    }
ObjectRenderer renderer = active_renderers.get (hash);
log.info ("removingObject: obj={} or={} layout={} /// active_renderers={}", hash, renderer, layout, active_renderers);
// Only deal with valid renderers
if (renderer != null)
{
@Override // ObjectEventListener
public void removingObject (Object obj, int index)
{
String hash = get_object_hash (obj);
ObjectRenderer renderer = active_renderers.get (hash);
log.info ("removingObject: obj={} or={} layout={} /// active_renderers={}", hash, renderer, layout, active_renderers);
// Only deal with valid renderers
if (renderer != null)
{
// TODO: VAADIN SESSION HANDLING
layout.removeComponent (renderer);
log.info ("<<RENDERER>> removingObject() layout height = {} {}", layout.getHeight (), layout.getHeightUnits ().toString ());
}
active_renderers.remove (hash);
}
@Override // ObjectEventListener
public void removingObject (Object obj, int index)
{
String hash = get_object_hash (obj);
ObjectRenderer renderer = active_renderers.get (hash);
log.info ("removingObject: obj={} or={} layout={} /// active_renderers={}", hash, renderer, layout, active_renderers);
// Only deal with valid renderers
if (renderer != null)
{
// TODO: VAADIN SESSION HANDLING
layout.removeComponent (renderer);
log.info ("<<RENDERER>> removingObject() layout height = {} {}", layout.getHeight (), layout.getHeightUnits ().toString ());
}
active_renderers.remove (hash);
}