TerminalEvent.java

package org.gscript.terminal;

public class TerminalEvent {
	public static final int SCREEN_UPDATE = 10000;
	public static final int SCREEN_RESIZE = 10001;
}