1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 22:52:11 +02:00

Cosmetics.

This commit is contained in:
Sergey Prigogin 2013-05-13 10:36:18 -07:00
parent 28e2acc2e4
commit e543e223a4
2 changed files with 0 additions and 7 deletions

View file

@ -96,7 +96,6 @@ import org.eclipse.core.runtime.jobs.Job;
public class CModelManager implements IResourceChangeListener, IContentTypeChangeListener, public class CModelManager implements IResourceChangeListener, IContentTypeChangeListener,
ICProjectDescriptionListener, ILanguageSettingsChangeListener { ICProjectDescriptionListener, ILanguageSettingsChangeListener {
public static boolean VERBOSE = false; public static boolean VERBOSE = false;
/** /**

View file

@ -42,7 +42,6 @@ public abstract class ProfileManager extends Observable {
private static final Map<String, String> EMPTY_MAP = Collections.emptyMap(); private static final Map<String, String> EMPTY_MAP = Collections.emptyMap();
public static final class KeySet { public static final class KeySet {
private final List<String> fKeys; private final List<String> fKeys;
private final String fNodeName; private final String fNodeName;
@ -71,7 +70,6 @@ public abstract class ProfileManager extends Observable {
* containing the code formatter settings. * containing the code formatter settings.
*/ */
public static abstract class Profile implements Comparable<Profile> { public static abstract class Profile implements Comparable<Profile> {
public abstract String getName(); public abstract String getName();
public abstract Profile rename(String name, ProfileManager manager); public abstract Profile rename(String name, ProfileManager manager);
@ -180,7 +178,6 @@ public abstract class ProfileManager extends Observable {
public int getVersion() { public int getVersion() {
return fCurrentVersion; return fCurrentVersion;
} }
} }
/** /**
@ -312,7 +309,6 @@ public abstract class ProfileManager extends Observable {
} }
} }
/** /**
* The possible events for observers listening to this class. * The possible events for observers listening to this class.
*/ */
@ -322,7 +318,6 @@ public abstract class ProfileManager extends Observable {
public final static int PROFILE_CREATED_EVENT= 4; public final static int PROFILE_CREATED_EVENT= 4;
public final static int SETTINGS_CHANGED_EVENT= 5; public final static int SETTINGS_CHANGED_EVENT= 5;
/** /**
* The key of the preference where the selected profile is stored. * The key of the preference where the selected profile is stored.
*/ */
@ -371,7 +366,6 @@ public abstract class ProfileManager extends Observable {
KeySet[] keySets, KeySet[] keySets,
String profileKey, String profileKey,
String profileVersionKey) { String profileVersionKey) {
fPreferencesAccess= preferencesAccess; fPreferencesAccess= preferencesAccess;
fProfileVersioner= profileVersioner; fProfileVersioner= profileVersioner;
fKeySets= keySets; fKeySets= keySets;