diff --git a/extension.js b/extension.js index 5e096c5..592cb1c 100644 --- a/extension.js +++ b/extension.js @@ -109,7 +109,11 @@ class WorkspacesBar extends PanelMenu.Button { if (this.workspaces_names[ws_index]) { this.ws_box.label.set_text(" " + this.workspaces_names[ws_index] + " "); } else { - this.ws_box.label.set_text(" " + (ws_index + 1) + " "); + if (this.ws_count == ws_index + 1 && this.active_ws_index != ws_index && global.workspace_manager.get_workspace_by_index(ws_index).n_windows == 0) { + this.ws_box.label.set_text(" + "); + } else { + this.ws_box.label.set_text(" " + (ws_index + 1) + " "); + } } this.ws_box.set_child(this.ws_box.label); this.ws_box.connect('button-release-event', () => this._toggle_ws(ws_index) ); diff --git a/stylesheet.css b/stylesheet.css index 1e0a55a..39e274d 100644 --- a/stylesheet.css +++ b/stylesheet.css @@ -39,27 +39,31 @@ /* non-framed version */ .desktop-label-nonempty-active { + padding: 3px 0; margin-left: 0px; margin-right: 8px; - background-color: rgba(154, 154, 154, 0.7); + background-color: rgba(255, 255, 255, 0.3); border-radius: 4px; } .desktop-label-nonempty-inactive { + padding: 3px 0; margin-left: 0px; margin-right: 8px; - background-color: rgba(96, 96, 96, 0.7); + background-color: rgba(0, 0, 0, 0.0); border-radius: 4px; } .desktop-label-empty-active { + padding: 3px 0; margin-left: 0px; margin-right: 8px; - background-color: rgba(154, 154, 154, 0.7); + background-color: rgba(255, 255, 255, 0.3); border-radius: 4px; } .desktop-label-empty-inactive { + padding: 3px 0; margin-left: 0px; margin-right: 8px; background-color: rgba(0, 0, 0, 0.0);