[PATCH (GIT-GUI) 0/3] Add a customizable Tools menu.

This series adds a configurable Tools menu, that can
be used to call any external commands from Git Gui.
It reduces the inconvenience of using tools like git-svn
together with GUI, by removing the need to jump between
the terminal and the GUI even for simple actions. QGit
already has a similar feature.


PATCHES:

    git-gui: Implement system-wide configuration handling.
    ---
    git-gui.sh     |   12 +++++++++---
    lib/option.tcl |   12 ++++++------
    2 files changed, 15 insertions(+), 9 deletions(-)

    git-gui: Add a Tools menu for arbitrary commands.
    ---
    git-gui.sh        |   17 ++++
    lib/tools.tcl     |  107 ++++++++++++++++++++++++
    lib/tools_dlg.tcl |  234 +++++++++++++++++++++++++++++++++++++++++++++++++++++
    3 files changed, 358 insertions(+), 0 deletions(-)
    create mode 100644 lib/tools.tcl
    create mode 100644 lib/tools_dlg.tcl

    git-gui: Allow Tools to request arguments from the user.
    ---
    lib/tools.tcl     |   13 +++-
    lib/tools_dlg.tcl |  194 +++++++++++++++++++++++++++++++++++++++++++++++++++-
    2 files changed, 202 insertions(+), 5 deletions(-)