Fix GHOST crash on X11 with recent DPI changes on some systems.
This commit is contained in:
@@ -1683,15 +1683,17 @@ getDPIHint()
|
|||||||
{
|
{
|
||||||
/* Try to read DPI setting set using xrdb */
|
/* Try to read DPI setting set using xrdb */
|
||||||
char* resMan = XResourceManagerString(m_display);
|
char* resMan = XResourceManagerString(m_display);
|
||||||
XrmDatabase xrdb = XrmGetStringDatabase(resMan);
|
if (resMan) {
|
||||||
if (xrdb) {
|
XrmDatabase xrdb = XrmGetStringDatabase(resMan);
|
||||||
char* type = NULL;
|
if (xrdb) {
|
||||||
XrmValue val;
|
char* type = NULL;
|
||||||
|
XrmValue val;
|
||||||
|
|
||||||
int success = XrmGetResource(xrdb, "Xft.dpi", "Xft.Dpi", &type, &val);
|
int success = XrmGetResource(xrdb, "Xft.dpi", "Xft.Dpi", &type, &val);
|
||||||
if (success && type) {
|
if (success && type) {
|
||||||
if (strcmp(type, "String") == 0) {
|
if (strcmp(type, "String") == 0) {
|
||||||
return atoi((char*)val.addr);
|
return atoi((char*)val.addr);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user