def get_screen_settings(self):
u_root_w, u_root_h = self.get_root_size()
root_w, root_h = self.cp(u_root_w, u_root_h)
self._current_screen_sizes = self.get_screen_sizes()
sss = self.get_screen_sizes(self.xscale, self.yscale)
ndesktops = get_number_of_desktops()
desktop_names = get_desktop_names()
log("get_screen_settings() sizes=%s, %s desktops: %s", sss, ndesktops,
desktop_names)
if self.dpi > 0:
#use command line value supplied, but scale it:
xdpi = ydpi = self.dpi
log("get_screen_settings() dpi=%s", self.dpi)
else:
#not supplied, use platform detection code:
xdpi = self.get_xdpi()
ydpi = self.get_ydpi()
log("get_screen_settings() xdpi=%s, ydpi=%s", get_xdpi(),
get_ydpi())
xdpi = self.cx(xdpi)
ydpi = self.cy(ydpi)
log("get_screen_settings() scaled: xdpi=%s, ydpi=%s", xdpi, ydpi)
vrefresh = self.get_vrefresh()
log("get_screen_settings() vrefresh=%s", vrefresh)
return (root_w, root_h, sss, ndesktops, desktop_names, u_root_w,
u_root_h, xdpi, ydpi, vrefresh)
def get_ydpi(self):
ydpi = get_ydpi()
if ydpi > 0:
return ydpi
return self.get_screen_resolution()
def get_ydpi(self):
return get_ydpi()
def get_ydpi(self) -> int:
return get_ydpi()
def get_ydpi(self):
ydpi = get_ydpi()
if ydpi > 0:
return ydpi
return Gdk.Screen.get_default().get_resolution()
