[gnome-shell-extensions] Changed workspace indicator to use less panel space by displaying only high-lighted workspace number

[Giovanni Campagna <gcampagna src gnome org>]

commit ca19f18c8f7299f279509fc170cdb8ed1590da9c
Author: Norman L. Smith <nls1729 gmail com>
Date:   Mon Dec 12 15:18:53 2011 -0500

    Changed workspace indicator to use less panel space by displaying only high-lighted workspace number on panel.
    
    Signed-off-by: Norman L. Smith <nls1729 gmail com>

 extensions/workspace-indicator/extension.js   |    2 ++
 extensions/workspace-indicator/stylesheet.css |    5 +++++
 2 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/extensions/workspace-indicator/extension.js b/extensions/workspace-indicator/extension.js
index 3236eca..ef0f5b7 100644
--- a/extensions/workspace-indicator/extension.js
+++ b/extensions/workspace-indicator/extension.js
@@ -37,6 +37,7 @@ WorkspaceIndicator.prototype = {
 
 		//styling
 		this.menu.actor.add_style_class_name('workspace-indicator-shorter');
+		this.statusLabel.add_style_class_name('panel-workspace-indicator');
 	},
 
 	_updateIndicator: function() {
@@ -50,6 +51,7 @@ WorkspaceIndicator.prototype = {
 	_labelText : function(workspaceIndex) {
 	    if(workspaceIndex == undefined) {
 		workspaceIndex = this._currentWorkspace;
+		return (workspaceIndex + 1).toString();
 	    }
 	    return Meta.prefs_get_workspace_name(workspaceIndex);
 	},
diff --git a/extensions/workspace-indicator/stylesheet.css b/extensions/workspace-indicator/stylesheet.css
index 47ee535..e73eedc 100644
--- a/extensions/workspace-indicator/stylesheet.css
+++ b/extensions/workspace-indicator/stylesheet.css
@@ -2,3 +2,8 @@
 	min-width: 25px;
 	font-size: 10pt;
 }
+.panel-workspace-indicator {
+	padding: 0 8px;
+	background-color: rgba(200, 200, 200, .5);
+	border: 1px solid #cccccc;
+}