📄 editprj.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 [zh] (X11; I; SunOS 5.7 sun4u) [Netscape]"></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="#3333FF"><font size=+1>Configurating a project</font></font></b><p>To change the properties of the being opened project file,<ol><li>Choose <b>Project->Configurate</b>.</li><li>Edit the project working directory in the <b>Project working</b><br><b>directory</b> text field. The working directory is used as the root<br>directory of all files included in the project.</li><li>Edit the project output directory in the<b> Project output</b><br><b>directory</b> text field. This output directory is used as the<br>default directory for exporting resource bundles or java<br>files.</li><li>Press <b>OK</b> to validate the changes.</li></ol></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -