summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2ea2255)
raw | patch | inline | side by side (parent: 2ea2255)
author | Shawn O. Pearce <spearce@spearce.org> | |
Mon, 3 Sep 2007 04:22:19 +0000 (00:22 -0400) | ||
committer | Shawn O. Pearce <spearce@spearce.org> | |
Mon, 3 Sep 2007 04:22:19 +0000 (00:22 -0400) |
This particular message is talking about a specific option in the
configuration file named "gui.$name". This option is not localized
so we cannot localize the "gui." that denotes the section the option
$name is found within. Currently there are no plans to localize the
configuration options for git-gui, but if that were to change in the
future then it would be necessary to localize not only the "gui."
section prefix but also the $name (fontui and fontdiff).
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
configuration file named "gui.$name". This option is not localized
so we cannot localize the "gui." that denotes the section the option
$name is found within. Currently there are no plans to localize the
configuration options for git-gui, but if that were to change in the
future then it would be necessary to localize not only the "gui."
section prefix but also the $name (fontui and fontdiff).
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui.sh | patch | blob | history |
diff --git a/git-gui.sh b/git-gui.sh
index 913ba681018631b491d83b8fe9b5765f65baff8d..5635eeae360932b45bcf7fd44bad5ecbea010ef3 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
font configure $font $cn $cv
}
} err]} {
- error_popup [append [mc "Invalid font specified in gui.%s:" $name] "\n\n$err"]
+ error_popup [append [mc "Invalid font specified in %s:" "gui.$name"] "\n\n$err"]
}
foreach {cn cv} [font configure $font] {
font configure ${font}bold $cn $cv