comparison src/proto/gui_gtk_x11.pro @ 17063:3147c7c2e86b v8.1.1531

patch 8.1.1531: clipboard type name is inconsistent commit https://github.com/vim/vim/commit/0554fa478d27c611d23a814c987eb66f9daae6f7 Author: Bram Moolenaar <Bram@vim.org> Date: Fri Jun 14 21:36:54 2019 +0200 patch 8.1.1531: clipboard type name is inconsistent Problem: Clipboard type name is inconsistent. Solution: Rename VimClipboard to Clipboard_T.
author Bram Moolenaar <Bram@vim.org>
date Fri, 14 Jun 2019 21:45:06 +0200
parents f8cd07a1cbb5
children 5ae41d0ea397
comparison
equal deleted inserted replaced
17062:ee88967a2cd5 17063:3147c7c2e86b
57 void gui_mch_flush(void); 57 void gui_mch_flush(void);
58 void gui_mch_clear_block(int row1arg, int col1arg, int row2arg, int col2arg); 58 void gui_mch_clear_block(int row1arg, int col1arg, int row2arg, int col2arg);
59 void gui_mch_clear_all(void); 59 void gui_mch_clear_all(void);
60 void gui_mch_delete_lines(int row, int num_lines); 60 void gui_mch_delete_lines(int row, int num_lines);
61 void gui_mch_insert_lines(int row, int num_lines); 61 void gui_mch_insert_lines(int row, int num_lines);
62 void clip_mch_request_selection(VimClipboard *cbd); 62 void clip_mch_request_selection(Clipboard_T *cbd);
63 void clip_mch_lose_selection(VimClipboard *cbd); 63 void clip_mch_lose_selection(Clipboard_T *cbd);
64 int clip_mch_own_selection(VimClipboard *cbd); 64 int clip_mch_own_selection(Clipboard_T *cbd);
65 void clip_mch_set_selection(VimClipboard *cbd); 65 void clip_mch_set_selection(Clipboard_T *cbd);
66 int clip_gtk_owner_exists(VimClipboard *cbd); 66 int clip_gtk_owner_exists(Clipboard_T *cbd);
67 void gui_mch_menu_grey(vimmenu_T *menu, int grey); 67 void gui_mch_menu_grey(vimmenu_T *menu, int grey);
68 void gui_mch_menu_hidden(vimmenu_T *menu, int hidden); 68 void gui_mch_menu_hidden(vimmenu_T *menu, int hidden);
69 void gui_mch_draw_menubar(void); 69 void gui_mch_draw_menubar(void);
70 void gui_mch_enable_scrollbar(scrollbar_T *sb, int flag); 70 void gui_mch_enable_scrollbar(scrollbar_T *sb, int flag);
71 guicolor_T gui_mch_get_rgb(guicolor_T pixel); 71 guicolor_T gui_mch_get_rgb(guicolor_T pixel);