Compare commits

...

3 Commits
46.3 ... 3.8.2

Author SHA1 Message Date
Giovanni Campagna
3c100c393a Bump version to 3.8.2
To go along GNOME Shell 3.8.2
2013-05-14 07:16:36 +02:00
Florian Müllner
2e1856ab34 window-list: Make bottom panel taller in classic mode
Consider additional borders in classic styling for the panel height.

https://bugzilla.gnome.org/show_bug.cgi?id=698169
2013-05-13 22:02:27 +02:00
Florian Müllner
0861745de4 window-list: Use notify::n-workspaces to recreate workspace menu
When the number of workspaces changes, we clear the existing menu
and recreate it based on the screen::n-workspaces property, so it
is slightly more correct to track changes to the property directly
instead of using the workspace-added/workspace-removed signals.
This change also fixes a corner case, where changes to the property
before workspaces are initialized are missed and we end up with the
wrong number of workspaces.

https://bugzilla.gnome.org/show_bug.cgi?id=699350
2013-04-30 21:54:54 +02:00
4 changed files with 10 additions and 3 deletions

6
NEWS
View File

@@ -1,3 +1,9 @@
3.8.2
=====
* window-list: fix styling in classic mode
* window-list: code cleanups
* translation updates (cs, es, lt, pl, pt_BR, sl)
3.8.1
=====
* many improvements to window-list:

View File

@@ -1,5 +1,5 @@
AC_PREREQ(2.63)
AC_INIT([gnome-shell-extensions],[3.8.1],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
AC_INIT([gnome-shell-extensions],[3.8.2],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
AC_CONFIG_MACRO_DIR([m4])
AC_CONFIG_AUX_DIR([config])

View File

@@ -3,6 +3,7 @@
#panel.bottom-panel {
border-top-width: 1px;
border-bottom-width: 0px;
height: 32px !important;
}
.bottom-panel .window-button > StWidget {
@@ -11,6 +12,7 @@
background-gradient-end: #d0d0d0;
color: #555 !important;
border-radius: 2px !important;
padding: 4px 6px 2px !important;
text-shadow: 0 0 transparent;
box-shadow: inset -1px -1px 1px rgba(0,0,0,0.5) !important;
}

View File

@@ -390,8 +390,7 @@ const WorkspaceIndicator = new Lang.Class({
this.workspacesItems = [];
this._screenSignals = [];
this._screenSignals.push(global.screen.connect_after('workspace-added', Lang.bind(this,this._updateMenu)));
this._screenSignals.push(global.screen.connect_after('workspace-removed', Lang.bind(this,this._updateMenu)));
this._screenSignals.push(global.screen.connect('notify::n-workspaces', Lang.bind(this,this._updateMenu)));
this._screenSignals.push(global.screen.connect_after('workspace-switched', Lang.bind(this,this._updateIndicator)));
this.actor.connect('scroll-event', Lang.bind(this, this._onScrollEvent));