From 9bb15bbfe4b659261414ac0abd8f234631d1598f Mon Sep 17 00:00:00 2001
From: Xavier Ducrohet <xav@android.com>
Date: Fri, 15 Oct 2010 14:30:16 -0700
Subject: Editors preference page.

For now, only the monitor density, used by the zoom control
in the GLE.

Change-Id: I01219609e6196d845d45e306f5b93c3acf0b2ee2
---
 eclipse/plugins/com.android.ide.eclipse.adt/plugin.xml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'eclipse/plugins/com.android.ide.eclipse.adt/plugin.xml')

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">
-- 
cgit v1.1