version 1.73, 2002/07/12 16:37:38
|
version 1.75, 2002/07/23 19:15:08
|
Line 837 EDITBUTTON
|
Line 837 EDITBUTTON
|
} |
} |
#-- <br> tag |
#-- <br> tag |
sub start_br { |
sub start_br { |
my ($target,$token) = @_; |
my ($target,$token,$tagstack,$parstack,$parser,$safeeval)=@_; |
my $currentstring = ''; |
my $currentstring = ''; |
if ($target eq 'web') { |
if ($target eq 'web') { |
$currentstring .= $token->[4]; |
$currentstring .= $token->[4]; |
} elsif ($target eq 'tex') { |
} elsif ($target eq 'tex') { |
$currentstring .= '\vskip 0 mm'; |
my @temp = @$tagstack; |
|
if ($temp[-2] ne 'sub' && $temp[-2] ne 'sup') { |
|
$currentstring .= '\vskip 0 mm'; |
|
} |
} elsif ($target eq 'latexsource') { |
} elsif ($target eq 'latexsource') { |
$currentstring .= '\\'; |
$currentstring .= '\\'; |
} |
} |
Line 1035 EDITBUTTON
|
Line 1038 EDITBUTTON
|
if ($target eq 'web') { |
if ($target eq 'web') { |
$currentstring .= $token->[4]; |
$currentstring .= $token->[4]; |
} elsif ($target eq 'tex') { |
} elsif ($target eq 'tex') { |
$currentstring .= "\\hline "; |
$currentstring .= '\vskip 0 mm \noindent\makebox[\textwidth - 8 mm][b]{\hrulefill}'; |
} |
} |
return $currentstring; |
return $currentstring; |
} |
} |