📄 history.html
字号:
<HTML><HEAD> <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1"> <META NAME="Author" CONTENT="Scarlett Hao"> <META NAME="GENERATOR" CONTENT="Mozilla/4.02 [en] (X11; U; SunOS 5.7 sun4u) [Netscape]"> <TITLE>introducing toolkit</TITLE></HEAD><BODY BGCOLOR="#FFFFFF"><B><FONT COLOR="#3333FF">ToolKit Project Management</FONT></B><BR><IMG SRC="rainbow.gif" HEIGHT=5 WIDTH=576><BR><B><FONT COLOR="#3366FF"><FONT SIZE=+1>Project history</FONT></FONT></B><DIV CLASS="Paragraph"><P>Under the popup menu of menu item <B>Project </B>, there is a list<BR>of latest opened project files. You can open the file you have<BR>just used very conveniently there.<P>To manully add or remove project files in the history, just edit the <BR>".toolkit/toolkit.INI" at user home directory. In general, the history <BR>stores at most 10 project files that have been opened recently. </DIV> </BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -