| # check for updates on startup | |
| org.eclipse.equinox.p2.ui.sdk.scheduler/enabled=true | |
| org.eclipse.equinox.p2.ui.sdk.scheduler/schedule=on-startup | |
| org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = true | |
| org.eclipse.ui/defaultPerspectiveId = org.eclipse.rmf.pror.ProrPerspective |