Simply code to query xrdb for Xft.dpi

This commit is contained in:
Kovid Goyal
2017-10-22 17:09:30 +05:30
parent be6e41c400
commit 1276bd6f5d
2 changed files with 15 additions and 28 deletions

View File

@@ -124,4 +124,12 @@ def x11_window_id(window):
return lib.glfwGetX11Window(window.window_id())
def x11_display():
lib = glfw_lib()
ans = lib.glfwGetX11Display
ans.restype = ctypes.c_void_p
ans.argtypes = []
return ans()
iswayland = not isosx and hasattr(glfw_lib(), 'glfwGetWaylandDisplay')