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) |
(→Startup Options) |
||
Line 1: | Line 1: | ||
=Startup Options= | =Startup Options= | ||
These are the options to control the Tips framework. | These are the options to control the Tips framework. | ||
− | class="wikitable" {{BMTableStyle}} | + | |
− | {{BMTHStyle}} | + | {| class="wikitable" {{BMTableStyle}} |
− | + | |- {{BMTHStyle}} | |
− | + | ||
! Property | ! Property | ||
! Description | ! Description |
Revision as of 15:50, 17 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. |
|