Andrew's git
/
gitweb.git
/ blobdiff
summary
|
log
|
commit
|
diff
|
tree
commit
grep
author
committer
pickaxe
?
re
git-gui: Use arrow cursor rather than left_ptr.
[gitweb.git]
/
git-gui
diff --git
a/git-gui
b/git-gui
index 73227d594af3c1ecc2fb3c58eb9c67b30865dfc2..29877e4150146fc73160e9e97d9fa8f46cd47f39 100755
(executable)
--- a/
git-gui
+++ b/
git-gui
@@
-1658,7
+1658,7
@@
proc unclick {w x y} {
##
## ui init
-set cursor_ptr
left_ptr
+set cursor_ptr
arrow
font create font_diff -family Courier -size 10
font create font_ui
catch {