don't use <font face> if not requested
git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/branches/WX_2_4_BRANCH@17582 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
@@ -585,13 +585,16 @@ char *ParseColourString(char *bkStr, bool *isPicture)
|
||||
|
||||
void OutputFont(void)
|
||||
{
|
||||
// Output <FONT FACE=...>
|
||||
TexOutput("<FONT FACE=\"");
|
||||
// Only output <font face> if explicitly requested by htmlFaceName= directive in
|
||||
// tex2rtf.ini. Otherwise do NOT set the font because we want to use browser's
|
||||
// default font:
|
||||
if (htmlFaceName)
|
||||
TexOutput(htmlFaceName);
|
||||
else
|
||||
TexOutput("Times New Roman");
|
||||
TexOutput("\">\n");
|
||||
{
|
||||
// Output <FONT FACE=...>
|
||||
TexOutput("<FONT FACE=\"");
|
||||
TexOutput(htmlFaceName);
|
||||
TexOutput("\">\n");
|
||||
}
|
||||
}
|
||||
|
||||
// Output start of <BODY> block
|
||||
|
Reference in New Issue
Block a user