From 7926e8f8406a59adba64f8ebf0ad960302086f87 Mon Sep 17 00:00:00 2001 From: end-4 <97237370+end-4@users.noreply.github.com> Date: Sun, 14 Apr 2024 22:12:44 +0700 Subject: [PATCH] config option for fake screen round corners --- .config/ags/config.js | 16 +++++++++------- .../ags/modules/.configuration/user_options.js | 1 + 2 files changed, 10 insertions(+), 7 deletions(-) diff --git a/.config/ags/config.js b/.config/ags/config.js index c8e9d792b..729f47331 100644 --- a/.config/ags/config.js +++ b/.config/ags/config.js @@ -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; } diff --git a/.config/ags/modules/.configuration/user_options.js b/.config/ags/modules/.configuration/user_options.js index bd244f5b6..852fab71d 100644 --- a/.config/ags/modules/.configuration/user_options.js +++ b/.config/ags/modules/.configuration/user_options.js @@ -21,6 +21,7 @@ let configOptions = { 'keyboardUseFlag': false, // Use flag emoji instead of abbreviation letters 'layerSmoke': false, 'layerSmokeStrength': 0.2, + 'fakeScreenRounding': true, }, 'apps': { 'bluetooth': "blueberry",