version 1.668, 2019/01/31 16:08:07
|
version 1.669, 2019/02/17 03:42:24
|
Line 847 sub set_font_size {
|
Line 847 sub set_font_size {
|
if ($font_size ne '') { |
if ($font_size ne '') { |
|
|
$text =~ s/\\begin\{document}/\\begin{document}{\\$font_size/; |
$text =~ s/\\begin\{document}/\\begin{document}{\\$font_size/; |
|
$text =~ s/\\end\{document}/}\\end{document}/; |
|
|
} |
} |
$text =~ s/\\end\{document}/}\\end{document}/; |
|
return $text; |
return $text; |
|
|
|
|
Line 4826 CHOOSE_FROM_ANY_SEQUENCE
|
Line 4827 CHOOSE_FROM_ANY_SEQUENCE
|
my $xmlfrag = << "FONT_SELECTION"; |
my $xmlfrag = << "FONT_SELECTION"; |
|
|
|
|
<dropdown variable='fontsize' multichoice='0', allowempty='0'> |
<dropdown variable='fontsize' multichoice='0' allowempty='0'> |
<defaultvalue> |
<defaultvalue> |
return 'normalsize'; |
return 'normalsize'; |
</defaultvalue> |
</defaultvalue> |