version 1.136, 2003/05/29 18:11:00
|
version 1.140, 2003/06/19 15:30:58
|
Line 158 sub start_html {
|
Line 158 sub start_html {
|
} elsif ($target eq 'tex') { |
} elsif ($target eq 'tex') { |
@Apache::londefdef::table = (); |
@Apache::londefdef::table = (); |
$currentstring .= '\documentclass[letterpaper]{article} |
$currentstring .= '\documentclass[letterpaper]{article} |
|
\batchmode |
\newcommand{\keephidden}[1]{} |
\newcommand{\keephidden}[1]{} |
\renewcommand{\deg}{$^{\circ}$} |
\renewcommand{\deg}{$^{\circ}$} |
\usepackage{textcomp} |
\usepackage{textcomp} |
Line 1137 sub start_big {
|
Line 1138 sub start_big {
|
if ($target eq 'web') { |
if ($target eq 'web') { |
$currentstring .= $token->[4]; |
$currentstring .= $token->[4]; |
} elsif ($target eq 'tex') { |
} elsif ($target eq 'tex') { |
$currentstring .= '\large{'; |
$currentstring .= '{\large '; |
} elsif ($target eq 'latexsource') { |
} elsif ($target eq 'latexsource') { |
$currentstring .= '{\Large '; |
$currentstring .= '{\Large '; |
} |
} |
Line 1703 sub start_table {
|
Line 1704 sub start_table {
|
my $textwidth; |
my $textwidth; |
if (not defined @Apache::londefdef::table) { |
if (not defined @Apache::londefdef::table) { |
$textwidth=&recalc($ENV{'form.textwidth'}); |
$textwidth=&recalc($ENV{'form.textwidth'}); |
$textwidth=~/(\d+)/; |
$textwidth=~/(\d+\.?\d*)/; |
$textwidth=$1; |
$textwidth=0.95*$1; |
} else { |
} else { |
$textwidth=&Apache::lonxml::get_param('TeXwidth',$parstack,$safeeval,undef,0); |
$textwidth=&Apache::lonxml::get_param('TeXwidth',$parstack,$safeeval,undef,0); |
} |
} |
Line 2198 sub start_allow {
|
Line 2199 sub start_allow {
|
my ($target,$token,$tagstack,$parstack,$parser,$safeeval) = @_; |
my ($target,$token,$tagstack,$parstack,$parser,$safeeval) = @_; |
my $src = &Apache::lonxml::get_param('src',$parstack,$safeeval,undef,1); |
my $src = &Apache::lonxml::get_param('src',$parstack,$safeeval,undef,1); |
$src=&Apache::lonnet::filelocation($Apache::lonxml::pwd[-1],$src); |
$src=&Apache::lonnet::filelocation($Apache::lonxml::pwd[-1],$src); |
$Apache::lonxml::extlinks[$#Apache::lonxml::extlinks+1]=$src; |
$Apache::lonxml::extlinks[$#Apache::lonxml::extlinks+1]= |
|
&Apache::lonnet::clutter($src); |
&image_replication($src); |
&image_replication($src); |
my $result; |
my $result; |
if ($target eq 'edit') { |
if ($target eq 'edit') { |