File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -460,7 +460,7 @@ namespace Private {
460460 filterType . appendChild ( varTypeOption ) ;
461461 filterType . appendChild ( nameOption ) ;
462462 const searchContainer = document . createElement ( 'div' ) ;
463- searchContainer . className = 'jp-InputGroup filter-search-container' ;
463+ searchContainer . className = 'filter-search-container' ;
464464 const input = document . createElement ( 'jp-text-field' ) as TextField ;
465465 input . setAttribute ( 'type' , 'text' ) ;
466466 input . setAttribute ( 'placeholder' , 'Filter out variable' ) ;
@@ -494,11 +494,10 @@ namespace Private {
494494 const buttonText = document . createElement ( 'div' ) ;
495495 buttonText . className = 'filtered-variable-button-text' ;
496496 buttonText . innerHTML = filterName ;
497- const icon = closeIcon . element ( {
497+ closeIcon . element ( {
498498 container : filterButtonContent
499499 } ) ;
500- filterButtonContent . appendChild ( buttonText ) ;
501- filterButtonContent . appendChild ( icon ) ;
500+ filterButtonContent . insertAdjacentElement ( 'afterbegin' , buttonText ) ;
502501 filteredButton . appendChild ( filterButtonContent ) ;
503502 filteredButton . className = FILTERED_BUTTON_CLASS ;
504503 return filteredButton ;
Original file line number Diff line number Diff line change 1010 margin : auto;
1111 width : 100% ;
1212 color : var (--jp-content-font-color1 );
13+ padding : 0 4px ;
1314}
1415
1516.jp-VarInspector-table td ,
4243 font-size : var (--jp-ui-font-size1 );
4344 color : var (--jp-content-font-color1 );
4445 text-align : left;
45- padding-left : 10px ;
46+ padding : 4 px 10px ;
4647}
4748
4849.filter-container {
You can’t perform that action at this time.
0 commit comments