Re: [cp-patches] FYI: Eclipse formatting settings update.

[Aaron Luchko]

On Sun, 2005-07-31 at 10:57 +0200, Meskauskas Audrius wrote: 
> In our guide is written "Implements and extends on separate lines, 
> throws too. Indent extends, implements, throws."  The current version of 
> eclipse-gnu.xml leaves these keywords on the current line. The suggested 
> path forces to drop implements, throws and extends into new line an 
> indent by two spaces. The settings were tested with Eclipse Version: 
> 3.1.0 build I20050627-1435.

This formatting profile is currently being stored in two places,
.settings/org.eclipse.jdt.ui.prefs
and
scripts/eclipse-gnu.xml

The .settings version is a profile attached specifically to the
classpath eclipse project, eclipse-gnu.xml is the result of exporting
this profile. I'm not sure how this should be documented but I think the
best way to deal with this is to make the changes
to .settings/org.eclipse.jdt.ui.prefs than generate eclipse-gnu.xml from
this profile.

There's an eclipse bug right not (well I'm having a debate over whether
it's a bug;) that means that the profile
in .settings/org.eclipse.jdt.ui.prefs can't be stored with a name and
thus will be stored as "Unnamed Profile". Furthermore trying to export
an "Unnamed Profile" will result in an empty xml file. So make in order
to make changes one would edit the project specific settings in Project
Properties > Java Code Style > Formatter, rename this style to "GNU"
than export the style to scripts/eclipse-gnu.xml. One would than commit
both the altered .settings/org.eclipse.jdt.ui.prefs and
scripts/eclipse-gnu.xml.

Aaron