📄 labels.pl
字号:
# LaTeX2HTML 2K.1beta (1.48)# Associate labels original text with physical files.$key = q/introduction/;$external_labels{$key} = "$URL/" . q|GettingStarted.html|; $noresave{$key} = "$nosave";$key = q/advanced_api/;$external_labels{$key} = "$URL/" . q|GettingStarted.html|; $noresave{$key} = "$nosave";$key = q/rtlinux_overview/;$external_labels{$key} = "$URL/" . q|GettingStarted.html|; $noresave{$key} = "$nosave";$key = q/running_rtlinux_progs/;$external_labels{$key} = "$URL/" . q|GettingStarted.html|; $noresave{$key} = "$nosave";$key = q/rtlinux_api/;$external_labels{$key} = "$URL/" . q|GettingStarted.html|; $noresave{$key} = "$nosave";$key = q/special_topics/;$external_labels{$key} = "$URL/" . q|GettingStarted.html|; $noresave{$key} = "$nosave";$key = q/rtlinux/;$external_labels{$key} = "$URL/" . q|GettingStarted.html|; $noresave{$key} = "$nosave";$key = q/linux/;$external_labels{$key} = "$URL/" . q|GettingStarted.html|; $noresave{$key} = "$nosave";$key = q/hello_world/;$external_labels{$key} = "$URL/" . q|GettingStarted.html|; $noresave{$key} = "$nosave";1;# LaTeX2HTML 2K.1beta (1.48)# labels from external_latex_labels array.$key = q/introduction/;$external_latex_labels{$key} = q|1|; $noresave{$key} = "$nosave";$key = q/advanced_api/;$external_latex_labels{$key} = q|3|; $noresave{$key} = "$nosave";$key = q/rtlinux_overview/;$external_latex_labels{$key} = q|1.3|; $noresave{$key} = "$nosave";$key = q/running_rtlinux_progs/;$external_latex_labels{$key} = q|A|; $noresave{$key} = "$nosave";$key = q/rtlinux_api/;$external_latex_labels{$key} = q|B|; $noresave{$key} = "$nosave";$key = q/special_topics/;$external_latex_labels{$key} = q|4|; $noresave{$key} = "$nosave";$key = q/rtlinux/;$external_latex_labels{$key} = q|1.2|; $noresave{$key} = "$nosave";$key = q/linux/;$external_latex_labels{$key} = q|1.1|; $noresave{$key} = "$nosave";$key = q/hello_world/;$external_latex_labels{$key} = q|2|; $noresave{$key} = "$nosave";1;
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -