📄 listing7-04_build.xml_loadingproperties
字号:
<!-- Loading Ant properties is a handy way to make your script flexible
when several members of your team are using it.
In the following example the file ${user-name}-build.properties
is loaded. When your user name is "robot" then robot-build.properties
are loaded.
-->
<project name="example" default="showpaths">
<property file="${user.name}-build.properties" />
<property name="wtk.home" location="C:\WTK22" />
<property name="polish.home" location="C:\programs\J2ME-Polish" />
<target name="showpaths">
<echo message="wtk.home=${wtk.home}" />
<echo message="polish.home=${polish.home}" />
</target>
</project>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -