{
    "extension-id": "workspace-indicator",
    "uuid": "workspace-indicator@gnome-shell-extensions.gcampax.github.com",
    "settings-schema": "org.gnome.shell.extensions.workspace-indicator",
    "gettext-domain": "gnome-shell-extensions",
    "name": "Workspace Indicator",
    "description": "Put an indicator on the panel signaling in which workspace you are, and give you the possibility of switching to another one.",
    "shell-version": [ "43" ],
    "original-authors": [ "erick.red@gmail.com" ],
    "url": "https://gitlab.gnome.org/GNOME/gnome-shell-extensions"
}