blob: c725dfda7ba41e35af5f33d8a82191118cd47e54 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
#include <gtk/gtk.h>
typedef long CleanInt;
void *safe_malloc(size_t n) {
void *ptr=malloc (n);
if (ptr==NULL)
perror ("malloc");
return ptr;
}
struct clean_g_signal {
GtkWidget *target;
CleanInt id;
struct clean_g_signal *next;
};
static struct clean_g_signal *signal_queue=NULL;
static struct clean_g_signal *last_signal=NULL;
static struct clean_g_signal *clean_g_signal_push (void) {
struct clean_g_signal *signal=safe_malloc (sizeof(struct clean_g_signal));
if (last_signal!=NULL)
last_signal->next=signal;
else if (signal_queue==NULL)
signal_queue=signal;
last_signal=signal;
return signal;
}
struct clean_g_signal *clean_g_signal_pop (void) {
struct clean_g_signal *signal=signal_queue;
if (signal_queue==NULL)
last_signal=NULL;
signal_queue=NULL;
return signal;
}
static void clean_g_signal_handler_void (GtkWidget *target,gpointer data) {
struct clean_g_signal *signal=clean_g_signal_push();
signal->target=target;
signal->id=(CleanInt)data;
}
void clean_g_signal_connect_void (GtkWidget *widget,char *signal,CleanInt id) {
g_signal_connect (widget,signal,G_CALLBACK (clean_g_signal_handler_void),(gpointer)id);
}
|