Index: wp-admin/js/nav-menu.dev.js
===================================================================
--- wp-admin/js/nav-menu.dev.js	(revision 14526)
+++ wp-admin/js/nav-menu.dev.js	(working copy)
@@ -47,8 +47,6 @@
 			this.initToggles();
 
 			this.initTabManager();
-		
-			this.checkForEmptyMenu();
 		},
 		
 		jQueryExtensions : function() {
@@ -759,16 +757,8 @@
 				el.remove();
 				children.shiftDepthClass(-1).updateParentMenuItemDBId();
 				api.recalculateMenuItemPositions();
-				that.checkForEmptyMenu();
 			});
 		},
-	
-		checkForEmptyMenu : function() {
-			if( api.menuList.children().length ) return;
-			api.menuList.height(80).one('sortstop', function(){
-				$(this).height('auto');
-			});
-		},
 		
 		formatAutocompleteResponse : function( resultRow, pos, total, queryTerm ) {
 			if ( resultRow && resultRow[0] ) {