mirror of https://github.com/buggins/dlangide.git
allow editing project json - close #116
This commit is contained in:
parent
b5b639a7e4
commit
2ac611f645
|
@ -63,7 +63,7 @@ extern (C) int UIAppMain(string[] args) {
|
||||||
//}
|
//}
|
||||||
|
|
||||||
// create window
|
// create window
|
||||||
Window window = Platform.instance.createWindow("Dlang IDE", null, WindowFlag.Resizable, 1000, 800);
|
Window window = Platform.instance.createWindow("Dlang IDE", null, WindowFlag.Resizable, 1000, 750);
|
||||||
// set window icon
|
// set window icon
|
||||||
window.windowIcon = drawableCache.getImage("dlangui-logo1");
|
window.windowIcon = drawableCache.getImage("dlangui-logo1");
|
||||||
|
|
||||||
|
|
|
@ -456,12 +456,12 @@ class DSourceEdit : SourceEdit, EditableContentMarksChangeListener {
|
||||||
widget.text = text.dup;
|
widget.text = text.dup;
|
||||||
//widget.layoutHeight = lineCount * widget.fontSize;
|
//widget.layoutHeight = lineCount * widget.fontSize;
|
||||||
widget.minHeight = (lineCount + 1) * widget.fontSize;
|
widget.minHeight = (lineCount + 1) * widget.fontSize;
|
||||||
widget.maxWidth = width / 2;
|
widget.maxWidth = width * 3 / 4;
|
||||||
widget.minWidth = width / 8;
|
widget.minWidth = width / 8;
|
||||||
// widget.layoutWidth = width / 3;
|
// widget.layoutWidth = width / 3;
|
||||||
widget.styleId = "POPUP_MENU";
|
widget.styleId = "POPUP_MENU";
|
||||||
widget.hscrollbarMode = ScrollBarMode.Invisible;
|
widget.hscrollbarMode = ScrollBarMode.Auto;
|
||||||
widget.vscrollbarMode = ScrollBarMode.Invisible;
|
widget.vscrollbarMode = ScrollBarMode.Auto;
|
||||||
uint pos = PopupAlign.Above;
|
uint pos = PopupAlign.Above;
|
||||||
if (pt.y < top + height / 4)
|
if (pt.y < top + height / 4)
|
||||||
pos = PopupAlign.Below;
|
pos = PopupAlign.Below;
|
||||||
|
|
Loading…
Reference in New Issue