mirror of https://github.com/buggins/dlangide.git
update dlangui dep version - fix scrollbars
This commit is contained in:
parent
d0b9ff8a0e
commit
8f2686677a
2
dub.json
2
dub.json
|
@ -12,7 +12,7 @@
|
||||||
"stringImportPaths": ["views", "views/res", "views/res/i18n", "views/res/mdpi", "views/res/hdpi"],
|
"stringImportPaths": ["views", "views/res", "views/res/i18n", "views/res/mdpi", "views/res/hdpi"],
|
||||||
|
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
"dlangui": "==0.9.90",
|
"dlangui": "==0.9.93",
|
||||||
"dcd": "~>0.9.1"
|
"dcd": "~>0.9.1"
|
||||||
},
|
},
|
||||||
|
|
||||||
|
|
|
@ -940,6 +940,7 @@ class IDEFrame : AppFrame, ProgramExecutionStatusListener, BreakpointListChangeL
|
||||||
return;
|
return;
|
||||||
renameTab(oldfilename, filename);
|
renameTab(oldfilename, filename);
|
||||||
ed.id = filename;
|
ed.id = filename;
|
||||||
|
ed.setSyntaxSupport();
|
||||||
if( filename.endsWith(".d") || filename.endsWith(".di") )
|
if( filename.endsWith(".d") || filename.endsWith(".di") )
|
||||||
ed.editorTool = new DEditorTool(this);
|
ed.editorTool = new DEditorTool(this);
|
||||||
else
|
else
|
||||||
|
@ -947,9 +948,9 @@ class IDEFrame : AppFrame, ProgramExecutionStatusListener, BreakpointListChangeL
|
||||||
//openSourceFile(filename);
|
//openSourceFile(filename);
|
||||||
refreshWorkspace();
|
refreshWorkspace();
|
||||||
ProjectSourceFile file = _wsPanel.findSourceFileItem(filename, false);
|
ProjectSourceFile file = _wsPanel.findSourceFileItem(filename, false);
|
||||||
if (file)
|
if (file) {
|
||||||
ed.projectSourceFile = file;
|
ed.projectSourceFile = file;
|
||||||
else
|
} else
|
||||||
ed.projectSourceFile = null;
|
ed.projectSourceFile = null;
|
||||||
_settings.setRecentPath(dlg.path, "FILE_OPEN_PATH");
|
_settings.setRecentPath(dlg.path, "FILE_OPEN_PATH");
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue