if ($_[1] eq "systemF") {
$useNonTexFont = "true";
}
+ elsif ($_[1] eq "dontChange") {
+ $useNonTexFont = "dontChange";
+ }
else {
$useNonTexFont = "false";
$inputEncoding = $_[2];
push(@rElems, $elem, $elem1, $elem2);
}
}
- my $elemntf = newMatch("search" => qr/^\\use_non_tex_fonts\s+(false|true)/,
- "filetype" => "replace_only",
- "result" => ["\\use_non_tex_fonts $useNonTexFont"]);
- push(@rElems, $elemntf);
+ if ($useNonTexFont ne "dontChange") {
+ my $elemntf = newMatch("search" => qr/^\\use_non_tex_fonts\s+(false|true)/,
+ "filetype" => "replace_only",
+ "result" => ["\\use_non_tex_fonts $useNonTexFont"]);
+ push(@rElems, $elemntf);
+ }
if (defined($inputEncoding)) {
my $inputenc = newMatch("search" => qr/^\\inputencoding\s+($inputEncoding->{search})/,
"filetype" => "replace_only",