1580158
/
a1111-mini-paint
mirror of https://github.com/0Tick/a1111-mini-paint
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update "Send to miniPaint" button to be in line with new webui's emoji buttons

pull/9/head
Lavorther 2023-10-05 13:25:48 +02:00
parent 9d04a11bed
commit 7df0a7ead0
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
miniPaint/dist/bundle.js vendored
View File

File diff suppressed because one or more lines are too long

5
miniPaint/src/js/modules/file/send.js
View File

@ -219,9 +219,10 @@ class File_send_class {
if (window.parent.gradioApp().querySelector(`#${queryId}_open_in_minipaint`) == null){ if (window.parent.gradioApp().querySelector(`#${queryId}_open_in_minipaint`) == null){
const newButton = existingButton.cloneNode(true); const newButton = existingButton.cloneNode(true);
newButton.id = `${queryId}_open_in_minipaint`; newButton.id = `${queryId}_open_in_minipaint`;
newButton.textContent = "Send to miniPaint"; newButton.textContent = "✏️";
newButton.title= "Send image to miniPaint tab.";
newButton.addEventListener("click", addButton); newButton.addEventListener("click", addButton);
window.parent.gradioApp().querySelector(`#${queryId}`).appendChild(newButton); window.parent.gradioApp().querySelector(`#${queryId} .form`).appendChild(newButton);
} }
else { else {
existingButton = window.parent.gradioApp().querySelector(`#${queryId}_open_in_minipaint`); existingButton = window.parent.gradioApp().querySelector(`#${queryId}_open_in_minipaint`);