version 1.627.2.26, 2019/02/06 01:10:09
|
version 1.627.2.27, 2019/02/21 20:40:12
|
Line 848 sub set_font_size {
|
Line 848 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 4808 CHOOSE_FROM_ANY_SEQUENCE
|
Line 4808 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> |