Bump version to v10

yilozt · Dec 19, 2022 · fdc27e6 · fdc27e6
1 parent 60e8922
commit fdc27e6
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/resources/metadata.json b/resources/metadata.json
@@ -2,7 +2,7 @@
   "name": "Rounded Window Corners",
   "description": "Add rounded corners for all windows",
   "uuid": "rounded-window-corners@yilozt",
-  "version": "9",
+  "version": "10",
   "url": "https://github.com/yilozt/rounded-window-corners",
   "shell-version": ["40", "41", "42", "43"]
 }
diff --git a/src/manager/effect_manager.ts b/src/manager/effect_manager.ts
@@ -158,7 +158,6 @@ export class WindowActorTracker {
           last_size.width = actor.size.width
           last_size.height = actor.size.height
 
-          _log ('Size changed')
           this.run ((m) => m.on_size_changed (actor))
         }
       })

diff --git a/src/manager/rounded_corners_manager.ts b/src/manager/rounded_corners_manager.ts
@@ -93,6 +93,7 @@ export class RoundedCornersManager implements EffectManager {
     const shadow = actor.__rwc_rounded_window_info?.shadow
     if (shadow) {
       global.window_group.remove_child (shadow)
+      shadow.clear_effects ()
       shadow.destroy ()
     }
     delete actor.__rwc_rounded_window_info