Re: [Notion-general] Workspace name in statusbar

[Arnout E. <no...@bz...>]

Hi Bart,

For mod_statusbar, would statusbar_wsname.lua from the contrib scripts
(https://github.com/raboof/notion/blob/master/contrib/statusbar/statusbar_wsname.lua)
work?

For an 'external' status bar, I think you could currently watch the
_ION_WORKSPACE root window X property.

Eventually it would be nice to support the EWMH _NET_CURRENT_DESKTOP
and _NET_DESKTOP_NAMES properties
(https://standards.freedesktop.org/wm-spec/wm-spec-1.3.html).

Unfortunately the EWMH "Desktop" concept might not quite map directly
to our "Workspace": they talk about "multiple so-called 'virtual
desktops', of which only one can be shown on the screen at a time",
where in a multi-screen setup we have a different Workspace on each
Screen. I'm not sure they have the concept of 'multiple screens' like
we do.


Arnout

On Thu, Aug 2, 2018 at 3:15 PM, Bart Louwers via Notion-general
<not...@li...> wrote:
> I'd like to put the name of the current workspace in the statusbar.
> If someone has this set up, I'd appreciate it if you could share your
> config.
>
> Of course, if you have ideas about how to achieve this, they would be
> most welcome as well.
>
> Thanks. :-)
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> Notion-general mailing list
> Not...@li...
> https://lists.sourceforge.net/lists/listinfo/notion-general