2007-09-01 03:38:43 +04:00
|
|
|
<?php
|
|
|
|
|
|
|
|
class Text_Wiki_Render_Latex_Heading extends Text_Wiki_Render {
|
|
|
|
|
|
|
|
function token($options)
|
|
|
|
{
|
2007-09-24 01:38:11 +04:00
|
|
|
static $label = array();
|
|
|
|
|
2007-09-01 03:38:43 +04:00
|
|
|
// get nice variable names (type, level)
|
|
|
|
extract($options);
|
|
|
|
|
|
|
|
if ($type == 'start') {
|
2007-09-24 01:38:11 +04:00
|
|
|
|
|
|
|
while (count($label) >= $level) {
|
|
|
|
array_pop($label);
|
|
|
|
}
|
|
|
|
$label[] = Sensei_Doc_Section::convertNameToPath($text);
|
|
|
|
|
|
|
|
switch ($level) {
|
2007-09-01 03:38:43 +04:00
|
|
|
case '1':
|
|
|
|
return '\chapter{';
|
|
|
|
case '2':
|
|
|
|
return '\section{';
|
|
|
|
case '3':
|
|
|
|
return '\subsection{';
|
|
|
|
case '4':
|
|
|
|
return '\subsubsection{';
|
|
|
|
case '5':
|
|
|
|
return '\paragraph{';
|
|
|
|
case '6':
|
|
|
|
return '\subparagraph{';
|
2007-09-24 01:38:11 +04:00
|
|
|
}
|
2007-09-01 03:38:43 +04:00
|
|
|
}
|
|
|
|
|
2007-09-24 01:38:11 +04:00
|
|
|
|
2007-09-01 03:38:43 +04:00
|
|
|
if ($type == 'end') {
|
2007-09-24 01:38:11 +04:00
|
|
|
return "}\n\label{" . implode(':', $label) . "}\n";
|
2007-09-01 03:38:43 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2007-09-24 01:38:11 +04:00
|
|
|
?>
|