mirror of https://github.com/buggins/dlangide.git
fix merge conflict
This commit is contained in:
commit
2d1992ff47
src/dlangide/ui
|
@ -986,6 +986,8 @@ class IDEFrame : AppFrame, ProgramExecutionStatusListener, BreakpointListChangeL
|
||||||
_logPanel.getTabs.selectTab("search");
|
_logPanel.getTabs.selectTab("search");
|
||||||
if(searchPanel !is null) {
|
if(searchPanel !is null) {
|
||||||
searchPanel.focus();
|
searchPanel.focus();
|
||||||
|
dstring selectedText = currentEditor.getSelectedText();
|
||||||
|
searchPanel.setSearchText(selectedText);
|
||||||
}
|
}
|
||||||
return true;
|
return true;
|
||||||
case IDEActions.FileNewWorkspace:
|
case IDEActions.FileNewWorkspace:
|
||||||
|
|
|
@ -170,6 +170,10 @@ class SearchWidget : TabWidget {
|
||||||
}
|
}
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
public void setSearchText(dstring txt){
|
||||||
|
_findText.text = txt;
|
||||||
|
}
|
||||||
|
|
||||||
protected bool onEditorAction(const Action action) {
|
protected bool onEditorAction(const Action action) {
|
||||||
if (action.id == EditorActions.InsertNewLine) {
|
if (action.id == EditorActions.InsertNewLine) {
|
||||||
|
|
Loading…
Reference in New Issue