From: Michele Ballabio <barra_cuda@katamail.com>
Date: Sun, 2 Sep 2007 12:43:00 +0000 (+0200)
Subject: git-gui: remove dots in some UI strings
X-Git-Tag: gitgui-0.9.0~84
X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=commitdiff_plain;h=74e528bf44e715774e3a8e0003a6b2b250f4f0b9;hp=87b63de49c04c3e78d37c68b72a6bcbc86724760;p=git.git

git-gui: remove dots in some UI strings

Dots in a UI string usually mean that a dialog box will
appear waiting for further input. So this patch removes
unneeded dots for actions that do not require user's
input.

Signed-off-by: Michele Ballabio <barra_cuda@katamail.com>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
---

diff --git a/lib/remote.tcl b/lib/remote.tcl
index 62bfe8f74..aba6eb834 100644
--- a/lib/remote.tcl
+++ b/lib/remote.tcl
@@ -159,7 +159,7 @@ proc populate_fetch_menu {} {
 		if {$enable} {
 			lappend prune_list $r
 			$m add command \
-				-label [mc "Fetch from %s..." $r] \
+				-label [mc "Fetch from %s" $r] \
 				-command [list fetch_from $r]
 		}
 	}
@@ -169,7 +169,7 @@ proc populate_fetch_menu {} {
 	}
 	foreach r $prune_list {
 		$m add command \
-			-label [mc "Prune from %s..." $r] \
+			-label [mc "Prune from %s" $r] \
 			-command [list prune_from $r]
 	}
 }
@@ -203,7 +203,7 @@ proc populate_push_menu {} {
 				$m add separator
 			}
 			$m add command \
-				-label [mc "Push to %s..." $r] \
+				-label [mc "Push to %s" $r] \
 				-command [list push_to $r]
 			incr fast_count
 		}