diff options
Diffstat (limited to 'src/proto/gui_w32.pro')
| -rw-r--r-- | src/proto/gui_w32.pro | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proto/gui_w32.pro b/src/proto/gui_w32.pro index c8411f96cf..e35373c609 100644 --- a/src/proto/gui_w32.pro +++ b/src/proto/gui_w32.pro @@ -1,6 +1,7 @@ /* gui_w32.c */ int directx_enabled(void); int gui_mch_set_rendering_options(char_u *s); +int gui_mch_is_blinking(void); void gui_mch_set_blinking(long wait, long on, long off); void gui_mch_stop_blink(void); void gui_mch_start_blink(void); |