|
|
|
@ -102,7 +102,7 @@ inline Float x11DpiScaling() { |
|
|
|
Containers::ScopedExit closeDisplay{display, xCloseDisplay}; |
|
|
|
Containers::ScopedExit closeDisplay{display, xCloseDisplay}; |
|
|
|
|
|
|
|
|
|
|
|
const char* rms = xResourceManagerString(display); |
|
|
|
const char* rms = xResourceManagerString(display); |
|
|
|
CORRADE_INTERNAL_ASSERT(rms); |
|
|
|
if(rms) { |
|
|
|
XrmDatabase db = xrmGetStringDatabase(rms); |
|
|
|
XrmDatabase db = xrmGetStringDatabase(rms); |
|
|
|
CORRADE_INTERNAL_ASSERT(db); |
|
|
|
CORRADE_INTERNAL_ASSERT(db); |
|
|
|
Containers::ScopedExit closeDb{db, xrmDestroyDatabase}; |
|
|
|
Containers::ScopedExit closeDb{db, xrmDestroyDatabase}; |
|
|
|
@ -116,6 +116,7 @@ inline Float x11DpiScaling() { |
|
|
|
return scaling; |
|
|
|
return scaling; |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
Warning{} << "Platform: can't get Xft.dpi property for virtual DPI scaling, falling back to physical DPI"; |
|
|
|
Warning{} << "Platform: can't get Xft.dpi property for virtual DPI scaling, falling back to physical DPI"; |
|
|
|
return {}; |
|
|
|
return {}; |
|
|
|
|