📄 editoropt.html
字号:
<!doctype html public "-//w3c//dtd html 4.0 transitional//en"><html><head> <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> <meta name="GENERATOR" content="Mozilla/4.5 [en] (X11; I; SunOS 5.7 sun4u) [Netscape]"></head><body BGCOLOR="#FFFFFF"><b><font color="#3333FF">I18n Verifier, Message Tool, Translator, ResourceTool</font></b><br><img SRC="rainbow.gif" height=5 width=576><br><b><font size=+1>Editor options</font></b><p><font color="#000000">These options allow you to tune the document editor.Select</font><br><font color="#000000"><b>Font Name, Font Style, </b>or<b> Font Size</b>fromthe choice or</font><br><font color="#000000">list box, then press <b>Preview </b>to see theeffect as displayed in the</font><br><font color="#000000">editor. Check <b>Underline Detected Items </b>willdraw underlines</font><br><font color="#000000">below the processed items. Uncheck it may giveyou better</font><br><font color="#000000">performance. Likewise uncheck <b>Calculate Rowand Column</b></font><br><font color="#000000"><b>Number of Caret </b>will give you better performance.</font><br></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -