Fossil SCM
Make the option for synchronous scrolling of side-by-side diff available on the /fdiff page.
Commit
035b29eccc91602a201ac7d61e3018afdbaa568e66c93226db3467f66d99b72b
Parent
7a1177148338341…
1 file changed
+1
+1
| --- src/fossil.diff.js | ||
| +++ src/fossil.diff.js | ||
| @@ -641,10 +641,11 @@ | ||
| 641 | 641 | const potentialParents = [ /* possible parents for the checkbox */ |
| 642 | 642 | /* Put the most likely pages at the end, as array.pop() is more |
| 643 | 643 | efficient than array.shift() (see loop below). */ |
| 644 | 644 | /* /filedit */ 'body.cpage-fileedit #fileedit-tab-diff-buttons', |
| 645 | 645 | /* /wikiedit */ 'body.cpage-wikiedit #wikiedit-tab-diff-buttons', |
| 646 | + /* /fdiff */ 'body.fdiff form div.submenu', | |
| 646 | 647 | /* /vdiff */ 'body.vdiff form div.submenu', |
| 647 | 648 | /* /info, /vinfo */ 'body.vinfo div.sectionmenu.info-changes-menu' |
| 648 | 649 | ]; |
| 649 | 650 | while( potentialParents.length ){ |
| 650 | 651 | if( (eToggleParent = document.querySelector(potentialParents.pop())) ){ |
| 651 | 652 |
| --- src/fossil.diff.js | |
| +++ src/fossil.diff.js | |
| @@ -641,10 +641,11 @@ | |
| 641 | const potentialParents = [ /* possible parents for the checkbox */ |
| 642 | /* Put the most likely pages at the end, as array.pop() is more |
| 643 | efficient than array.shift() (see loop below). */ |
| 644 | /* /filedit */ 'body.cpage-fileedit #fileedit-tab-diff-buttons', |
| 645 | /* /wikiedit */ 'body.cpage-wikiedit #wikiedit-tab-diff-buttons', |
| 646 | /* /vdiff */ 'body.vdiff form div.submenu', |
| 647 | /* /info, /vinfo */ 'body.vinfo div.sectionmenu.info-changes-menu' |
| 648 | ]; |
| 649 | while( potentialParents.length ){ |
| 650 | if( (eToggleParent = document.querySelector(potentialParents.pop())) ){ |
| 651 |
| --- src/fossil.diff.js | |
| +++ src/fossil.diff.js | |
| @@ -641,10 +641,11 @@ | |
| 641 | const potentialParents = [ /* possible parents for the checkbox */ |
| 642 | /* Put the most likely pages at the end, as array.pop() is more |
| 643 | efficient than array.shift() (see loop below). */ |
| 644 | /* /filedit */ 'body.cpage-fileedit #fileedit-tab-diff-buttons', |
| 645 | /* /wikiedit */ 'body.cpage-wikiedit #wikiedit-tab-diff-buttons', |
| 646 | /* /fdiff */ 'body.fdiff form div.submenu', |
| 647 | /* /vdiff */ 'body.vdiff form div.submenu', |
| 648 | /* /info, /vinfo */ 'body.vinfo div.sectionmenu.info-changes-menu' |
| 649 | ]; |
| 650 | while( potentialParents.length ){ |
| 651 | if( (eToggleParent = document.querySelector(potentialParents.pop())) ){ |
| 652 |