Update gnome-shell types

swsnr · Jan 3, 2024 · 8e1082e · 8e1082e
1 parent 7023310
commit 8e1082e
Show file tree

Hide file tree

Showing 5 changed files with 84 additions and 131 deletions.
diff --git a/@types/gnome-shell/ambient.d.ts b/@types/gnome-shell/ambient.d.ts
@@ -20,3 +20,4 @@
 import "@girs/gjs";
 import "@girs/gjs/dom";
 import "@girs/gnome-shell/ambient";
+import "@girs/gnome-shell/extensions/global";
diff --git a/@types/gnome-shell/global.d.ts b/@types/gnome-shell/global.d.ts
diff --git a/package.json b/package.json
@@ -11,7 +11,7 @@
   },
   "devDependencies": {
     "@girs/gjs": "^3.2.7",
-    "@girs/gnome-shell": "^45.0.0-beta6",
+    "@girs/gnome-shell": "^45.0.0-beta8",
     "@tsconfig/strictest": "^2.0.2",
     "@typescript-eslint/eslint-plugin": "^6.17.0",
     "@typescript-eslint/parser": "^6.17.0",

diff --git a/tsconfig.json b/tsconfig.json
@@ -12,8 +12,6 @@
   "include": [
     // Ambient types
     "@types/gnome-shell/ambient.d.ts",
-    // Extra GNOME Shell globals
-    "@types/gnome-shell/global.d.ts",
     // Our sources
     "src/**/*.ts"
   ],