gri3-wm

Commit Graph

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

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

3 Commits