am d7013ca7: Merge change 8193 into donut
Merge commit 'd7013ca7ab781824da6eb574094cf05b55abab92'
* commit 'd7013ca7ab781824da6eb574094cf05b55abab92':
Add one more pixel of padding to the top of the Google logo used in the search widget.
diff --git a/res/xml/default_workspace.xml b/res/xml/default_workspace.xml
index 9197c30..60bfe82 100644
--- a/res/xml/default_workspace.xml
+++ b/res/xml/default_workspace.xml
@@ -42,12 +42,14 @@
launcher:x="2"
launcher:y="3" />
+<!--
<favorite
launcher:packageName="com.google.android.apps.maps"
launcher:className="com.google.android.maps.MapsActivity"
launcher:screen="1"
launcher:x="3"
launcher:y="3" />
+-->
<favorite
launcher:packageName="com.android.mms"