config option for fake screen round corners

This commit is contained in:
end-4
2024-04-14 22:12:44 +07:00
parent 69fdb53c9d
commit 77d5ad41dc
2 changed files with 10 additions and 7 deletions
+9 -7
View File
@@ -55,18 +55,20 @@ const Windows = () => [
forMonitors(Osk),
Session(),
// forMonitors(Bar),
forMonitors((id) => Corner(id, 'top left')),
forMonitors((id) => Corner(id, 'top right')),
forMonitors((id) => Corner(id, 'bottom left')),
forMonitors((id) => Corner(id, 'bottom right')),
forMonitors(BarCornerTopleft),
forMonitors(BarCornerTopright),
...(userOptions.appearance.fakeScreenRounding ? [
forMonitors((id) => Corner(id, 'top left')),
forMonitors((id) => Corner(id, 'top right')),
forMonitors((id) => Corner(id, 'bottom left')),
forMonitors((id) => Corner(id, 'bottom right')),
forMonitors(BarCornerTopleft),
forMonitors(BarCornerTopright),
] : []),
forMonitors(Click2Close),
];
const CLOSE_ANIM_TIME = 210; // Longer than actual anim time to make sure widgets animate fully
const closeWindowDelays = {}; // For animations
for(let i = 0; i < (Gdk.Display.get_default()?.get_n_monitors() || 1); i++) {
for (let i = 0; i < (Gdk.Display.get_default()?.get_n_monitors() || 1); i++) {
closeWindowDelays[`osk${i}`] = CLOSE_ANIM_TIME;
}