view src/gui_gtk_res.xml @ 19601:67f39cb0a49c v8.2.0357

patch 8.2.0357: cannot delete a text property matching both id and type Commit: https://github.com/vim/vim/commit/49b79bd4888341d527c95f2aa73ed953203ce2b6 Author: Bram Moolenaar <Bram@vim.org> Date: Thu Mar 5 21:52:55 2020 +0100 patch 8.2.0357: cannot delete a text property matching both id and type Problem: Cannot delete a text property matching both id and type. (Axel Forsman) Solution: Add the "both" argument.
author Bram Moolenaar <Bram@vim.org>
date Thu, 05 Mar 2020 22:00:04 +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>