diff options
Diffstat (limited to 'src/proto/gui_gtk_x11.pro')
-rw-r--r-- | src/proto/gui_gtk_x11.pro | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proto/gui_gtk_x11.pro b/src/proto/gui_gtk_x11.pro index 7e94b58d24..3735f8d315 100644 --- a/src/proto/gui_gtk_x11.pro +++ b/src/proto/gui_gtk_x11.pro @@ -1,6 +1,7 @@ /* gui_gtk_x11.c */ void gui_mch_prepare(int *argc, char **argv); void gui_mch_free_all(void); +int gui_mch_is_blinking(void); void gui_mch_set_blinking(long waittime, long on, long off); void gui_mch_stop_blink(void); void gui_mch_start_blink(void); |