📄 heading.php
字号:
<?phpclass Text_Wiki_Render_Latex_Heading extends Text_Wiki_Render { function token($options) { // get nice variable names (type, level) extract($options); if ($type == 'start') { switch ($level) { case '1': return '\part{'; case '2': return '\section{'; case '3': return '\subsection{'; case '4': return '\subsubsection{'; case '5': return '\paragraph{'; case '6': return '\subparagraph{'; } } if ($type == 'end') { return "}\n"; } }}?>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -