73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
-
+
|
static void gui_update_stats(char *name, unsigned long size, int percentage, time_t elapsed);
/*
* These functions are needed to link with other modules, but
* (should) never get called.
*/
void begin_session(void) { }
void write_clip (void *data, int len) { }
void write_clip (void *data, int len, int must_deselect) { }
void term_deselect(void) { }
/* GUI Adaptation - Sept 2000 */
static void send_msg(HWND h, UINT message, WPARAM wParam)
{
while (!PostMessage( h, message, wParam, 0))
SleepEx(1000,TRUE);
|