49 lines
1.1 KiB
JavaScript
49 lines
1.1 KiB
JavaScript
|
/* global $ $$ dom */// dom.js
|
||
|
/* global prefs */
|
||
|
'use strict';
|
||
|
|
||
|
(() => {
|
||
|
let curW = $('#header').offsetWidth;
|
||
|
let offset, perPage;
|
||
|
prefs.subscribe(dom.HWprefId, (key, val) => setWidth(val));
|
||
|
$('#header-resizer').onmousedown = e => {
|
||
|
if (e.button) return;
|
||
|
offset = curW - e.clientX;
|
||
|
perPage = e.shiftKey;
|
||
|
document.body.classList.add('resizing-h');
|
||
|
document.on('mousemove', resize);
|
||
|
document.on('mouseup', resizeStop);
|
||
|
};
|
||
|
|
||
|
function resize(e) {
|
||
|
setWidth(offset + e.clientX);
|
||
|
}
|
||
|
|
||
|
function resizeStop() {
|
||
|
document.off('mouseup', resizeStop);
|
||
|
document.off('mousemove', resize);
|
||
|
document.body.classList.remove('resizing-h');
|
||
|
save();
|
||
|
}
|
||
|
|
||
|
function save() {
|
||
|
if (perPage) {
|
||
|
prefs.set(dom.HWprefId, curW);
|
||
|
} else {
|
||
|
for (const k of prefs.knownKeys) {
|
||
|
if (k.startsWith(dom.HW)) prefs.set(k, curW);
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function setWidth(w) {
|
||
|
const delta = (w = dom.setHWProp(w)) - curW;
|
||
|
if (delta) {
|
||
|
curW = w;
|
||
|
for (const el of $$('.CodeMirror-linewidget[style*="width:"]')) {
|
||
|
el.style.width = parseFloat(el.style.width) - delta + 'px';
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
})();
|