Desktop_Pager is a fully documented, GKrellM2 plugin which allows you to set the current desktop and display its name. It is derived from the "gkrellmpager" Sourceforge project but adds configurable, OBVIOUS, quick-glance, saved highlighting of the current desktop name.
The plugin has several other new usability features: Options allow you to reduce vertical space usage within GKrellM and horizontal space usage for longer desktop names. Scrolling over the plugin can be used to select a...