gitk: Add mouse right-click options to copy path and branch name

This adds menu entries to two of the right-click menus:
- 'Copy path' in the file list
- 'Copy branch name' on a branch in the commit list

Signed-off-by: Michael Rappazzo <rappazzo@gmail.com>
Signed-off-by: Paul Mackerras <paulus@samba.org>

diff --git a/gitk b/gitk
index 78baeb57cde5d87a763d1408139dadf6971ea4e5..dc1af41bb7b550cd2ae5d8c5d158b9426349e0d8 100755 (executable)
--- a/gitk
+++ b/gitk
@@ -2645,6 +2645,7 @@ proc makewindow {} {
     makemenu $headctxmenu {
        {mc "Check out this branch" command cobranch}
        {mc "Remove this branch" command rmbranch}
+       {mc "Copy branch name" command {clipboard clear; clipboard append $headmenuhead}}
     }
     $headctxmenu configure -tearoff 0
 
@@ -2655,6 +2656,7 @@ proc makewindow {} {
        {mc "Highlight this only" command {flist_hl 1}}
        {mc "External diff" command {external_diff}}
        {mc "Blame parent commit" command {external_blame 1}}
+       {mc "Copy path" command {clipboard clear; clipboard append $flist_menu_file}}
     }
     $flist_menu configure -tearoff 0