commit b6a4d983b8ddec80033f371c71270beea3ad912a
author Brian Muramatsu <btmura@google.com> Tue Apr 24 17:16:04 2012 -0700
committer Michael Jurka <mikejurka@google.com> Tue May 15 16:31:59 2012 -0700
tree 62afb3f3cb2523617bcfd13c31c4f4c30f960d56
parent ceca4ff1891baf033cd9d6951ec5a1d31473642f

Populate the default workspace earlier

Adds a receiver that populates the default
workspace. It can be called by the system when
it's ready for launcher to preload.

Change-Id: If885fcfd931c459f87e9bb0df4c8bca00906f3c1

src/com/android/launcher2/LauncherProvider.java

diff --git a/src/com/android/launcher2/LauncherProvider.java b/src/com/android/launcher2/LauncherProvider.java
index 4cf87d2..82aa07a 100644
--- a/src/com/android/launcher2/LauncherProvider.java
+++ b/src/com/android/launcher2/LauncherProvider.java
@@ -203,7 +203,7 @@
         return mOpenHelper.generateNewId();
     }
 
-    public void loadDefaultFavoritesIfNecessary() {
+    synchronized public void loadDefaultFavoritesIfNecessary() {
         String spKey = LauncherApplication.getSharedPreferencesKey();
         SharedPreferences sp = getContext().getSharedPreferences(spKey, Context.MODE_PRIVATE);
         if (sp.getBoolean(DB_CREATED_BUT_DEFAULT_WORKSPACE_NOT_LOADED, false)) {