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