After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 640581 - Update _NET_CURRENT_DESKTOP on workspace removal
Update _NET_CURRENT_DESKTOP on workspace removal
Status: RESOLVED FIXED
Product: mutter
Classification: Core
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: mutter-maint
mutter-maint
Depends on:
Blocks:
 
 
Reported: 2011-01-25 21:28 UTC by Owen Taylor
Modified: 2011-01-26 22:13 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Update _NET_CURRENT_DESKTOP on workspace removal (5.42 KB, patch)
2011-01-25 21:28 UTC, Owen Taylor 		committed Details | Review

Description Owen Taylor 2011-01-25 21:28:48 UTC 
When we delete a workspace before the active workspace, we need
to upate the _NET_CURRENT_DESKTOP since the active workspace index
changes. To do this workspace.c:set_active_space_hint() is moved
to screen.c:meta_screen_set_active_workspace_hint() so that it
can be shared.
Comment 1 Owen Taylor 2011-01-25 21:28:50 UTC 
Created attachment 179328 [details] [review]
Update _NET_CURRENT_DESKTOP on workspace removal
Comment 2 Tomas Frydrych 2011-01-26 09:08:39 UTC 
Comment on attachment 179328 [details] [review]
Update _NET_CURRENT_DESKTOP on workspace removal

Looks good.
Comment 3 Owen Taylor 2011-01-26 22:13:36 UTC 
Attachment 179328 [details] pushed as 4c4c720 - Update _NET_CURRENT_DESKTOP on workspace removal