Am Sonntag, 5. November 2006 17:12 schrieb Michael Gerz:
> 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.
Good. Note that the machinery that translates this stuff correctly is
disabled in src/messages.C. That should be fixed for 1.5.0. Could you
please add it to the status file while you are at 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?
Because it is only defined in one special font (I forgot which one, but
IIRC there should be a comment somehere). The other big operators are
standard AMS stuff.
Georg
