view src/gui_gtk_res.xml @ 15085:1783c0b6bc2e v8.1.0553

patch 8.1.0553: it is not easy to edit a script that was sourced commit https://github.com/vim/vim/commit/07dc18ffa4e7ed202f219fe2fd3d6f58246f71f9 Author: Bram Moolenaar <Bram@vim.org> Date: Fri Nov 30 22:48:32 2018 +0100 patch 8.1.0553: it is not easy to edit a script that was sourced Problem: It is not easy to edit a script that was sourced. Solution: Add a count to ":scriptnames", so that ":script 40" edits the script with script ID 40.
author Bram Moolenaar <Bram@vim.org>
date Fri, 30 Nov 2018 23:00:06 +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>