PropertiesModifyListener.java

/*******************************************************************
 * Copyright (c) 2006-2013, Cloudsmith Inc.
 * The code, documentation and other materials contained herein
 * are the sole and exclusive property of Cloudsmith Inc. and may
 * not be disclosed, used, modified, copied or distributed without
 * prior written consent or license from Cloudsmith Inc.
 ******************************************************************/

package org.eclipse.buckminster.ui.editor;

/**
 * @author Karel Brezina
 * 
 */
public interface PropertiesModifyListener {
	void modifyProperties(PropertiesModifyEvent e);
}