Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Made diff view table 100% wide instead of 98%. The unsightly horizontal scrollbars still don't appear at that width and this eliminates an odd-looking gap on the right. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
be9602d0dfca0047bb50d048b96b1a51 |
| User & Date: | stephan 2021-09-07 22:24:43.545 |
Context
|
2021-09-08
| ||
| 01:01 | Fix the /vpatch webpage output, apparently broken by check-in [3a561322cafbc337]. [forum:/forumpost/2a0e4c729e|Forum post 2a0e4c729e]. check-in: ebcad739e8 user: drh tags: trunk | |
|
2021-09-07
| ||
| 22:28 | Ongoing refactoring and feature-adding related to the JS/ajax components of the new diff views. check-in: 65aa2c9643 user: stephan tags: diff-js-refactoring | |
| 22:24 | Made diff view table 100% wide instead of 98%. The unsightly horizontal scrollbars still don't appear at that width and this eliminates an odd-looking gap on the right. check-in: be9602d0df user: stephan tags: trunk | |
| 21:55 | diff.js: instead of polling for window size changes every 100ms, listen for window resize events. check-in: c5f8e79990 user: stephan tags: trunk | |
Changes
Changes to src/diff.js.
| ︙ | ︙ | |||
55 56 57 58 59 60 61 |
for(let i=0; i<allCols.length; i++){
allCols[i].style.width = w + "px";
allCols[i].style.maxWidth = w + "px";
}
var allDiffs = document.querySelectorAll('table.diff');
w = lastWidth;
for(let i=0; i<allDiffs.length; i++){
| | | 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 |
for(let i=0; i<allCols.length; i++){
allCols[i].style.width = w + "px";
allCols[i].style.maxWidth = w + "px";
}
var allDiffs = document.querySelectorAll('table.diff');
w = lastWidth;
for(let i=0; i<allDiffs.length; i++){
allDiffs[i].style.width = '100%'; // setting to w causes unsightly horiz. scrollbar
allDiffs[i].style.maxWidth = w + "px";
}
}
}
checkWidth();
window.addEventListener('resize', checkWidth);
})();
|