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