fix microsoft#8169

sandy081 · sandy081 · commit ed58bb8e36fd · 2016-07-25T18:32:14.000+02:00
diff --git a/src/vs/workbench/parts/search/browser/media/searchviewlet.css b/src/vs/workbench/parts/search/browser/media/searchviewlet.css
@@ -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 {
diff --git a/src/vs/workbench/parts/search/browser/searchViewlet.ts b/src/vs/workbench/parts/search/browser/searchViewlet.ts
@@ -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' });

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`--------------------------------------------------------------------------------------------/`
`5`	`5`
`6`	`6`	`.search-viewlet .search-widgets-container {`
`7`		`- margin: 6px 17px 0 2px;`
	`7`	`+ margin: 6px 9px 0 2px;`
`8`	`8`	`}`
`9`	`9`
`10`	`10`	`.search-viewlet .search-widget .toggle-replace-button {`