diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-03-12 08:25:03 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-12 08:25:03 +0300 |
| commit | 6106f6d0a03cb0121db788417becddd3568eb41d (patch) | |
| tree | b6ef49d0261c9161b049640b1676041d6ff02913 /javascript | |
| parent | beb96bd11534aaafd6ebc6c287013a4c3e1d5a95 (diff) | |
| parent | 247a34498b337798a371d69483bbcab49b5c320c (diff) | |
Merge pull request #7965 from Kilvoctu/extranet-buttons
Use emojis for extra network buttons
Diffstat (limited to 'javascript')
| -rw-r--r-- | javascript/extraNetworks.js | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/javascript/extraNetworks.js b/javascript/extraNetworks.js index 5781df4f..d0177ad6 100644 --- a/javascript/extraNetworks.js +++ b/javascript/extraNetworks.js @@ -5,12 +5,10 @@ function setupExtraNetworksForTab(tabname){ var tabs = gradioApp().querySelector('#'+tabname+'_extra_tabs > div')
var search = gradioApp().querySelector('#'+tabname+'_extra_search textarea')
var refresh = gradioApp().getElementById(tabname+'_extra_refresh')
- var close = gradioApp().getElementById(tabname+'_extra_close')
search.classList.add('search')
tabs.appendChild(search)
tabs.appendChild(refresh)
- tabs.appendChild(close)
search.addEventListener("input", function(evt){
searchTerm = search.value.toLowerCase()
|