fix fake screen rounding + add bar rounding config (#701)

This commit is contained in:
end-4
2024-08-19 10:55:03 +07:00
parent a06f8ca97d
commit a80c03b592
2 changed files with 7 additions and 4 deletions
+6 -4
View File
@@ -53,11 +53,13 @@ const Windows = () => [
...(userOptions.appearance.fakeScreenRounding !== 0 ? [
forMonitors((id) => Corner(id, 'top left', true)),
forMonitors((id) => Corner(id, 'top right', true)),
forMonitors((id) => Corner(id, 'bottom left', true)),
forMonitors((id) => Corner(id, 'bottom right', true)),
] : []),
...(userOptions.appearance.barRoundCorners ? [
forMonitors(BarCornerTopleft),
forMonitors(BarCornerTopright),
] : []),
forMonitors((id) => Corner(id, 'bottom left', userOptions.appearance.fakeScreenRounding !== 0)),
forMonitors((id) => Corner(id, 'bottom right', userOptions.appearance.fakeScreenRounding !== 0)),
forMonitors(BarCornerTopleft),
forMonitors(BarCornerTopright),
];
const CLOSE_ANIM_TIME = 210; // Longer than actual anim time to make sure widgets animate fully