关于配置文件选项 {UI+$/v#
为配置文件输入所需的设置,可以预设环境选项和其它全局设置。要设置配置文件选项,使用“选项”对话框(“实用工具”>“选项”)。 Z"xvh81P
本帮助模块含有一个按字母顺序显示每一选项或相关选项组的配置选项列表: reu*53r]
•配置选项名称。 UcHJR"M~c
•相关变量或值。选项的缺省值显示为斜体。 -l*|M(N\
•简单说明。 i>`%TW:g
accuracy_lower_bound 数值(在1.0e-6和1.0e-4之间) rpha!h>w1%
输入一个精确值来覆盖缺省下限0.0001。上限固定为0.01 AO4U}?
add_java_class_path <搜索路径> k(nW#*N_
Tx# Mn~xD
GR_-9}jQP
详细内容见附件.