Merge pull request #230 from jeffmahoney/master

Properly fix for GNOME 42 / gjs 1.72.0 (#229).
kgshank · Mar 29, 2022 · 76f7f59 · 76f7f59
2 parents 4a6f0f2 + a12044d
commit 76f7f59
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/[email protected]/base.js b/[email protected]/base.js
@@ -45,11 +45,6 @@ const SignalManager = Lib.SignalManager;
 
 var ProfileMenuItem = class ProfileMenuItem
     extends PopupMenu.PopupMenuItem {
-    constructor(title, profileName) {
-        super(title);
-        this._init(title, profileName);
-    }
-
     _init(title, profileName) {
         if (super._init) {
             super._init(title);
@@ -89,11 +84,6 @@ var ProfileMenuItem = class ProfileMenuItem
 }
 
 var SoundDeviceMenuItem = class SoundDeviceMenuItem extends PopupMenu.PopupImageMenuItem {
-    constructor(id, title, icon_name, profiles) {
-        super(title, icon_name);
-        this._init(id, title, icon_name, profiles);
-    }
-
     _init(id, title, icon_name, profiles) {
         if (super._init) {
             super._init(title, icon_name);