File 0143b0b5eb14291cbd9e0b8328eeec93c4871ba9.patch of Package gnome-shell-extension-pop-shell

Overview Repositories Revisions Requests Users Attributes Meta

File 0143b0b5eb14291cbd9e0b8328eeec93c4871ba9.patch of Package gnome-shell-extension-pop-shell

commit 0143b0b5eb14291cbd9e0b8328eeec93c4871ba9
Author: Mike Wallio <michael.wallio@outlook.com>
Date:   Tue Mar 16 16:01:34 2021 -0400

feat: Add support for GNOME 40

Index: shell-1.2.0/metadata.json
===================================================================
--- shell-1.2.0.orig/metadata.json
+++ shell-1.2.0/metadata.json
@@ -5,6 +5,9 @@
     "uuid": "pop-shell@system76.com",
     "settings-schema": "org.gnome.shell.extensions.pop-shell",
     "shell-version": [
-        "3.36"
+        "3.36",
+        "40",
+        "41",
+        "42"
     ]
-}
\ No newline at end of file
+}
Index: shell-1.2.0/src/mod.d.ts
===================================================================
--- shell-1.2.0.orig/src/mod.d.ts
+++ shell-1.2.0/src/mod.d.ts
@@ -82,8 +82,8 @@ declare namespace Gtk {
 
     export class Widget {
         constructor();
-
-        show_all(): void;
+        show_all?: () => void;
+        show(): void;
     }
 }
 
Index: shell-1.2.0/src/prefs.ts
===================================================================
--- shell-1.2.0.orig/src/prefs.ts
+++ shell-1.2.0/src/prefs.ts
@@ -70,7 +70,6 @@ function settings_dialog_view(): [AppWid
     let grid = new Gtk.Grid({
         column_spacing: 12,
         row_spacing: 12,
-        border_width: 12
     });
 
     let win_label = new Gtk.Label({
@@ -182,6 +181,10 @@ function logging_combo(grid: any, top_in
 // @ts-ignore
 function buildPrefsWidget() {
     let dialog = settings_dialog_new();
-    dialog.show_all();
+    if (dialog.show_all) {
+        dialog.show_all()
+    } else {
+        dialog.show();
+    }
     return dialog;
 }

Places

File 0143b0b5eb14291cbd9e0b8328eeec93c4871ba9.patch of Package gnome-shell-extension-pop-shell

Places