aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorShawn O. Pearce <spearce@spearce.org>2010-01-25 07:33:41 -0800
committerShawn O. Pearce <spearce@spearce.org>2010-01-25 07:33:41 -0800
commit73b3446b829347ed729a8f02002c17bc638d574b (patch)
tree472453a543e57228b19ebfc4cc5a6089715f5d82
parent0602de48f74ca0d55db93ce6cdabb1576e41605a (diff)
downloadgit-73b3446b829347ed729a8f02002c17bc638d574b.tar.gz
git-73b3446b829347ed729a8f02002c17bc638d574b.tar.xz
git-gui: Remove unused icon file_parttick
This icon hasn't been used in git gui. I think it dates back to the original set of icons I took from Paul Mackerras' prototype that I turned into git gui. Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
-rwxr-xr-xgit-gui.sh9
1 files changed, 0 insertions, 9 deletions
diff --git a/git-gui.sh b/git-gui.sh
index aafb732c4..6f47624b2 100755
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -1855,15 +1855,6 @@ static unsigned char file_fulltick_bits[] = {
0x62, 0x10, 0x02, 0x10, 0xfe, 0x1f};
} -maskdata $filemask
-image create bitmap file_parttick -background white -foreground "#005050" -data {
-#define parttick_width 14
-#define parttick_height 15
-static unsigned char parttick_bits[] = {
- 0xfe, 0x01, 0x02, 0x03, 0x7a, 0x05, 0x02, 0x09, 0x7a, 0x1f, 0x02, 0x10,
- 0x7a, 0x14, 0x02, 0x16, 0x02, 0x13, 0x8a, 0x11, 0xda, 0x10, 0x72, 0x10,
- 0x22, 0x10, 0x02, 0x10, 0xfe, 0x1f};
-} -maskdata $filemask
-
image create bitmap file_question -background white -foreground black -data {
#define file_question_width 14
#define file_question_height 15