playback bar text stroke desaturated

This commit is contained in:
Til Schmitter 2026-04-14 23:17:45 +02:00
parent 310cb9812c
commit 4a51d292f1

View file

@ -1630,7 +1630,7 @@ var mpl = (function () {
if (!tint) if (!tint)
ebi('barbuf').style.removeProperty('background'); ebi('barbuf').style.removeProperty('background');
else else
ebi('barbuf').style.background = 'rgba(126,163,75,' + (tint / 100.0) + ')'; ebi('barbuf').style.background = 'rgba(126,126,126,' + (tint / 100.0) + ')';
} }
ebi('pb_tint').oninput = function (e) { ebi('pb_tint').oninput = function (e) {
swrite('pb_tint', this.value); swrite('pb_tint', this.value);
@ -2270,7 +2270,7 @@ var pbar = (function () {
r.pos = canvas_cfg(ebi('barpos')); r.pos = canvas_cfg(ebi('barpos'));
r.buf.ctx.font = '.5em sans-serif'; r.buf.ctx.font = '.5em sans-serif';
r.pos.ctx.font = '.9em sans-serif'; r.pos.ctx.font = '.9em sans-serif';
r.pos.ctx.strokeStyle = 'rgba(24,56,0,0.5)'; r.pos.ctx.strokeStyle = 'rgba(40, 40, 40, 0.5)';
r.drawbuf(); r.drawbuf();
r.drawpos(); r.drawpos();
if (!r.pos.can.onmouseleave) if (!r.pos.can.onmouseleave)