view src/gui_gtk_res.xml @ 11002:35d4975a5bb5 v8.0.0390

patch 8.0.0390: when the window scrolls the popup menu may be garbled commit https://github.com/vim/vim/commit/cb03642399ae4f3c47a006f608a6b912f9d98b5f Author: Bram Moolenaar <Bram@vim.org> Date: Wed Mar 1 12:29:10 2017 +0100 patch 8.0.0390: when the window scrolls the popup menu may be garbled Problem: When the window scrolls horizontally when the popup menu is displayed part of it may not be cleared. (Neovim issue https://github.com/vim/vim/issues/6184) Solution: Remove the menu when the windows scrolled. (closes #1524)
author Christian Brabandt <cb@256bit.org>
date Wed, 01 Mar 2017 12:30:03 +0100
parents e2fe7a67b3a4
children
line wrap: on
line source

<?xml version="1.0" encoding="UTF-8"?>
<gresources>
    <gresource prefix="/org/vim/gui/icon">
        <file>stock_vim_build_tags.png</file>
        <file>stock_vim_find_help.png</file>
        <file>stock_vim_save_all.png</file>
        <file>stock_vim_session_load.png</file>
        <file>stock_vim_session_new.png</file>
        <file>stock_vim_session_save.png</file>
        <file>stock_vim_shell.png</file>
        <file>stock_vim_window_maximize.png</file>
        <file>stock_vim_window_maximize_width.png</file>
        <file>stock_vim_window_minimize.png</file>
        <file>stock_vim_window_minimize_width.png</file>
        <file>stock_vim_window_split.png</file>
        <file>stock_vim_window_split_vertical.png</file>
    </gresource>
</gresources>