WORKSPACE_EVENT_TYPE.java

/**
 * author: Marcel Genzmehr
 * 31.01.2012
 */
package org.freeplane.plugin.workspace.event;

public enum WORKSPACE_EVENT_TYPE {
	CHANGED, PRECHANGE, RELOADED, TOOLBAR
}