Merge pull request #3262 from node-red/search-history

Add search history to main search box
This commit is contained in:
Nick O'Leary
2022-01-12 17:51:46 +00:00
committed by GitHub
3 changed files with 88 additions and 3 deletions

View File

@@ -204,6 +204,28 @@
font-style: italic;
color: $form-placeholder-color;
}
.red-ui-search-history {
button {
display: none;
position: absolute;
top: 8px;
right: 7px;
}
&:hover button {
display: inline;
}
}
.red-ui-search-historyHeader {
button {
position: absolute;
top: 10px;
right: 7px;
}
}
.red-ui-search-history-result {
}
.red-ui-search-result-action {
color: $primary-text-color;