Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
StatET/Advanced Configuration
Revision as of 09:33, 20 September 2020 by Unnamed Poltroon (Talk)
Auto Run
| Property | Description | Value | Default | Version |
|---|---|---|---|---|
org.eclipse.statet.eutils.autorun.disable
|
disable the automatic start | true/false
|
false
|
4.0 - |
RMI (for RJ R connection)
| Property | Description | Value | Default | Version |
|---|---|---|---|---|
org.eclipse.statet.jcommons.rmi.registry.TcpPort
|
tcp port for the embedded RMI registry | port number or range of possible port numbers | 51100-51199
|
4.1 - |
R-Help
| Property | Description | Value | Default | Version |
|---|---|---|---|---|
org.eclipse.statet.r.rhelp.PkgsToExclude.names
|
packages to exclude from help | comma separated list of package names | |
4.1 - |