From 52f39e3a011236627669cbd09236ee2aa968c1c8 Mon Sep 17 00:00:00 2001 From: end-4 <97237370+end-4@users.noreply.github.com> Date: Sat, 25 May 2024 19:57:03 +0700 Subject: [PATCH] ags: config option for monitor get scaled size method (#424) --- .config/ags/modules/.commondata/hyprlanddata.js | 12 ++++++++---- .config/ags/modules/.configuration/user_options.js | 3 +++ 2 files changed, 11 insertions(+), 4 deletions(-) diff --git a/.config/ags/modules/.commondata/hyprlanddata.js b/.config/ags/modules/.commondata/hyprlanddata.js index 665909ab..faabd97a 100644 --- a/.config/ags/modules/.commondata/hyprlanddata.js +++ b/.config/ags/modules/.commondata/hyprlanddata.js @@ -12,10 +12,14 @@ async function updateStuff() { const gdkMonitor = display.get_monitor(i); monitor.realWidth = monitor.width; monitor.realHeight = monitor.height; - // monitor.width = gdkMonitor.get_geometry().width; - // monitor.height = gdkMonitor.get_geometry().height; - monitor.width = Math.ceil(monitor.realWidth / monitor.scale); - monitor.height = Math.ceil(monitor.realHeight / monitor.scale); + if (userOptions.monitors.scaleMethod.toLowerCase == "gdk") { + monitor.width = gdkMonitor.get_geometry().width; + monitor.height = gdkMonitor.get_geometry().height; + } + else { // == "division" + monitor.width = Math.ceil(monitor.realWidth / monitor.scale); + monitor.height = Math.ceil(monitor.realHeight / monitor.scale); + } }); console.log(monitors) } diff --git a/.config/ags/modules/.configuration/user_options.js b/.config/ags/modules/.configuration/user_options.js index 92c0efd2..6730feb1 100644 --- a/.config/ags/modules/.configuration/user_options.js +++ b/.config/ags/modules/.configuration/user_options.js @@ -55,6 +55,9 @@ let configOptions = { 'color': 'rgba(113,227,32,0.9)', }, }, + 'monitors': { + 'scaleMethod': "division", // Either "division" [default] or "gdk" + }, 'music': { 'preferredPlayer': "plasma-browser-integration", },