diff options
Diffstat (limited to 'eclipse/plugins/com.android.ide.eclipse.adt/plugin.xml')
| -rw-r--r-- | eclipse/plugins/com.android.ide.eclipse.adt/plugin.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/eclipse/plugins/com.android.ide.eclipse.adt/plugin.xml b/eclipse/plugins/com.android.ide.eclipse.adt/plugin.xml index 4dfeadc..59bc496 100644 --- a/eclipse/plugins/com.android.ide.eclipse.adt/plugin.xml +++ b/eclipse/plugins/com.android.ide.eclipse.adt/plugin.xml @@ -343,6 +343,12 @@ id="com.android.ide.eclipse.common.preferences.UsagePreferencePage" name="Usage Stats"> </page> + <page + category="com.android.ide.eclipse.preferences.main" + class="com.android.ide.eclipse.adt.internal.preferences.EditorsPage" + id="com.android.ide.eclipse.adt.preferences.EditorsPage" + name="Editors"> + </page> </extension> <extension point="org.eclipse.core.runtime.preferences"> |