3 Commits

Author	SHA1	Message	Date
Tony Crisci	0514be8d4b	Handle EWMH requests to change current desktop ... This request is used by pagers and bars to change the current desktop likely as a result of some user action. We interpret this as a request to focus the given workspace. for more information see: http://standards.freedesktop.org/wm-spec/latest/ar01s03.html#idm140251368135008	2014-07-10 22:39:42 +02:00
Michael Stapelberg	7b06e20105	tests: fix a few racy testcases by adding sync_with_i3 calls	2014-06-01 11:48:10 +02:00
Steve Jones	0e27ff3cd0	Set EWMH desktop properties on startup. ... Calls ewmh_update_current_desktop on startup to set the _NET_CURRENT_DESKTOP property. Without this change the property only gets set after the workspaces have been manipulated. Also exclude hidden workspaces (i.e. those starting with "__" from the workspace index. Adds tests for startup and workspace switching.	2014-02-08 20:38:16 +01:00