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_xdpi(self): xdpi = get_xdpi() if xdpi > 0: return xdpi return self.get_screen_resolution()
def get_xdpi(self): return get_xdpi()
def get_xdpi(self) -> int: return get_xdpi()
def get_xdpi(self): xdpi = get_xdpi() if xdpi > 0: return xdpi return Gdk.Screen.get_default().get_resolution()