web-ui: rename "Search ..." to "Filter keys..." to make functionality more clear
@@ -235,6 +235,7 @@ export default class TreeView extends React.Component {
transitionLeaveTimeout: 200,
}}
openerOpts={{ position: 'left' }}
+ labels={{ 'search.placeholder': 'Filter keys...' }}
/>
)
}
