01_user_documentation:03_interacting_with_groimp:03_configuring:03_options:03_all:de.grogra.rgg
RGG
| Path | Type | Default value | Description |
|---|---|---|---|
| /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 |
01_user_documentation/03_interacting_with_groimp/03_configuring/03_options/03_all/de.grogra.rgg.txt · Last modified: 2025/12/10 17:04 by 127.0.0.1