Searched refs:mDefaultDisplayTopInset (Results 1 – 1 of 1) sorted by relevance
359 private int mDefaultDisplayTopInset; field in DisplayManagerService447 mDefaultDisplayTopInset = SystemProperties.getInt(PROP_DEFAULT_DISPLAY_TOP_INSET, -1); in DisplayManagerService()1406 if (topInset == mDefaultDisplayTopInset) {1409 mDefaultDisplayTopInset = topInset;