[packages/gnome-shell-extension-workspacebar] - avoid "unceclared/undefined variable" warnings - rel 2

[baggins]

commit 82c4f914604328348b36376b642a01f093de6a7e
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Tue Nov 6 19:25:51 2012 +0100

    - avoid "unceclared/undefined variable" warnings
    - rel 2

 gnome-shell-extension-workspacebar.spec |  4 ++-
 no-undeclared.patch                     | 48 +++++++++++++++++++++++++++++++++
 2 files changed, 51 insertions(+), 1 deletion(-)
---
diff --git a/gnome-shell-extension-workspacebar.spec b/gnome-shell-extension-workspacebar.spec
index 199747d..7ae59c6 100644
--- a/gnome-shell-extension-workspacebar.spec
+++ b/gnome-shell-extension-workspacebar.spec
@@ -2,7 +2,7 @@
 Summary:	A toolbar for your panel that allows you to switch workspaces
 Name:		gnome-shell-extension-%{extname}
 Version:	20121027
-Release:	1
+Release:	2
 License:	GPL v2
 Group:		X11/Applications
 # $ git clone git://github.com/mbokil/workspacebar.git
@@ -10,6 +10,7 @@ Group:		X11/Applications
 # $ git archive --format=tar --prefix=%{name}-%{version}/ master | xz > ../%{name}-%{version}.tar.xz
 Source0:	%{extname}-%{version}.tar.xz
 # Source0-md5:	17535842481ad8d699c977eff06345af
+Patch0:		no-undeclared.patch
 URL:		http://markbokil.com/downloads/extensions/
 BuildRequires:	tar >= 1:1.22
 BuildRequires:	xz
@@ -24,6 +25,7 @@ Also there is an option to display the Overview on mouse entry.
 
 %prep
 %setup -q -n %{extname}-%{version}
+%patch0 -p1
 
 %install
 rm -rf $RPM_BUILD_ROOT
diff --git a/no-undeclared.patch b/no-undeclared.patch
new file mode 100644
index 0000000..05aecdd
--- /dev/null
+++ b/no-undeclared.patch
@@ -0,0 +1,48 @@
+--- workspacebar-20121027/extension.js~	2012-09-28 15:17:22.000000000 +0200
++++ workspacebar-20121027/extension.js	2012-11-06 19:14:03.458039714 +0100
+@@ -81,14 +81,14 @@
+         this.buttonBox = null;
+ 
+         // disconnect screen signals 
+-        for (x=0; x < this._screenSignals.length; x++) {
++        for (var x=0; x < this._screenSignals.length; x++) {
+             global.screen.disconnect(this._screenSignals[x]);
+         }
+         this._screenSignals = [];
+         this._screenSignals = null;
+ 
+         // disconnect settings bindings 
+-        for (x=0; x < this._settingsSignals.length; x++) {
++        for (var x=0; x < this._settingsSignals.length; x++) {
+             global.screen.disconnect(this._settingsSignals[x]);
+         }
+         this._settingsSignals = [];
+@@ -142,7 +142,7 @@
+         let workSpaces = global.screen.n_workspaces - 1;
+         let str = '';
+ 
+-        for (x=0; x <= workSpaces; x++) {
++        for (var x=0; x <= workSpaces; x++) {
+             str =  (x+1).toString();
+             if ( x == this.currentWorkSpace) {
+                 this.labels[x] = new St.Label({ text: _(str), style_class: "activeBtn" });
+@@ -174,7 +174,7 @@
+         if (children) {
+             let len = children.length;
+ 
+-            for(x=len-1; x >= 0  ; x--) {
++            for(var x=len-1; x >= 0  ; x--) {
+                 box.remove_actor(children[x]);
+             }
+         }
+--- workspacebar-20121027/prefs.js~	2012-09-28 15:17:22.000000000 +0200
++++ workspacebar-20121027/prefs.js	2012-11-06 19:15:23.201370232 +0100
+@@ -55,7 +55,7 @@
+         let currentPosition = this._settings.get_string(Keys.POSITION);
+         let count = 4;
+         let str = '';
+-        for (element in RADIO_BTNS) {
++        for (let element in RADIO_BTNS) {
+             let str = RADIO_BTNS[element];
+             radio = new Gtk.RadioButton({ group: radio, label: this._capitalised(str), valign: Gtk.Align.START });
+             this._grid.attach(radio, count, 1, 1, 1);
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/gnome-shell-extension-workspacebar.git/commitdiff/82c4f914604328348b36376b642a01f093de6a7e