Workspace detection is not working with gnome-shell

[Hoglet]

This is almost certainly a bug in Mutter (gnome-shell window manager) or simply that they choose to not implement part of the specification.

Investigate and report bug to their developers or find out if they have another way they want to go.

[Hoglet]

Workaround do it "their way":
Data seems to be saved in gsettings:

https://github.com/GNOME/gsettings-desktop-schemas/blob/master/schemas/org.gnome.desktop.wm.preferences.gschema.xml.in

Path:
"org.gnome.desktop.wm.preferences"

Workspace names:
"workspace-names"

Number of workspaces:
"num-workspaces"

Current workspace:
?

#include <giomm/settings.h>
#include <iostream>

int main() {
  Glib::RefPtr<Gio::Settings> s = Gio::Settings::create("org.gnome.desktop.wm.preferences");
  int i = s->get_int("num-workspaces");

  std::cout << i << std::endl;
}