mirror of https://github.com/buggins/dlangide.git
search and highlight improvements - catch recent dlangui version
This commit is contained in:
parent
ad6d0b495e
commit
4a7a6d0b07
2
dub.json
2
dub.json
|
@ -12,7 +12,7 @@
|
|||
"stringImportPaths": ["views", "views/res", "views/res/i18n", "views/res/mdpi", "views/res/hdpi"],
|
||||
|
||||
"dependencies": {
|
||||
"dlangui": "==0.9.115",
|
||||
"dlangui": "==0.9.119",
|
||||
"dcd": "~>0.9.1"
|
||||
},
|
||||
|
||||
|
|
|
@ -241,7 +241,7 @@ class SearchWidget : TabWidget {
|
|||
bool findText(dstring source) {
|
||||
Log.d("Finding " ~ source);
|
||||
|
||||
_resultLog.setTextToHighlight(""d, false);
|
||||
_resultLog.setTextToHighlight(""d, 0);
|
||||
_resultLog.text = ""d;
|
||||
_matchedList = [];
|
||||
_resultLogMatchIndex = 0;
|
||||
|
@ -285,7 +285,7 @@ class SearchWidget : TabWidget {
|
|||
default:
|
||||
assert(0);
|
||||
}
|
||||
_resultLog.setTextToHighlight(source, true);
|
||||
_resultLog.setTextToHighlight(source, TextSearchFlag.CaseSensitive);
|
||||
return true;
|
||||
}
|
||||
|
||||
|
|
|
@ -1 +1 @@
|
|||
v0.7.68
|
||||
v0.7.70
|
Loading…
Reference in New Issue