Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Changes In Branch udiff-hscroll Excluding Merge-Ins
This is equivalent to a diff from c76b0019 to faadb48d
|
2023-01-21
| ||
| 10:50 | Improve scroll width calculation for unified diffs. ... (check-in: 7a76111f user: florian tags: trunk) | |
| 01:13 | Remove bootstrap skin, per discussion in forum post aa02d7443d446211. Clients with that skin selected will automatically be switched to the default. ... (check-in: e1ef9347 user: stephan tags: trunk) | |
|
2023-01-20
| ||
| 10:42 | Simplify the loop to enumerate table columns to the left. ... (Closed-Leaf check-in: faadb48d user: florian tags: udiff-hscroll) | |
|
2023-01-19
| ||
| 12:15 | Firefox ≠ Chromium ... (check-in: dbffb2fa user: florian tags: udiff-hscroll) | |
| 11:36 | More accurate scroll width calculation for unified diffs (looks better for SQLite diffs with up to 5-digit line numbers). ... (check-in: 337b297c user: florian tags: udiff-hscroll) | |
|
2023-01-18
| ||
| 00:54 | Initial prototype of the /json/settings/get command/page, per discussion in forum post 04b7159d63d4abe4. ... (check-in: 29e5bb00 user: stephan tags: json-settings-command) | |
| 00:47 | Fix a memory leak of the path to a versioned-setting file in print_setting(). ... (check-in: c76b0019 user: stephan tags: trunk) | |
|
2023-01-17
| ||
| 20:40 | Small fix to the nojail patch; accidentally lost the [80faedbc] change in the shuffle. ... (check-in: 7a6cf9dd user: wyoung tags: trunk) | |
Changes to src/fossil.diff.js.
| ︙ | ︙ | |||
667 668 669 670 671 672 673 |
f.colsR.forEach(function(e){
e.style.width = w + "px";
e.style.maxWidth = w + "px";
});
if(force || !f.colsU){
f.colsU = document.querySelectorAll('td.difftxtu pre');
}
| < > > > | 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 |
f.colsR.forEach(function(e){
e.style.width = w + "px";
e.style.maxWidth = w + "px";
});
if(force || !f.colsU){
f.colsU = document.querySelectorAll('td.difftxtu pre');
}
f.colsU.forEach(function(e){
w = lastWidth - 3; // Outer border
var k = e.parentElement/*TD*/;
while(k = k.previousElementSibling/*TD*/) w -= k.scrollWidth;
e.style.width = w + "px";
e.style.maxWidth = w + "px";
});
if(0){ // seems to be unnecessary
if(!f.allDiffs){
f.allDiffs = document.querySelectorAll('table.diff');
}
|
| ︙ | ︙ |