OSDN Git Service

Editors preference page.
authorXavier Ducrohet <xav@android.com>
Fri, 15 Oct 2010 21:30:16 +0000 (14:30 -0700)
committerXavier Ducrohet <xav@android.com>
Fri, 15 Oct 2010 21:39:22 +0000 (14:39 -0700)
commit9bb15bbfe4b659261414ac0abd8f234631d1598f
treee58d65e15405fa3dc4e639359e6bdf013f79e7da
parentb871eeac402d893e29de4db88be8ce55a6902bff
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
eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/preferences/EditorsPage.java [new file with mode: 0644]
eclipse/plugins/com.android.ide.eclipse.ddms/src/com/android/ide/eclipse/ddms/preferences/LogCatPreferencePage.java