From eb5615d1af1ef38fd934590b9aec19e1d0cd0908 Mon Sep 17 00:00:00 2001
From: Jason Sams <rjsams@android.com>
Date: Mon, 30 Nov 2009 11:50:10 -0800
Subject: [PATCH] Rename special dump properity so we can set it on user
 builds.

---
 src/com/android/launcher2/Launcher.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/com/android/launcher2/Launcher.java b/src/com/android/launcher2/Launcher.java
index d2fd6a9fef..327fa3a632 100644
--- a/src/com/android/launcher2/Launcher.java
+++ b/src/com/android/launcher2/Launcher.java
@@ -1321,7 +1321,7 @@ public final class Launcher extends Activity
                 case KeyEvent.KEYCODE_HOME:
                     return true;
                 case KeyEvent.KEYCODE_VOLUME_DOWN:
-                    if (SystemProperties.getInt("launcher2.dumpstate", 0) != 0) {
+                    if (SystemProperties.getInt("debug.launcher2.dumpstate", 0) != 0) {
                         dumpState();
                         return true;
                     }