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