--- gnome-shell-3.6.2/js/gdm/loginDialog.js	2012-11-12 21:18:59.000000000 +0100
+++ gnome-shell-3.6.2/js/gdm/loginDialog.js	2013-01-24 15:01:20.000000000 +0100
@@ -496,6 +496,7 @@ const SessionListItem = new Lang.Class({
                           color.alpha / 255);
         cr.arc(width / 2, height / 2, width / 3, 0, 2 * Math.PI);
         cr.fill();
+        cr.$dispose();
     },
 
     _onClicked: function() {
--- gnome-shell-3.6.2/js/ui/altTab.js	2012-11-12 21:18:59.000000000 +0100
+++ gnome-shell-3.6.2/js/ui/altTab.js	2013-01-24 15:04:33.000000000 +0100
@@ -1164,4 +1164,5 @@ function _drawArrow(area, side) {
 
     Clutter.cairo_set_source_color(cr, bodyColor);
     cr.fill();
+	cr.$dispose();
 }
--- gnome-shell-3.6.2/js/ui/boxpointer.js	2012-10-24 18:42:00.000000000 +0200
+++ gnome-shell-3.6.2/js/ui/boxpointer.js	2013-01-24 15:01:50.000000000 +0100
@@ -405,6 +405,7 @@ const BoxPointer = new Lang.Class({
             cr.setLineWidth(borderWidth);
             cr.stroke();
         }
+        cr.$dispose();
     },
 
     setPosition: function(sourceActor, alignment) {
--- gnome-shell-3.6.2/js/ui/dateMenu.js	2012-10-19 14:14:33.000000000 +0200
+++ gnome-shell-3.6.2/js/ui/dateMenu.js	2013-01-24 15:02:06.000000000 +0100
@@ -32,6 +32,7 @@ function _onVertSepRepaint (area)
     cr.setDash([1, 3], 1); // Hard-code for now
     cr.setLineWidth(stippleWidth);
     cr.stroke();
+    cr.$dispose();
 };
 
 const DateMenuButton = new Lang.Class({
--- gnome-shell-3.6.2/js/ui/panel.js	2012-11-12 21:18:59.000000000 +0100
+++ gnome-shell-3.6.2/js/ui/panel.js	2013-01-24 15:02:19.000000000 +0100
@@ -880,6 +880,7 @@ const PanelCorner = new Lang.Class({
         cr.appendPath(savedPath);
         cr.fill();
         cr.restore();
+        cr.$dispose();
     },
 
     _styleChanged: function() {
@@ -910,11 +911,13 @@ if (Config.HAVE_BLUETOOTH)
     PANEL_ITEM_IMPLEMENTATIONS['bluetooth'] =
         imports.ui.status.bluetooth.Indicator;
 
-try {
-    PANEL_ITEM_IMPLEMENTATIONS['network'] =
-        imports.ui.status.network.NMApplet;
-} catch(e) {
-    log('NMApplet is not supported. It is possible that your NetworkManager version is too old');
+if (Config.HAVE_NETWORKMANAGER) {
+    try {
+        PANEL_ITEM_IMPLEMENTATIONS['network'] =
+            imports.ui.status.network.NMApplet;
+    } catch(e) {
+        log('NMApplet is not supported. It is possible that your NetworkManager version is too old');
+    }
 }
 
 const Panel = new Lang.Class({
--- gnome-shell-3.6.2/js/ui/popupMenu.js	2012-11-12 21:18:59.000000000 +0100
+++ gnome-shell-3.6.2/js/ui/popupMenu.js	2013-01-24 15:02:30.000000000 +0100
@@ -206,6 +206,7 @@ const PopupBaseMenuItem = new Lang.Class
             color.alpha / 255);
         cr.arc(width / 2, height / 2, width / 3, 0, 2 * Math.PI);
         cr.fill();
+        cr.$dispose();
     },
 
     // This returns column widths in logical order (i.e. from the dot
@@ -427,6 +428,7 @@ const PopupSeparatorMenuItem = new Lang.
         cr.setSource(pattern);
         cr.rectangle(margin, gradientOffset, gradientWidth, gradientHeight);
         cr.fill();
+        cr.$dispose();
     }
 });
 
@@ -624,6 +626,7 @@ const PopupSliderMenuItem = new Lang.Cla
             color.alpha / 255);
         cr.arc(handleX, handleY, handleRadius, 0, 2 * Math.PI);
         cr.fill();
+        cr.$dispose();
     },
 
     _startDragging: function(actor, event) {