|
|
|
|
|
var contextMenuInit = function() { |
|
let eventListenerApplied = false; |
|
let menuSpecs = new Map(); |
|
|
|
const uid = function() { |
|
return Date.now().toString(36) + Math.random().toString(36).substring(2); |
|
}; |
|
|
|
function showContextMenu(event, element, menuEntries) { |
|
let posx = event.clientX + document.body.scrollLeft + document.documentElement.scrollLeft; |
|
let posy = event.clientY + document.body.scrollTop + document.documentElement.scrollTop; |
|
|
|
let oldMenu = gradioApp().querySelector('#context-menu'); |
|
if (oldMenu) { |
|
oldMenu.remove(); |
|
} |
|
|
|
let baseStyle = window.getComputedStyle(gradioApp().querySelector('button.selected')); |
|
|
|
const contextMenu = document.createElement('nav'); |
|
contextMenu.id = "context-menu"; |
|
contextMenu.style.background = baseStyle.background; |
|
contextMenu.style.color = baseStyle.color; |
|
contextMenu.style.fontFamily = baseStyle.fontFamily; |
|
contextMenu.style.top = posy + 'px'; |
|
contextMenu.style.left = posx + 'px'; |
|
|
|
const contextMenuList = document.createElement('ul'); |
|
contextMenuList.className = 'context-menu-items'; |
|
contextMenu.append(contextMenuList); |
|
|
|
menuEntries.forEach(function(entry) { |
|
let contextMenuEntry = document.createElement('a'); |
|
contextMenuEntry.innerHTML = entry['name']; |
|
contextMenuEntry.addEventListener("click", function() { |
|
entry['func'](); |
|
}); |
|
contextMenuList.append(contextMenuEntry); |
|
|
|
}); |
|
|
|
gradioApp().appendChild(contextMenu); |
|
|
|
let menuWidth = contextMenu.offsetWidth + 4; |
|
let menuHeight = contextMenu.offsetHeight + 4; |
|
|
|
let windowWidth = window.innerWidth; |
|
let windowHeight = window.innerHeight; |
|
|
|
if ((windowWidth - posx) < menuWidth) { |
|
contextMenu.style.left = windowWidth - menuWidth + "px"; |
|
} |
|
|
|
if ((windowHeight - posy) < menuHeight) { |
|
contextMenu.style.top = windowHeight - menuHeight + "px"; |
|
} |
|
|
|
} |
|
|
|
function appendContextMenuOption(targetElementSelector, entryName, entryFunction) { |
|
|
|
var currentItems = menuSpecs.get(targetElementSelector); |
|
|
|
if (!currentItems) { |
|
currentItems = []; |
|
menuSpecs.set(targetElementSelector, currentItems); |
|
} |
|
let newItem = { |
|
id: targetElementSelector + '_' + uid(), |
|
name: entryName, |
|
func: entryFunction, |
|
isNew: true |
|
}; |
|
|
|
currentItems.push(newItem); |
|
return newItem['id']; |
|
} |
|
|
|
function removeContextMenuOption(uid) { |
|
menuSpecs.forEach(function(v) { |
|
let index = -1; |
|
v.forEach(function(e, ei) { |
|
if (e['id'] == uid) { |
|
index = ei; |
|
} |
|
}); |
|
if (index >= 0) { |
|
v.splice(index, 1); |
|
} |
|
}); |
|
} |
|
|
|
function addContextMenuEventListener() { |
|
if (eventListenerApplied) { |
|
return; |
|
} |
|
gradioApp().addEventListener("click", function(e) { |
|
if (!e.isTrusted) { |
|
return; |
|
} |
|
|
|
let oldMenu = gradioApp().querySelector('#context-menu'); |
|
if (oldMenu) { |
|
oldMenu.remove(); |
|
} |
|
}); |
|
gradioApp().addEventListener("contextmenu", function(e) { |
|
let oldMenu = gradioApp().querySelector('#context-menu'); |
|
if (oldMenu) { |
|
oldMenu.remove(); |
|
} |
|
menuSpecs.forEach(function(v, k) { |
|
if (e.composedPath()[0].matches(k)) { |
|
showContextMenu(e, e.composedPath()[0], v); |
|
e.preventDefault(); |
|
} |
|
}); |
|
}); |
|
eventListenerApplied = true; |
|
|
|
} |
|
|
|
return [appendContextMenuOption, removeContextMenuOption, addContextMenuEventListener]; |
|
}; |
|
|
|
var initResponse = contextMenuInit(); |
|
var appendContextMenuOption = initResponse[0]; |
|
var removeContextMenuOption = initResponse[1]; |
|
var addContextMenuEventListener = initResponse[2]; |
|
|
|
let cancelGenerateForever = function() { |
|
clearInterval(window.generateOnRepeatInterval); |
|
}; |
|
|
|
(function() { |
|
|
|
let generateOnRepeat = function(genbuttonid, interruptbuttonid) { |
|
let genbutton = gradioApp().querySelector(genbuttonid); |
|
let interruptbutton = gradioApp().querySelector(interruptbuttonid); |
|
if (!interruptbutton.offsetParent) { |
|
genbutton.click(); |
|
} |
|
clearInterval(window.generateOnRepeatInterval); |
|
window.generateOnRepeatInterval = setInterval(function() { |
|
if (!interruptbutton.offsetParent) { |
|
genbutton.click(); |
|
} |
|
}, |
|
500); |
|
}; |
|
|
|
let generateOnRepeatForButtons = function() { |
|
generateOnRepeat('#generate_button', '#stop_button'); |
|
}; |
|
|
|
appendContextMenuOption('#generate_button', 'Generate forever', generateOnRepeatForButtons); |
|
|
|
|
|
|
|
|
|
})(); |
|
|
|
|
|
document.onreadystatechange = function () { |
|
if (document.readyState == "complete") { |
|
addContextMenuEventListener(); |
|
} |
|
}; |
|
|