From 916744891b3e6b5d5dfebf33eaf17a1b1c7777d9 Mon Sep 17 00:00:00 2001 From: sulincix Date: Tue, 6 Aug 2024 00:50:54 +0300 Subject: [PATCH] css pixel scale feature --- src/module/gtkwindow.py | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/src/module/gtkwindow.py b/src/module/gtkwindow.py index 8b0a799..f31b63f 100644 --- a/src/module/gtkwindow.py +++ b/src/module/gtkwindow.py @@ -386,8 +386,16 @@ def load_css(self): css += open("/usr/share/pardus/pardus-lightdm-greeter/data/colors-dark.css").read() else: css += open("/usr/share/pardus/pardus-lightdm-greeter/data/colors.css").read() - cssprovider.load_from_data(bytes(css, "UTF-8")) - + cssprovider.load_from_data(bytes(self.scale_css(css, scale), "UTF-8")) + + def scale_css(self, ctx, ratio): + ret = "" + for token in ctx.split(" "): + if "px" in token: + pix = int(token.split("px")[0].strip()) + token = str(ratio*pix)+"px"+token.split("px")[1] + ret += (token+" ") + return ret.strip() ############### logo update ###############