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"
(Created page with "=Startup Options= These are the options to control the Tips framework. {|{{BMTableStyle}} |-{{BMTHStyle}} ! Property ! Description ! Values |- | org.eclipse.tips.startup.defa...") |
(→Startup Options) |
||
Line 2: | Line 2: | ||
These are the options to control the Tips framework. | These are the options to control the Tips framework. | ||
− | {|{{BMTableStyle}} | + | {| class="wikitable" {{BMTableStyle}} |
|-{{BMTHStyle}} | |-{{BMTHStyle}} | ||
! Property | ! Property |
Revision as of 15:48, 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. |
|