Loading de.ugoe.cs.swe.TTCN3.ui/src/de/ugoe/cs/swe/ui/preferences/TTCN3PreferenceInitializer.java +1 −1 Original line number Diff line number Diff line Loading @@ -16,7 +16,7 @@ import org.eclipse.jface.util.PropertyChangeEvent; import de.ugoe.cs.swe.TTCN3Configuration.QualityCheckProfile; import de.ugoe.cs.swe.common.ConfigTools; import de.ugoe.cs.swe.common.ConfigurationProfile; import de.ugoe.cs.swe.ui.internal.TTCN3Activator; import de.ugoe.cs.swe.TTCN3.ui.internal.TTCN3Activator; /** * The Class GFPreferenceInitializer. Loading de.ugoe.cs.swe.TTCN3.ui/src/de/ugoe/cs/swe/ui/preferences/TTCN3RootPreferencePage.java +1 −1 Original line number Diff line number Diff line Loading @@ -16,7 +16,7 @@ import org.eclipse.xtext.ui.editor.preferences.fields.CheckBoxGroupFieldEditor; import de.ugoe.cs.swe.TTCN3Configuration.QualityCheckProfile; import de.ugoe.cs.swe.common.ConfigTools; import de.ugoe.cs.swe.ui.internal.TTCN3Activator; import de.ugoe.cs.swe.TTCN3.ui.internal.TTCN3Activator; /** * Root preference page Loading Loading
de.ugoe.cs.swe.TTCN3.ui/src/de/ugoe/cs/swe/ui/preferences/TTCN3PreferenceInitializer.java +1 −1 Original line number Diff line number Diff line Loading @@ -16,7 +16,7 @@ import org.eclipse.jface.util.PropertyChangeEvent; import de.ugoe.cs.swe.TTCN3Configuration.QualityCheckProfile; import de.ugoe.cs.swe.common.ConfigTools; import de.ugoe.cs.swe.common.ConfigurationProfile; import de.ugoe.cs.swe.ui.internal.TTCN3Activator; import de.ugoe.cs.swe.TTCN3.ui.internal.TTCN3Activator; /** * The Class GFPreferenceInitializer. Loading
de.ugoe.cs.swe.TTCN3.ui/src/de/ugoe/cs/swe/ui/preferences/TTCN3RootPreferencePage.java +1 −1 Original line number Diff line number Diff line Loading @@ -16,7 +16,7 @@ import org.eclipse.xtext.ui.editor.preferences.fields.CheckBoxGroupFieldEditor; import de.ugoe.cs.swe.TTCN3Configuration.QualityCheckProfile; import de.ugoe.cs.swe.common.ConfigTools; import de.ugoe.cs.swe.ui.internal.TTCN3Activator; import de.ugoe.cs.swe.TTCN3.ui.internal.TTCN3Activator; /** * Root preference page Loading