Fossil

Changes On Branch udiff-hscroll
Login

Changes On Branch udiff-hscroll

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
674
675



676
677
678
679
680
681
682
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');
    }
    w = lastWidth - 100;
    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');
      }