Skip to main content

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.

Jump to: navigation, search

Corona Preferences Page

Corona Home Wiki Home User Guide

The corona preferences page is used to configure corona specific options.


How to open corona preferences page

To open preferences page do fallowing:

  1. Select from menu: Window > Preferences...
  2. Select "Corona" from preferences list

Corona preferences.JPG

Available preferences

Configuration directory

You can change corona configuration directory within Configuration directory preference page.
Corona dir preferences.JPG
You can do it in following ways:

  • Typing new configuration directory in directory edit field.
  • Clicking Browse... button and selecting desired directory from standard eclipse directory browser.


Please note that selected directory must exist, otherwise Apply and OK buttons will be dimmed.

After changing configuration directory location you will be warn by a following dialog box:

Corona preferences configuration change warn.JPG

Please note that after pressing OK button all opened corona projects and views will be closed.

Server settings

You can change corona server within Server settings preference page.
Corona server preferences.JPG

After changing configuration directory location you will be warn by a following dialog box:

Corona preferences configuration change warn.JPG

Please note that after pressing OK button all opened corona projects and views will be closed.

If connection to corona server fails, you will be informed by following error message:
Corona server error preferences.JPG

Copyright © Eclipse Foundation, Inc. All Rights Reserved.