GNOME Bugzilla – Bug 709776
window: Remove timestamp argument from change_workspace_by_index
Last modified: 2013-10-15 19:42:38 UTC
It's unused, since we aren't activating the workspace.
Created attachment 256858 [details] [review] window: Remove timestamp argument from change_workspace_by_index
Review of attachment 256858 [details] [review]: Looks good to me, but I'd wait after 10.1 to land this.
Why?
Attachment 256858 [details] pushed as d82e249 - window: Remove timestamp argument from change_workspace_by_index