[gnome-shell-extensions] workspace-indicator: Use consistent workspace numbering
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] workspace-indicator: Use consistent workspace numbering
- Date: Fri, 31 Jul 2015 14:47:36 +0000 (UTC)
commit 31506a342cb45c5c0c32085db16cc1d1eef2c024
Author: Florian Müllner <fmuellner gnome org>
Date: Fri Jul 31 16:37:48 2015 +0200
workspace-indicator: Use consistent workspace numbering
The indicator numbers workspaces starting from 1, while newly added
workspace names in the preference dialog start counting at 0.
Change the latter to be consistent with the indicator.
https://bugzilla.gnome.org/show_bug.cgi?id=753105
extensions/workspace-indicator/prefs.js | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/extensions/workspace-indicator/prefs.js b/extensions/workspace-indicator/prefs.js
index 49378c4..e5dbebe 100644
--- a/extensions/workspace-indicator/prefs.js
+++ b/extensions/workspace-indicator/prefs.js
@@ -195,7 +195,7 @@ const WorkspaceSettingsWidget = new GObject.Class({
let iter = this._store.append();
let index = this._store.get_path(iter).get_indices()[0];
- let label = _("Workspace %d").format(index);
+ let label = _("Workspace %d").format(index + 1);
this._store.set(iter, [this._store.Columns.LABEL], [label]);
},
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]