Convert data-local-id to number when needed

This commit is contained in:
Andrew Ferrazzutti 2021-06-30 03:11:26 -04:00
parent 921b5a6201
commit 915e3daa06

View File

@ -916,7 +916,7 @@ class MautrixController {
!change.target.classList.contains("MdNonDisp")) { !change.target.classList.contains("MdNonDisp")) {
const msgElement = change.target.closest(".mdRGT07Own") const msgElement = change.target.closest(".mdRGT07Own")
if (msgElement) { if (msgElement) {
let id = +msgElement.getAttribute("data-local-id") const id = +msgElement.getAttribute("data-local-id")
if (!receipt_id || receipt_id < id) { if (!receipt_id || receipt_id < id) {
receipt_id = id receipt_id = id
} }
@ -1086,7 +1086,7 @@ class MautrixController {
// Skip timestamps, as these are always current // Skip timestamps, as these are always current
child.classList.contains("MdRGT07Cont")) child.classList.contains("MdRGT07Cont"))
{ {
const msgID = child.getAttribute("data-local-id") const msgID = +child.getAttribute("data-local-id")
if (msgID > minID) { if (msgID > minID) {
pendingMsgElements.add(child) pendingMsgElements.add(child)