2022-11-15 10:31:15 +01:00
|
|
|
static void createpreview(Monitor *m);
|
2022-07-05 14:55:42 +02:00
|
|
|
static void hidetagpreview(Monitor *m);
|
2022-11-15 10:31:15 +01:00
|
|
|
static void showtagpreview(int tag, int x, int y);
|
2022-07-05 14:55:42 +02:00
|
|
|
static void tagpreviewswitchtag(void);
|