comparison src/proto/gui.pro @ 19824:09a621bdb0bc v8.2.0468

patch 8.2.0468: GUI: pixel dust with some fonts and characters Commit: https://github.com/vim/vim/commit/7c003aa314337ce732e18c541fa93d71cafedf03 Author: Bram Moolenaar <Bram@vim.org> Date: Sat Mar 28 20:44:41 2020 +0100 patch 8.2.0468: GUI: pixel dust with some fonts and characters Problem: GUI: pixel dust with some fonts and characters. Solution: Always redraw the character before the cursor. (Nir Lichtman, closes #5549, closes #5856)
author Bram Moolenaar <Bram@vim.org>
date Sat, 28 Mar 2020 20:45:04 +0100
parents fd95d4dbeb37
children f260c1411833
comparison
equal deleted inserted replaced
19823:fafab4bec82f 19824:09a621bdb0bc
25 void gui_disable_flush(void); 25 void gui_disable_flush(void);
26 void gui_enable_flush(void); 26 void gui_enable_flush(void);
27 void gui_may_flush(void); 27 void gui_may_flush(void);
28 void gui_undraw_cursor(void); 28 void gui_undraw_cursor(void);
29 void gui_redraw(int x, int y, int w, int h); 29 void gui_redraw(int x, int y, int w, int h);
30 int gui_redraw_block(int row1, int col1, int row2, int col2, int flags); 30 void gui_redraw_block(int row1, int col1, int row2, int col2, int flags);
31 int gui_wait_for_chars(long wtime, int tb_change_cnt); 31 int gui_wait_for_chars(long wtime, int tb_change_cnt);
32 int gui_inchar(char_u *buf, int maxlen, long wtime, int tb_change_cnt); 32 int gui_inchar(char_u *buf, int maxlen, long wtime, int tb_change_cnt);
33 void gui_send_mouse_event(int button, int x, int y, int repeated_click, int_u modifiers); 33 void gui_send_mouse_event(int button, int x, int y, int repeated_click, int_u modifiers);
34 void gui_menu_cb(vimmenu_T *menu); 34 void gui_menu_cb(vimmenu_T *menu);
35 void gui_init_which_components(char_u *oldval); 35 void gui_init_which_components(char_u *oldval);