// $Id: key_defs.js,v 1.2 2019/09/23 08:39:57 rswindell Exp $
// Terminal keyboard definitions (string varants)

							/********************************************/
							/* Special inkey()/getkey() return values	*/
							/********************************************/
var KEY_ESC		= '\x1b';	/* Ctrl-[ (escape)							*/
var KEY_UP		= '\x1e';	/* ctrl-^ (up arrow)						*/
var KEY_DOWN	= '\x0a';	/* ctrl-j (dn arrow)						*/
var KEY_RIGHT	= '\x06';	/* ctrl-f (rt arrow)						*/
var KEY_LEFT	= '\x1d';	/* ctrl-] (lf arrow)						*/
var KEY_HOME	= '\x02';	/* ctrl-b (home)							*/
var KEY_END		= '\x05';	/* ctrl-e (end)								*/
var KEY_INSERT	= '\x16';	/* ctrl-v (insert)							*/
var KEY_DEL		= '\x7f';   /* ctrl-BkSpc (DEL)							*/
var KEY_PAGEUP	= '\x10';	/* ctrl-p (Page Up)							*/
var KEY_PAGEDN	= '\x0e';	/* ctrl-n (Page Down)						*/
							/********************************************/
var KEY_ABORT	= '\x03';	/* ctrl-c (cancel/abort/break)				*/
							/********************************************/

var CTRL_A		= '\x01';
var CTRL_B		= '\x02';
var CTRL_C		= '\x03';
var CTRL_D		= '\x04';
var CTRL_E		= '\x05';
var CTRL_F		= '\x06';
var CTRL_G		= '\x07';
var CTRL_H		= '\x08';
var CTRL_I		= '\x09';
var CTRL_J		= '\x0a';
var CTRL_K		= '\x0b';
var CTRL_L		= '\x0c';
var CTRL_M		= '\x0d';
var CTRL_N		= '\x0e';
var CTRL_O		= '\x0f';
var CTRL_P		= '\x10';
var CTRL_Q		= '\x11';
var CTRL_R		= '\x12';
var CTRL_S		= '\x13';
var CTRL_T		= '\x14';
var CTRL_U		= '\x15';
var CTRL_V		= '\x16';
var CTRL_W		= '\x17';
var CTRL_X		= '\x18';
var CTRL_Y		= '\x19';
var CTRL_Z		= '\x1a';

// Leave as last line:
this;
