Hi,
I am going to commit the following patch:
Index: frontends/qt4/QDelimiterDialog.C
===================================================================
--- frontends/qt4/QDelimiterDialog.C (Revision 15750)
+++ frontends/qt4/QDelimiterDialog.C (Arbeitskopie)
@@ -45,8 +45,8 @@
char const * const bigright[] = {"bigr", "Bigr", "biggr", "Biggr", ""};
-char const * const biggui[] = {N_("big size"), N_("Big size"),
- N_("bigg size"), N_("Bigg size"), ""};
+char const * const biggui[] = {N_("big[[delimiter size]]"),
N_("Big[[delimiter size]]"),
+ N_("bigg[[delimiter size]]"), N_("Bigg[[delimiter size]]"), ""};
[[...]] avoids a gettext merge of "big" with "big" in some other
contexts. Translators will ignore it.
To my surprise, I stumble over this code:
InsetMathBig::size_type InsetMathBig::size() const
{
// order: big Big bigg Bigg biggg Biggg
// 0 1 2 3 4 5
Why is biggg/Biggg not used in the frontend?
Michael
