scroller.setContent(spacer);
/*
* Link attribute value changes: attribute panel -> search result
*/
final IAttributeListener panelToEditorSync = new AttributeListenerAdapter()
{
public void valueChanged(AttributeEvent event)
{
getSearchResult().getInput().setAttribute(event.key, event.value);
}
};
attributesPanel.addAttributeListener(panelToEditorSync);
/*
* Link attribute value changes: search result -> attribute panel
*/
final IAttributeListener editorToPanelSync = new AttributeListenerAdapter()
{
public void valueChanged(AttributeEvent event)
{
/*
* temporarily unsubscribe from events from the attributes list to avoid