Ceylon Formatting preferences should be in general preferences

[lukedegruchy]

As of today's ceylon-ide build, it is not possible to configure custom ceylon formatter preferences in the workspace settings. Instead, only each project can have its own formatter preferences. Exporting from one project and importing from another project is required to share these preferences.

These should be available in the workspace settings.

[lucaswerkmeister]

The problem is that the CLI tool and the IDE formatter should share the same preferences, but the CLI tool knows nothing about workspaces. You can configure user-wide settings in ~/.ceylon, but that’s an even wider scope than workspace.

Should we put a configuration dialog for that into the eclipse preferences, even though it doesn’t fully comply with the usual eclipse mechanisms?

[lukedegruchy]

Personally, I'm fine with these settings being in the workspace Eclipse preferences with a nice clear warning that these settings transcend workspaces and apply to the entire user home directory.