* ewmh.c: Get/set certain EWMH properties easily.
*
*/
-#ifndef _EWMH_C
-#define _EWMH_C
+#pragma once
/**
* Updates _NET_CURRENT_DESKTOP with the current desktop number.
* and _NET_NUMBER_OF_DESKTOPS - 1.
*
*/
-void ewmh_update_current_desktop();
+void ewmh_update_current_desktop(void);
/**
* Updates _NET_ACTIVE_WINDOW with the currently focused window.
* Set up the EWMH hints on the root window.
*
*/
-void ewmh_setup_hints();
+void ewmh_setup_hints(void);
-#endif
+/**
+ * i3 currently does not support _NET_WORKAREA, because it does not correspond
+ * to i3’s concept of workspaces. See also:
+ * http://bugs.i3wm.org/539
+ * http://bugs.i3wm.org/301
+ * http://bugs.i3wm.org/1038
+ *
+ * We need to actively delete this property because some display managers (e.g.
+ * LightDM) set it.
+ *
+ * EWMH: Contains a geometry for each desktop. These geometries specify an area
+ * that is completely contained within the viewport. Work area SHOULD be used by
+ * desktop applications to place desktop icons appropriately.
+ *
+ */
+void ewmh_update_workarea(void);