mirror of https://github.com/buggins/dlangui.git
better HDPI support
This commit is contained in:
parent
2c80757880
commit
11d4b33051
|
@ -1102,7 +1102,7 @@ class GridWidgetBase : ScrollWidgetBase {
|
||||||
super(ID, hscrollbarMode, vscrollbarMode);
|
super(ID, hscrollbarMode, vscrollbarMode);
|
||||||
_headerCols = 1;
|
_headerCols = 1;
|
||||||
_headerRows = 1;
|
_headerRows = 1;
|
||||||
_defRowHeight = 20;
|
_defRowHeight = pointsToPixels(16);
|
||||||
_defColumnWidth = 100;
|
_defColumnWidth = 100;
|
||||||
_showColHeaders = true;
|
_showColHeaders = true;
|
||||||
_showRowHeaders = true;
|
_showRowHeaders = true;
|
||||||
|
|
|
@ -28,9 +28,9 @@ class SourceEdit : EditBox {
|
||||||
fontFace = "Consolas,DejaVuSansMono,Lucida Sans Typewriter,Courier New,Lucida Console";
|
fontFace = "Consolas,DejaVuSansMono,Lucida Sans Typewriter,Courier New,Lucida Console";
|
||||||
//fontFace = "Consolas,Lucida Console,Courier New";
|
//fontFace = "Consolas,Lucida Console,Courier New";
|
||||||
fontFamily = FontFamily.MonoSpace;
|
fontFamily = FontFamily.MonoSpace;
|
||||||
fontSize = 14;
|
fontSize = makePointSize(10);
|
||||||
layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT);
|
layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT);
|
||||||
minFontSize(10).maxFontSize(75); // allow font zoom with Ctrl + MouseWheel
|
minFontSize(9).maxFontSize(75); // allow font zoom with Ctrl + MouseWheel
|
||||||
showModificationMarks = true;
|
showModificationMarks = true;
|
||||||
|
|
||||||
_showLineNumbers = true;
|
_showLineNumbers = true;
|
||||||
|
|
Loading…
Reference in New Issue