📄 dict.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">Translator</font></b><br><img SRC="rainbow.gif" height=5 width=576><br><b><font size=+1>Dictionary Menu</font></b><p><b><font color="#000000">Use Resource</font></b><p>See <a href="resdic.html">Using resources as dictionary</a>.<p><b><font color="#000000">Customize</font></b><p>See <a href="cust.html">Customizing the user dictionary</a>.<p><b>Information</b><p>See <a href="dictinfo.html">Viewing dictionary information</a>.<p><b>Refresh</b><p>Refresh will make the keys in the dictionary cache (if enabled)<br>synchronize with the matching values in dictionaries.<p><b>Pack</b><p>If the internal implementation of dictionaries need packing to<br>save the storage space, select this menu item. You can pack<br><i>System Dictionary</i> making it more compact, and save its storage<br>space, or pack <i>User Dictionary</i>making it more compact,<br>and save its storage space.<br></body></html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -