version 1.456.2.5, 2020/09/10 00:33:39
|
version 1.456.2.7, 2024/07/03 22:44:22
|
Line 99 sub start_m {
|
Line 99 sub start_m {
|
# it will fail with tth. This is worth a warning. |
# it will fail with tth. This is worth a warning. |
# (even though some people might just use latex for printing) |
# (even though some people might just use latex for printing) |
&Apache::lonxml::warning(&mt('Missing $ in [_1].','<m>')); |
&Apache::lonxml::warning(&mt('Missing $ in [_1].','<m>')); |
|
} elsif (($env{'browser.type'} eq 'safari') && ($env{'form.editxmltext'}) && |
|
(($env{'form.problemmode'} eq 'view') || ($env{'form.problemmode'} eq 'discard'))) { |
|
my $delimiter; |
|
if ($inside =~ /\$$/) { |
|
$delimiter = '$'; |
|
} elsif ($inside =~ /\\([)\]])$/) { |
|
$delimiter = $1; |
|
} |
|
if ($delimiter) { |
|
&Apache::lonxml::warning(&mt('Insert a space between [_1] and [_2].', |
|
$delimiter,'</m>')); |
|
} |
} |
} |
my $eval=&Apache::lonxml::get_param('eval',$parstack,$safeeval); |
my $eval=&Apache::lonxml::get_param('eval',$parstack,$safeeval); |
if ($eval eq 'on') { |
if ($eval eq 'on') { |
Line 3255 sub end_externallink {
|
Line 3267 sub end_externallink {
|
return $currentstring; |
return $currentstring; |
} |
} |
|
|
#-- <blankspace heigth=""> |
#-- <blankspace height=""> |
sub start_blankspace { |
sub start_blankspace { |
my ($target,$token,$tagstack,$parstack,$parser,$safeeval) = @_; |
my ($target,$token,$tagstack,$parstack,$parser,$safeeval) = @_; |
my $currentstring = &end_p(); # closes off any unclosed <p> |
my $currentstring = &end_p(); # closes off any unclosed <p> |
if ($target eq 'tex') { |
if ($target eq 'tex') { |
my $howmuch = &Apache::lonxml::get_param('heigth',$parstack,$safeeval,undef,1); |
my $howmuch = &Apache::lonxml::get_param('height',$parstack,$safeeval,undef,1); |
$currentstring .= '\vskip '.$howmuch.' '; |
$currentstring .= '\vskip '.$howmuch.' '; |
} |
} |
return $currentstring; |
return $currentstring; |
Line 4266 sub resize_image {
|
Line 4278 sub resize_image {
|
$height_param=$TeXwidth/$old_width_param*$height_param; |
$height_param=$TeXwidth/$old_width_param*$height_param; |
} |
} |
} elsif ($TeXheight) { |
} elsif ($TeXheight) { |
$height_param = $TeXheight; |
|
if ($height_param) { |
if ($height_param) { |
$width_param = $TeXheight/$height_param*$width_param; |
$width_param = $TeXheight/$height_param*$width_param; |
} |
} |
|
$height_param = $TeXheight; |
} elsif ($width) { |
} elsif ($width) { |
my $old_width_param=$width_param; |
my $old_width_param=$width_param; |
$width_param = $width*$scaling; |
$width_param = $width*$scaling; |