|
/rgg/javaimport/useJRT
|
java.lang.Boolean
|
true
|
Load classes from the JRT
|
|
/rgg/compilation/log_short_names
|
java.lang.Boolean
|
false
|
Shorten the list of file name after compilation
|
|
/rgg/compilation/replaceOldExtentOnReset
|
java.lang.Boolean
|
false
|
Try to reload old modules on reset
|
|
/rgg/compilation/useUnstableNamingMapping
|
java.lang.Boolean
|
false
|
Use only the module name when reload (can be
inconsistent)
|
|
/rgg/toolbar/group_type
|
de.grogra.rgg.RGG.GROUP_TYPE
|
0
|
Type of grouping
|
|
/rgg/toolbar/numberToGroup
|
java.lang.Integer
|
3
|
Number to grouping
|
|
/rgg/toolbar/useRunCheckBox
|
java.lang.Boolean
|
true
|
Run checkbox
|
|
/export/obj/checkIfAreaToSmall
|
java.lang.Boolean
|
true
|
|
|
/export/obj/areaMinSize
|
java.lang.Double
|
0.0000001
|
|
|
/export/ply/checkIfAreaToSmall
|
java.lang.Boolean
|
true
|
|
|
/export/ply/areaMinSize
|
java.lang.Double
|
0.0000001
|
|