Bug fixes

• Blur can disappear during some animations (Plasma bug).

Changes

• Rounded corners look much better.
• Corner radius is multiplied by the screen scale.
• Corners aren't jagged anymore when scaled.
• Floating panels are now rounded properly.
• Non-floating panels aren't rounded anymore.

New features

• Anti-aliasing for rounded corners to make them even smoother. May be buggy when using scaling.
• Corner radius can be specified separately for menus and docks.