[gnome-shell-extensions] workspace-indicator: remove debug spew

[Giovanni Campagna <gcampagna src gnome org>]

commit f14ae5f3c9031f5f5c7028d6aedc7fc0174b5bdb
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Thu Mar 1 21:10:41 2012 +0100

    workspace-indicator: remove debug spew

 extensions/workspace-indicator/prefs.js |   10 ----------
 1 files changed, 0 insertions(+), 10 deletions(-)
---
diff --git a/extensions/workspace-indicator/prefs.js b/extensions/workspace-indicator/prefs.js
index 40a32ac..edef6d7 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);