1
0
mirror of https://github.com/node-red/node-red.git synced 2023-10-10 13:36:53 +02:00

Fix Help tab search box appearance

This commit is contained in:
Nick O'Leary 2020-06-05 17:14:25 +01:00
parent d14d4944a0
commit 95f7b9205a
No known key found for this signature in database
GPG Key ID: 4F2157149161A6C9

View File

@ -62,6 +62,7 @@ RED.sidebar.help = (function() {
panels.ratio(0.3); panels.ratio(0.3);
helpSearch = $('<input type="text" data-i18n="[placeholder]sidebar.help.search">').appendTo(toolbar).searchBox({ helpSearch = $('<input type="text" data-i18n="[placeholder]sidebar.help.search">').appendTo(toolbar).searchBox({
style: "compact",
delay: 100, delay: 100,
change: function() { change: function() {
var val = $(this).val().toLowerCase(); var val = $(this).val().toLowerCase();