HomeSort by relevance Sort by last modified time
    Searched refs:PREFS_MONITOR_DENSITY (Results 1 - 2 of 2) sorted by null

  /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/preferences/
AdtPrefs.java 56 public final static String PREFS_MONITOR_DENSITY = AdtPlugin.PLUGIN_ID + ".monitorDensity"; //$NON-NLS-1$
205 if (property == null || PREFS_MONITOR_DENSITY.equals(property)) {
206 mMonitorDensity = mStore.getFloat(PREFS_MONITOR_DENSITY);
470 store.setValue(PREFS_MONITOR_DENSITY, density);
509 store.setDefault(PREFS_MONITOR_DENSITY, 0.f);
EditorsPage.java 65 addField(new DensityFieldEditor(AdtPrefs.PREFS_MONITOR_DENSITY,

Completed in 52 milliseconds