diff options
author | Xavier Ducrohet <xav@android.com> | 2010-10-15 14:30:16 -0700 |
---|---|---|
committer | Xavier Ducrohet <xav@android.com> | 2010-10-15 14:39:22 -0700 |
commit | 9bb15bbfe4b659261414ac0abd8f234631d1598f (patch) | |
tree | e58d65e15405fa3dc4e639359e6bdf013f79e7da /eclipse/plugins/com.android.ide.eclipse.adt/plugin.xml | |
parent | b871eeac402d893e29de4db88be8ce55a6902bff (diff) | |
download | sdk-9bb15bbfe4b659261414ac0abd8f234631d1598f.zip sdk-9bb15bbfe4b659261414ac0abd8f234631d1598f.tar.gz sdk-9bb15bbfe4b659261414ac0abd8f234631d1598f.tar.bz2 |
Editors preference page.
For now, only the monitor density, used by the zoom control
in the GLE.
Change-Id: I01219609e6196d845d45e306f5b93c3acf0b2ee2
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"> |