File tree 2 files changed +8
-2
lines changed
base/browser/ui/findinput
workbench/contrib/notebook/browser/contrib/find
2 files changed +8
-2
lines changed Original file line number Diff line number Diff line change @@ -72,8 +72,8 @@ export class FindInput extends Widget {
72
72
73
73
protected controls : HTMLDivElement ;
74
74
protected regex : RegexCheckbox ;
75
- private wholeWords : WholeWordsCheckbox ;
76
- private caseSensitive : CaseSensitiveCheckbox ;
75
+ protected wholeWords : WholeWordsCheckbox ;
76
+ protected caseSensitive : CaseSensitiveCheckbox ;
77
77
public domNode : HTMLElement ;
78
78
public inputBox : HistoryInputBox ;
79
79
Original file line number Diff line number Diff line change @@ -159,6 +159,12 @@ class NotebookFindInput extends FindInput {
159
159
this . _filtersAction . checked = false ;
160
160
}
161
161
} ) ) ;
162
+
163
+ this . inputBox . paddingRight = this . caseSensitive . width ( ) + this . wholeWords . width ( ) + this . regex . width ( ) + this . getFilterWidth ( ) ;
164
+ }
165
+
166
+ private getFilterWidth ( ) {
167
+ return 2 /*margin left*/ + 2 /*border*/ + 2 /*padding*/ + 16 /* icon width */ ;
162
168
}
163
169
164
170
private createFilters ( container : HTMLElement ) : void {
You can’t perform that action at this time.
0 commit comments