📄 labels.pl
字号:
# LaTeX2HTML 98.1p1 release (March 2nd, 1998)# Associate labels original text with physical files.$key = q/pausingBox/;$external_labels{$key} = "$URL/" . q|node8.html|; $noresave{$key} = "$nosave";$key = q/WindowsMenu/;$external_labels{$key} = "$URL/" . q|node23.html|; $noresave{$key} = "$nosave";$key = q/continueButton/;$external_labels{$key} = "$URL/" . q|node8.html|; $noresave{$key} = "$nosave";$key = q/OptionsMenu/;$external_labels{$key} = "$URL/" . q|node16.html|; $noresave{$key} = "$nosave";$key = q/MenuBar/;$external_labels{$key} = "$URL/" . q|node9.html|; $noresave{$key} = "$nosave";$key = q/fontsize/;$external_labels{$key} = "$URL/" . q|node8.html|; $noresave{$key} = "$nosave";$key = q/Toolbar/;$external_labels{$key} = "$URL/" . q|node8.html|; $noresave{$key} = "$nosave";$key = q/GraphicsPane/;$external_labels{$key} = "$URL/" . q|node5.html|; $noresave{$key} = "$nosave";$key = q/SourcePane/;$external_labels{$key} = "$URL/" . q|node6.html|; $noresave{$key} = "$nosave";$key = q/FileMenu/;$external_labels{$key} = "$URL/" . q|node10.html|; $noresave{$key} = "$nosave";$key = q/widetall/;$external_labels{$key} = "$URL/" . q|node24.html|; $noresave{$key} = "$nosave";$key = q/Panes/;$external_labels{$key} = "$URL/" . q|node4.html|; $noresave{$key} = "$nosave";$key = q/autoArrange/;$external_labels{$key} = "$URL/" . q|node8.html|; $noresave{$key} = "$nosave";$key = q/Arranging/;$external_labels{$key} = "$URL/" . q|node21.html|; $noresave{$key} = "$nosave";$key = q/speedBox/;$external_labels{$key} = "$URL/" . q|node19.html|; $noresave{$key} = "$nosave";$key = q/AlgorithmMenu/;$external_labels{$key} = "$URL/" . q|node13.html|; $noresave{$key} = "$nosave";$key = q/arrangeButton/;$external_labels{$key} = "$URL/" . q|node8.html|; $noresave{$key} = "$nosave";$key = q/IOPane/;$external_labels{$key} = "$URL/" . q|node7.html|; $noresave{$key} = "$nosave";$key = q/HelpMenu/;$external_labels{$key} = "$URL/" . q|node27.html|; $noresave{$key} = "$nosave";1;
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -