forks
/
dlangui
mirror of https://github.com/buggins/dlangui.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

allow to override detected screen DPI - #463

This commit is contained in:
Vadim Lopatin 2017-09-29 09:56:54 +03:00
parent 17289b2804
commit 54955069de
2 changed files with 25 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/dlangui/core/types.d
View File

@ -294,11 +294,29 @@ int fromPercentSize(int size, int baseSize) {
/// screen dots per inch
private __gshared int PRIVATE_SCREEN_DPI = 96;
/// value to override detected system DPI, 0 to disable overriding
private __gshared int PRIVATE_SCREEN_DPI_OVERRIDE = 0;
/// get current screen DPI used for scaling while drawing
@property int SCREEN_DPI() {
return PRIVATE_SCREEN_DPI;
return PRIVATE_SCREEN_DPI_OVERRIDE ? PRIVATE_SCREEN_DPI_OVERRIDE : PRIVATE_SCREEN_DPI;
}
/// get screen DPI detection override value, if non 0 - this value is used instead of DPI detected by platform, if 0, value detected by platform will be used)
@property int overrideScreenDPI() {
return PRIVATE_SCREEN_DPI_OVERRIDE;
}
/// call to disable automatic screen DPI detection, use provided one instead (pass 0 to disable override and use value detected by platform)
@property void overrideScreenDPI(int dpi = 96) {
static if (BACKEND_CONSOLE) {
} else {
if ((dpi >= 72 && dpi <= 500) || dpi == 0)
PRIVATE_SCREEN_DPI_OVERRIDE = dpi;
}
}
/// set screen DPI detected by platform
@property void SCREEN_DPI(int dpi) {
static if (BACKEND_CONSOLE) {
PRIVATE_SCREEN_DPI = dpi;
@ -312,6 +330,11 @@ private __gshared int PRIVATE_SCREEN_DPI = 96;
}
}
/// returns DPI detected by platform w/o override
@property int systemScreenDPI() {
return PRIVATE_SCREEN_DPI;
}
/// one point is 1/72 of inch
enum POINTS_PER_INCH = 72;

2
views/DLANGUI_VERSION
View File

@ -1 +1 @@
v0.9.156
v0.9.157