📄 anchor.php
字号:
<?php/*** * This class renders an anchor target name in LaTeX.** $Id: Anchor.php,v 1.2 2004/09/25 19:05:13 pmjones Exp $* * @author Jeremy Cowgar <jeremy@cowgar.com>** @package Text_Wiki**/class Text_Wiki_Render_Latex_Anchor extends Text_Wiki_Render { function token($options) { extract($options); // $type, $name if ($type == 'start') { //return sprintf('<a id="%s">',$name); return ''; } if ($type == 'end') { //return '</a>'; return ''; } }}?>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -