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>
This commit is contained in:
Michele Ballabio 2007-09-02 14:43:00 +02:00 committed by Shawn O. Pearce
parent 87b63de49c
commit 74e528bf44

View File

@ -159,7 +159,7 @@ proc populate_fetch_menu {} {
if {$enable} { if {$enable} {
lappend prune_list $r lappend prune_list $r
$m add command \ $m add command \
-label [mc "Fetch from %s..." $r] \ -label [mc "Fetch from %s" $r] \
-command [list fetch_from $r] -command [list fetch_from $r]
} }
} }
@ -169,7 +169,7 @@ proc populate_fetch_menu {} {
} }
foreach r $prune_list { foreach r $prune_list {
$m add command \ $m add command \
-label [mc "Prune from %s..." $r] \ -label [mc "Prune from %s" $r] \
-command [list prune_from $r] -command [list prune_from $r]
} }
} }
@ -203,7 +203,7 @@ proc populate_push_menu {} {
$m add separator $m add separator
} }
$m add command \ $m add command \
-label [mc "Push to %s..." $r] \ -label [mc "Push to %s" $r] \
-command [list push_to $r] -command [list push_to $r]
incr fast_count incr fast_count
} }