Ticket #3874: 3874_bandbox_hidpi_fix_2.patch

File 3874_bandbox_hidpi_fix_2.patch, 653 bytes (added by Dario Ostuni, 3 years ago)

Applied stanislas69 suggestion

  • binaries/data/mods/public/gui/session/input.js

    diff --git a/binaries/data/mods/public/gui/session/input.js b/binaries/data/mods/public/gui/session/input.js
    index d5fb6e10..1b81194b 100644
    a b function updateBandbox(bandbox, ev, hidden) 
    425425    if (x0 > x1) { let t = x0; x0 = x1; x1 = t; }
    426426    if (y0 > y1) { let t = y0; y0 = y1; y1 = t; }
    427427
    428     bandbox.size = [x0, y0, x1, y1].join(" ");
     428    let scale = Engine.ConfigDB_GetValue("user", "gui.scale");
     429
     430    bandbox.size = [x0 * scale, y0 * scale, x1 * scale, y1 * scale].join(" ");
    429431    bandbox.hidden = hidden;
    430432
    431433    return [x0, y0, x1, y1];