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 "Tip of the Day/Startup Options"
(→Startup Options) |
|||
Line 30: | Line 30: | ||
* "false" or not specified - Console log mode is off | * "false" or not specified - Console log mode is off | ||
* other value - Console log mode is on | * other value - Console log mode is on | ||
+ | |- | ||
+ | | tips.test | ||
+ | | Used by the examples plugin to load additional providers. | ||
+ | | | ||
+ | * any value - Additional providers will be loaded in the examples plugin to overload the provider slider | ||
|} | |} |
Revision as of 07:30, 25 May 2018
Startup Options
These are the options to control the Tips framework.
Property | Description | Values |
---|---|---|
org.eclipse.tips.startup.default | This is the default tips startup option if the user has not set the startup preference. |
|
org.eclipse.tips.statelocation | The location where the tips framework will save its state. If not specified then ${user.home}/.eclipse/org.eclipse.tips.state | a location in the filesystem e.g. /home/user/mystate |
org.eclipse.tips.debug | Puts the framework in debug mode, all messages will be placed in the error log. |
|
org.eclipse.tips.consolelog | Prints all messages in the console |
|
tips.test | Used by the examples plugin to load additional providers. |
|