Fix encoding of _NET_DESKTOP_NAMES

This commit fixes the encoding of _NET_DESKTOP_NAMES to match the
specification[1]:

    … The names of all virtual desktops. This is a list
      of NULL-terminated strings in UTF-8 encoding …

We use Xutf8TextListToTextProperty to transform a list of strings
(NULL-terminated) into one XTextProperty which is lacking the last
NULL-Termination … at least that is what observation tells us and what
is written in the documentation of that function[2]:

    … A final terminating null byte is stored at the end of
      the value field of text_prop_return but is not included
      in the nitems member.

As a result, the way *fluxbox* is storing desktop names and the way
other WMs are storing them and how other tools like pagers etc are
expecting the content to be formated is slightly off.

This commit addresses that issue by adding one more "artificial" desktop
name and thus producing the desired content for _NET_DESKTOP_NAMES.

[1]: https://specifications.freedesktop.org/wm-spec/wm-spec-1.4.html#idm46439038971488
[2]: https://www.x.org/releases/X11R7.5/doc/man/man3/Xutf8TextListToTextProperty.3.html

0 files changed, 0 insertions, 0 deletions