2017-01-20 00:06:39 -08:00
|
|
|
/* See LICENSE for license details. */
|
|
|
|
|
|
|
|
|
|
void draw(void);
|
|
|
|
|
void drawregion(int, int, int, int);
|
|
|
|
|
|
2017-10-10 12:01:18 -05:00
|
|
|
void xbell(void);
|
2017-01-20 00:06:39 -08:00
|
|
|
void xclipcopy(void);
|
|
|
|
|
void xhints(void);
|
|
|
|
|
void xloadcols(void);
|
|
|
|
|
int xsetcolorname(int, const char *);
|
|
|
|
|
void xsettitle(char *);
|
2017-11-06 17:57:45 -06:00
|
|
|
int xsetcursor(int);
|
2017-01-20 00:06:39 -08:00
|
|
|
void xsetpointermotion(int);
|
2017-11-06 18:25:58 -06:00
|
|
|
void xsetsel(char *);
|
