[gedit] external tools: fix capitalization in label
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] external tools: fix capitalization in label
- Date: Tue, 23 Apr 2013 12:18:25 +0000 (UTC)
commit b024aaf253d16c2c389a3e9ec5ea63abeb699b89
Author: Ignacio Casal Quinteiro <icq gnome org>
Date: Tue Apr 23 14:17:24 2013 +0200
external tools: fix capitalization in label
https://bugzilla.gnome.org/show_bug.cgi?id=698574
plugins/externaltools/tools/tools.ui | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui
index f9d40f4..fd1ab56 100644
--- a/plugins/externaltools/tools/tools.ui
+++ b/plugins/externaltools/tools/tools.ui
@@ -585,7 +585,7 @@
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="xalign">0</property>
- <property name="label" translatable="yes">Shortcut _Key:</property>
+ <property name="label" translatable="yes">Shortcut _key:</property>
<property name="use_underline">True</property>
<property name="mnemonic_widget">accelerator</property>
</object>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]