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

fix #8169

Browse source
This commit is contained in:
Sandeep Somavarapu 2016-07-25 18:31:57 +02:00
parent 01ea47c31e
commit ed58bb8e36
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/vs/workbench/parts/search/browser/media/searchviewlet.css
View file

@ -4,7 +4,7 @@
*--------------------------------------------------------------------------------------------*/
.search-viewlet .search-widgets-container {
margin: 6px 17px 0 2px;
margin: 6px 9px 0 2px;
}
.search-viewlet .search-widget .toggle-replace-button {

8
src/vs/workbench/parts/search/browser/searchViewlet.ts
View file

@ -503,11 +503,11 @@ export class SearchViewlet extends Viewlet {
return;
}
this.searchWidget.setWidth(this.size.width - 34 /* container margin */);
this.searchWidget.setWidth(this.size.width - 25 /* container margin */);
this.inputPatternExclusions.setWidth(this.size.width - 36 /* container margin */);
this.inputPatternIncludes.setWidth(this.size.width - 36 /* container margin */);
this.inputPatternGlobalExclusions.width = this.size.width - 36 /* container margin */ - 24 /* actions */;
this.inputPatternExclusions.setWidth(this.size.width - 28 /* container margin */);
this.inputPatternIncludes.setWidth(this.size.width - 28 /* container margin */);
this.inputPatternGlobalExclusions.width = this.size.width - 28 /* container margin */ - 24 /* actions */;
let searchResultContainerSize = this.size.height - dom.getTotalHeight(this.searchWidgetsContainer.getContainer()) - 6 /** container margin top */;
this.results.style({ height: searchResultContainerSize + 'px' });