From f14ae5f3c9031f5f5c7028d6aedc7fc0174b5bdb Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Thu, 1 Mar 2012 21:10:41 +0100
Subject: [PATCH] workspace-indicator: remove debug spew

---
 extensions/workspace-indicator/prefs.js | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/extensions/workspace-indicator/prefs.js b/extensions/workspace-indicator/prefs.js
index 40a32ac9..edef6d74 100644
--- a/extensions/workspace-indicator/prefs.js
+++ b/extensions/workspace-indicator/prefs.js
@@ -47,8 +47,6 @@ const WorkspaceNameModel = new GObject.Class({
             return;
         this._preventChanges = true;
 
-        print('reloading from settings');
-
         let newNames = this._settings.get_strv(WORKSPACE_KEY);
 
         let i = 0;
@@ -68,8 +66,6 @@ const WorkspaceNameModel = new GObject.Class({
             this.set(iter, [this.Columns.LABEL], [newNames[i]]);
         }
 
-        printerr('three');
-
         this._preventChanges = false;
     },
 
@@ -78,8 +74,6 @@ const WorkspaceNameModel = new GObject.Class({
             return;
         this._preventChanges = true;
 
-        print('on_row_changed: ' + path.to_string());
-
         let index = path.get_indices()[0];
         let names = this._settings.get_strv(WORKSPACE_KEY);
 
@@ -101,8 +95,6 @@ const WorkspaceNameModel = new GObject.Class({
             return;
         this._preventChanges = true;
 
-        print('on_row_inserted: ' + path.to_string());
-
         let index = path.get_indices()[0];
         let names = this._settings.get_strv(WORKSPACE_KEY);
         let label = this.get_value(iter, this.Columns.LABEL) || '';
@@ -118,8 +110,6 @@ const WorkspaceNameModel = new GObject.Class({
             return;
         this._preventChanges = true;
 
-        print('on_row_deleted: ' + path.to_string());
-
         let index = path.get_indices()[0];
         let names = this._settings.get_strv(WORKSPACE_KEY);