On Sun, Nov 05, 2006 at 05:12:24PM +0100, Michael Gerz wrote:
> 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.
Yep, these should not be translated.
> 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 they are not standard. I think Georg added them such that
they can nevertheless be used (without GUI support) if you use the
right packages.
--
Enrico
