maxmustermann/vscode
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix multiline search widget not scrolling with cursor properly

Browse source 
Fix #103952
This commit is contained in:
Rob Lourens 2020-08-05 15:23:30 -07:00
parent b873dc659a
commit ddc794ab8b
2 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/vs/workbench/contrib/search/browser/media/searchview.css
View file

@ -39,16 +39,16 @@
padding-left: 4px;
}
.search-view .search-widget .monaco-inputbox > .wrapper > .mirror {
max-height: 134px;
}
/* NOTE: height is also used in searchWidget.ts as a constant*/
.search-view .search-widget .monaco-inputbox > .wrapper > textarea.input {
overflow: initial;
height: 24px; /* set initial height before measure */
}
.search-view .search-widget .monaco-findInput .monaco-scrollable-element .scrollbar {
opacity: 0;
}
.search-view .monaco-inputbox > .wrapper > textarea.input {
scrollbar-width: none; /* Firefox: hide scrollbar */
}

3
src/vs/workbench/contrib/search/browser/searchWidget.ts
View file

@ -308,7 +308,8 @@ export class SearchWidget extends Widget {
appendWholeWordsLabel: appendKeyBindingLabel('', this.keyBindingService.lookupKeybinding(Constants.ToggleWholeWordCommandId), this.keyBindingService),
appendRegexLabel: appendKeyBindingLabel('', this.keyBindingService.lookupKeybinding(Constants.ToggleRegexCommandId), this.keyBindingService),
history: options.searchHistory,
flexibleHeight: true
flexibleHeight: true,
flexibleMaxHeight: 134
};
const searchInputContainer = dom.append(parent, dom.$('.search-container.input-box'));