Searched refs:origWorkspaceResId (Results 1 - 2 of 2) sorted by relevance

/packages/apps/Launcher2/src/com/android/launcher2/
H A DLauncherProvider.java212 synchronized public void loadDefaultFavoritesIfNecessary(int origWorkspaceResId, argument
219 int workspaceResId = origWorkspaceResId;
229 if (origWorkspaceResId != 0) {
230 editor.putInt(DEFAULT_WORKSPACE_RESOURCE_ID, origWorkspaceResId);
/packages/apps/Launcher3/src/com/android/launcher3/
H A DLauncherProvider.java292 synchronized public void loadDefaultFavoritesIfNecessary(int origWorkspaceResId) { argument
298 int workspaceResId = origWorkspaceResId;
309 if (origWorkspaceResId != 0) {
310 editor.putInt(DEFAULT_WORKSPACE_RESOURCE_ID, origWorkspaceResId);

Completed in 27 milliseconds