diff options
| author | Bram Moolenaar <Bram@vim.org> | 2020-03-28 20:44:41 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2020-03-28 20:44:41 +0100 |
| commit | 7c003aa314337ce732e18c541fa93d71cafedf03 (patch) | |
| tree | c7e2f687fd9daf56fdb2e42493a7dc6b8e00b3b5 /src/proto/gui.pro | |
| parent | 33fa29cf74ea314f89cfa58ec9ffc2d6781a59d4 (diff) | |
| download | vim-git-7c003aa314337ce732e18c541fa93d71cafedf03.tar.gz | |
patch 8.2.0468: GUI: pixel dust with some fonts and charactersv8.2.0468
Problem: GUI: pixel dust with some fonts and characters.
Solution: Always redraw the character before the cursor. (Nir Lichtman,
closes #5549, closes #5856)
Diffstat (limited to 'src/proto/gui.pro')
| -rw-r--r-- | src/proto/gui.pro | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proto/gui.pro b/src/proto/gui.pro index 7f2ce9006..51bddf90e 100644 --- a/src/proto/gui.pro +++ b/src/proto/gui.pro @@ -27,7 +27,7 @@ void gui_enable_flush(void); void gui_may_flush(void); void gui_undraw_cursor(void); void gui_redraw(int x, int y, int w, int h); -int gui_redraw_block(int row1, int col1, int row2, int col2, int flags); +void gui_redraw_block(int row1, int col1, int row2, int col2, int flags); int gui_wait_for_chars(long wtime, int tb_change_cnt); int gui_inchar(char_u *buf, int maxlen, long wtime, int tb_change_cnt); void gui_send_mouse_event(int button, int x, int y, int repeated_click, int_u modifiers); |