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

documentation popup size fix #233

This commit is contained in:
Vadim Lopatin 2017-08-30 09:31:32 +03:00
parent 9a6619cd33
commit 4e321789b1
3 changed files with 14 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dub.json
View File

@ -12,7 +12,7 @@
"stringImportPaths": ["views", "views/res", "views/res/i18n", "views/res/mdpi", "views/res/hdpi"],
"dependencies": {
"dlangui": "==0.9.102",
"dlangui": "==0.9.103",
"dcd": "~>0.9.1"
},

16
src/dlangide/ui/dsourceedit.d
View File

@ -504,17 +504,25 @@ class DSourceEdit : SourceEdit, EditableContentMarksChangeListener {
lineCount = 1;
// TODO
EditBox widget = new EditBox("docComments");
widget.styleId = "POPUP_MENU";
widget.readOnly = true;
//TextWidget widget = new TextWidget("docComments");
//widget.maxLines = lineCount * 2;
//widget.text = "Test popup"d; //text.dup;
widget.text = text.dup;
Point bestSize = widget.fullContentSizeWithBorders();
//widget.layoutHeight = lineCount * widget.fontSize;
widget.minHeight = (lineCount + 1) * widget.fontSize;
widget.maxWidth = width * 3 / 4;
widget.minWidth = width / 8;
if (bestSize.y > height / 3)
bestSize.y = height / 3;
if (bestSize.x > width * 3 / 4)
bestSize.x = width * 3 / 4;
widget.minHeight = bestSize.y; //max((lineCount + 1) * widget.fontSize, bestSize.y);
widget.maxHeight = bestSize.y;
widget.maxWidth = bestSize.x; //width * 3 / 4;
widget.minWidth = bestSize.x; //width / 8;
// widget.layoutWidth = width / 3;
widget.styleId = "POPUP_MENU";
widget.hscrollbarMode = ScrollBarMode.Auto;
widget.vscrollbarMode = ScrollBarMode.Auto;
uint pos = PopupAlign.Above;

2
views/VERSION
View File

@ -1 +1 @@
v0.7.59
v0.7.60