possible fix for issue #221

This commit is contained in:
Vadim Lopatin 2017-08-09 15:13:05 +03:00
parent cf63a63ae9
commit c1b5a014b4
2 changed files with 4 additions and 4 deletions

View File

@ -34,14 +34,14 @@ class DefaultEditorTool : EditorTool
} }
override void goToDefinition(DSourceEdit editor, TextPosition caretPosition) { override void goToDefinition(DSourceEdit editor, TextPosition caretPosition) {
assert(0); //Go To Definition should not be called for normal files. //assert(0); //Go To Definition should not be called for normal files.
} }
override void getCompletions(DSourceEdit editor, TextPosition caretPosition, void delegate(dstring[] labels, string[] icons) callback) { override void getCompletions(DSourceEdit editor, TextPosition caretPosition, void delegate(dstring[] labels, string[] icons) callback) {
assert(0); //assert(0);
} }
override void getDocComments(DSourceEdit editor, TextPosition caretPosition, void delegate(string[]) callback) { override void getDocComments(DSourceEdit editor, TextPosition caretPosition, void delegate(string[]) callback) {
assert(0); //assert(0);
} }
} }

View File

@ -444,7 +444,7 @@ class IDEFrame : AppFrame, ProgramExecutionStatusListener, BreakpointListChangeL
} }
applySettings(editor, settings); applySettings(editor, settings);
_tabs.selectTab(index, true); _tabs.selectTab(index, true);
if( filename.endsWith(".d") ) if( filename.endsWith(".d") || filename.endsWith(".di") )
editor.editorTool = new DEditorTool(this); editor.editorTool = new DEditorTool(this);
else else
editor.editorTool = new DefaultEditorTool(this); editor.editorTool = new DefaultEditorTool(this);