- // dirty the place where the scar used to be in case the root window size was programmatically changed
- if (root.maxwidth != root.width || root.maxheight != root.height)
- root.dirty(0, root.height - Main.scarImage.height, Main.scarImage.width, Main.scarImage.height);
+ if (root.maxwidth != root.width || root.maxheight != root.height) {
+ // dirty the place where the scar used to be and where it is now
+ dirty(0, root.height - Main.scarImage.height, Main.scarImage.width, Main.scarImage.height);
+ dirty(0, root.maxheight - Main.scarImage.height, Main.scarImage.width, Main.scarImage.height);
+ }