june/Top-Bar-Organizer
1
0
Fork 0
mirror of https://gitlab.gnome.org/june/top-bar-organizer.git synced 2026-01-12 01:03:51 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update: Set Panel._originalAddToPanelBox to undefined on disable

Browse source 
Clean up more on disable by setting `Panel._originalAddToPanelBox` to
`undefined`.
This commit is contained in:
June 2021-06-19 22:47:07 +02:00
commit c7e5d80ccb
No known key found for this signature in database
GPG key ID: 094C2AC34192FA11
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/extension.js
View file

@ -85,6 +85,8 @@ class Extension {
disable() { disable() {
// Revert the overwrite of `Panel._addToPanelBox`. // Revert the overwrite of `Panel._addToPanelBox`.
Panel.Panel.prototype._addToPanelBox = Panel.Panel.prototype._originalAddToPanelBox; Panel.Panel.prototype._addToPanelBox = Panel.Panel.prototype._originalAddToPanelBox;
// Set `Panel._originalAddToPanelBox` to `undefined`.
Panel._originalAddToPanelBox = undefined;
// Disconnect signals. // Disconnect signals.
for (const handlerId of this._settingsHandlerIds) { for (const handlerId of this._settingsHandlerIds) {