diff options
Diffstat (limited to 'ui/gtk/gui_utils.c')
| -rw-r--r-- | ui/gtk/gui_utils.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ui/gtk/gui_utils.c b/ui/gtk/gui_utils.c index 761e1d8034..1e4ad67f09 100644 --- a/ui/gtk/gui_utils.c +++ b/ui/gtk/gui_utils.c @@ -580,7 +580,7 @@ main_window_quit(void) typedef struct pipe_input_tag { gint source; gpointer user_data; - intptr_t *child_process; + ws_process_id *child_process; pipe_input_cb_t input_cb; guint pipe_input_id; #ifdef _WIN32 @@ -693,7 +693,7 @@ pipe_input_cb(GIOChannel *source _U_, void pipe_input_set_handler(gint source, gpointer user_data, - intptr_t *child_process, + ws_process_id *child_process, pipe_input_cb_t input_cb) { static pipe_input_t pipe_input; |