Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "StatET/Advanced Configuration"
(→RMI (for RJ R connection)) |
(→R-Help) |
||
Line 44: | Line 44: | ||
! Version | ! Version | ||
|- | |- | ||
− | | <code>org.eclipse.statet | + | | <code>org.eclipse.statet.rhelp.PkgsToExclude.names</code> |
| packages to exclude from help | | packages to exclude from help | ||
| comma separated list of package names | | comma separated list of package names | ||
| <code></code> | | <code></code> | ||
− | | 4. | + | | 4.3 - |
|} | |} | ||
[[Category:StatET]] | [[Category:StatET]] |
Revision as of 11:34, 25 January 2021
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 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.rhelp.PkgsToExclude.names
|
packages to exclude from help | comma separated list of package names |
|
4.3 - |