|
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> |
![[BACK]](/icons/back.gif){kind=icon}
Return to lonprintout.pm CVS log ![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/dir.gif){kind=icon}
Up to [LON-CAPA] / loncom / interface