void () { try { removeSelectionListener(); if (myArea == null) { update(Collections.emptyList(), null); } else { update(myArea.getSelection(), myDesigner.getSelectionProperty(getCurrentKey())); } } finally { addSelectionListener(); } }