2010-09-02 16:35:55 -04:00
|
|
|
#define TAB 8
|
2010-11-17 19:00:04 -05:00
|
|
|
#define TNAME "xterm"
|
|
|
|
#define FONT "-*-*-medium-r-*-*-*-120-75-75-*-60-*-*"
|
|
|
|
#define BOLDFONT "-*-*-bold-r-*-*-*-120-75-75-*-60-*-*"
|
2010-03-15 18:56:38 -04:00
|
|
|
#define BORDER 2
|
2010-08-30 17:49:15 -04:00
|
|
|
#define SHELL "/bin/sh"
|
2009-06-15 20:33:38 -04:00
|
|
|
|
|
|
|
/* Terminal colors */
|
2009-07-10 11:23:11 -04:00
|
|
|
static const char *colorname[] = {
|
2009-06-15 20:33:38 -04:00
|
|
|
"black",
|
2010-09-02 16:35:55 -04:00
|
|
|
"red3",
|
|
|
|
"green3",
|
|
|
|
"yellow3",
|
|
|
|
"blue2",
|
|
|
|
"magenta3",
|
|
|
|
"cyan3",
|
|
|
|
"gray90",
|
|
|
|
"gray50",
|
|
|
|
"red",
|
|
|
|
"green",
|
|
|
|
"yellow",
|
|
|
|
"#5c5cff",
|
|
|
|
"magenta",
|
|
|
|
"cyan",
|
|
|
|
"white"
|
2009-06-15 20:33:38 -04:00
|
|
|
};
|
|
|
|
|
|
|
|
/* Default colors (colorname index) */
|
2010-08-31 18:30:39 -04:00
|
|
|
/* foreground, background, cursor */
|
2009-06-15 20:33:38 -04:00
|
|
|
#define DefaultFG 7
|
|
|
|
#define DefaultBG 0
|
|
|
|
#define DefaultCS 1
|
|
|
|
|
2010-09-02 16:35:55 -04:00
|
|
|
/* Special keys */
|
2009-09-07 15:19:29 -04:00
|
|
|
static Key key[] = {
|
2010-08-19 06:46:54 -04:00
|
|
|
{ XK_BackSpace, "\177" },
|
2010-08-30 17:49:15 -04:00
|
|
|
{ XK_Delete, "\033[3~" },
|
|
|
|
{ XK_Home, "\033[1~" },
|
|
|
|
{ XK_End, "\033[4~" },
|
|
|
|
{ XK_Prior, "\033[5~" },
|
|
|
|
{ XK_Next, "\033[6~" },
|
2010-08-22 13:46:46 -04:00
|
|
|
{ XK_F1, "\033OP" },
|
|
|
|
{ XK_F2, "\033OQ" },
|
|
|
|
{ XK_F3, "\033OR" },
|
|
|
|
{ XK_F4, "\033OS" },
|
|
|
|
{ XK_F5, "\033[15~" },
|
|
|
|
{ XK_F6, "\033[17~" },
|
|
|
|
{ XK_F7, "\033[18~" },
|
|
|
|
{ XK_F8, "\033[19~" },
|
|
|
|
{ XK_F9, "\033[20~" },
|
|
|
|
{ XK_F10, "\033[21~" },
|
|
|
|
{ XK_F11, "\033[23~" },
|
|
|
|
{ XK_F12, "\033[24~" },
|
2009-06-15 20:33:38 -04:00
|
|
|
};
|
2010-02-03 10:18:04 -05:00
|
|
|
|
2010-09-02 16:35:55 -04:00
|
|
|
/* Line drawing characters (sometime specific to each font...) */
|
2010-02-03 10:18:04 -05:00
|
|
|
static char gfx[] = {
|
2010-08-31 18:30:39 -04:00
|
|
|
['f'] = 'o',
|
|
|
|
['g'] = '+',
|
2010-02-03 10:18:04 -05:00
|
|
|
['i'] = '#',
|
2010-02-08 17:16:55 -05:00
|
|
|
[255] = 0,
|
2010-02-03 10:18:04 -05:00
|
|
|
};
|