Changeset 451
- Timestamp:
- Jul 4, 2010 11:45:40 AM (14 years ago)
- Location:
- trunk/MagnoliaPlugin
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/MagnoliaPlugin/plugin.xml
r448 r451 204 204 </extension> 205 205 <extension 206 point="org.eclipse.ui.preferencePages">207 <page208 name="Magnolia"209 class="org.magnolialang.eclipse.preferences.MagnoliaPreferencePage"210 id="org.magnolialang.eclipse.preferences.Magnolia">211 </page>212 </extension>213 <extension214 206 id="ambiguityMarker" 215 207 name="Ambiguity" … … 261 253 </editorService> 262 254 </extension> 255 <extension 256 point="org.eclipse.ui.preferencePages"> 257 <page 258 name="Magnolia" 259 class="org.magnolialang.eclipse.preferences.MagnoliaPreferencePage" 260 id="org.magnolialang.eclipse.preferences.Magnolia"> 261 </page> 262 </extension> 263 263 264 264 </plugin> -
trunk/MagnoliaPlugin/src/org/magnolialang/eclipse/preferences/MagnoliaInstanceTab.java
r442 r451 3 3 import java.util.List; 4 4 import java.util.ArrayList; 5 import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer; 6 import org.eclipse.core.runtime.preferences.IEclipsePreferences; 5 7 import org.eclipse.swt.widgets.Composite; 6 8 import org.eclipse.swt.widgets.Link; 7 9 import org.eclipse.imp.preferences.*; 8 10 import org.eclipse.imp.preferences.fields.*; 11 import org.osgi.service.prefs.Preferences; 12 9 13 10 14 /** -
trunk/MagnoliaPlugin/src/org/magnolialang/eclipse/preferences/MagnoliaProjectTab.java
r442 r451 3 3 import java.util.List; 4 4 import java.util.ArrayList; 5 import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer; 5 6 import org.eclipse.core.runtime.preferences.IEclipsePreferences; 6 7 import org.eclipse.swt.widgets.Composite;
Note:
See TracChangeset
for help on using the changeset viewer.