From a80c03b592f51af2fc41ee0ebfc97000f678aed6 Mon Sep 17 00:00:00 2001 From: end-4 <97237370+end-4@users.noreply.github.com> Date: Mon, 19 Aug 2024 10:55:03 +0700 Subject: [PATCH] fix fake screen rounding + add bar rounding config (#701) --- .config/ags/config.js | 10 ++++++---- .config/ags/modules/.configuration/user_options.js | 1 + 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/.config/ags/config.js b/.config/ags/config.js index bf89b6c81..73e57b57f 100644 --- a/.config/ags/config.js +++ b/.config/ags/config.js @@ -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 diff --git a/.config/ags/modules/.configuration/user_options.js b/.config/ags/modules/.configuration/user_options.js index b1c5e5be9..13be1e91d 100644 --- a/.config/ags/modules/.configuration/user_options.js +++ b/.config/ags/modules/.configuration/user_options.js @@ -29,6 +29,7 @@ let configOptions = { 'keyboardUseFlag': false, // Use flag emoji instead of abbreviation letters 'layerSmoke': false, 'layerSmokeStrength': 0.2, + 'barRoundCorners': 1, // 0: No, 1: Yes 'fakeScreenRounding': 1, // 0: None | 1: Always | 2: When not fullscreen }, 'apps': {