Home
last modified time | relevance | path

Searched refs:PREFS_MONITOR_DENSITY (Results 1 – 2 of 2) sorted by relevance

/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/preferences/
DAdtPrefs.java56 …public final static String PREFS_MONITOR_DENSITY = AdtPlugin.PLUGIN_ID + ".monitorDensity"; //$NON… field in AdtPrefs
205 if (property == null || PREFS_MONITOR_DENSITY.equals(property)) { in loadValues()
206 mMonitorDensity = mStore.getFloat(PREFS_MONITOR_DENSITY); in loadValues()
470 store.setValue(PREFS_MONITOR_DENSITY, density); in setMonitorDensity()
509 store.setDefault(PREFS_MONITOR_DENSITY, 0.f); in initializeStoreWithDefaults()
DEditorsPage.java65 addField(new DensityFieldEditor(AdtPrefs.PREFS_MONITOR_DENSITY, in createFieldEditors()