rixty/KoboldAI-Client
1
1
Fork 0
mirror of https://github.com/KoboldAI/KoboldAI-Client.git synced 2025-06-05 21:59:24 +02:00
Code Issues Projects Releases Wiki Activity

Fix tooltips in some places

Browse Source
This commit is contained in:
somebody
2022-10-14 13:16:58 -05:00
parent cbb67f49de
commit 6ff16ac808
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
static/koboldai.js
View File

@@ -260,7 +260,7 @@ function create_options(action) {
icon.setAttribute('data-glyph', "loop-circular"); icon.setAttribute('data-glyph', "loop-circular");
iconcell.append(icon); iconcell.append(icon);
delete_icon = $e("span", iconcell, {"classes": ["material-icons-outlined", "cursor", 'delete_option_icon'], delete_icon = $e("span", iconcell, {"classes": ["material-icons-outlined", "cursor", 'delete_option_icon'],
"title": "delete option", 'option_id': i, "tooltip": "Delete Option", 'option_id': i,
'option_chunk': action.id, 'textContent': 'delete'}); 'option_chunk': action.id, 'textContent': 'delete'});
delete_icon.onclick = function () { delete_icon.onclick = function () {
socket.emit("delete_option", {"chunk": this.getAttribute("option_chunk"), "option": this.getAttribute("option_id")}); socket.emit("delete_option", {"chunk": this.getAttribute("option_chunk"), "option": this.getAttribute("option_id")});
@@ -1658,9 +1658,9 @@ function world_info_entry(data) {
delete_icon = world_info_card.querySelector('#world_info_delete_'); delete_icon = world_info_card.querySelector('#world_info_delete_');
delete_icon.id = "world_info_delete_"+data.uid; delete_icon.id = "world_info_delete_"+data.uid;
delete_icon.setAttribute("uid", data.uid); delete_icon.setAttribute("uid", data.uid);
delete_icon.setAttribute("title", data.title); delete_icon.setAttribute("wi-title", data.title);
delete_icon.onclick = function () { delete_icon.onclick = function () {
if (confirm("This will delete world info "+this.getAttribute("title"))) { if (confirm("This will delete world info "+this.getAttribute("wi-title"))) {
if (parseInt(this.getAttribute("uid")) < 0) { if (parseInt(this.getAttribute("uid")) < 0) {
this.parentElement.parentElement.remove(); this.parentElement.parentElement.remove();
} else { } else {