markup in strings for translation

[Arun Persaud <apersaud lbl gov>]

Hi

I noticed that some strings for translation have markup in it, e.g.:

msgid "<big><b>Extension Manager</b></big>"

instead of

msgid "Extension Manager"

(from 
mono-addins/Mono.Addins.Gui/gtk-gui/Mono.Addins.Gui.AddinManagerDialog.cs 
 line 90)

I would be happy to change all of these in the source code and provide a 
patch, but I'm not sure what the best way of doing this is (never done 
mono before).

The above string is used like this:

Mono.Unix.Catalog.GetString("<big><b>Extension Manager</b></big>")

can you just replace this with

"<big><b>" + Mono.Unix.Catalog.GetString("Extension Manager") + "</b></big>"

or do you need something more complicated (e.g. String.Format).

cheers
	ARUN