declare module "resource:///org/gnome/shell/ui/workspaceThumbnail.js" {
    export * from "@girs/gnome-shell/ui/workspaceThumbnail";
}