Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Make the option for synchronous scrolling of side-by-side diff available on the /fdiff page. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
035b29eccc91602a201ac7d61e3018af |
| User & Date: | florian 2024-09-13 16:54:00 |
Context
|
2024-09-15
| ||
| 00:11 | Correct swapped --revision/-r flag handling for the annotate family of commands, as reported in forum post 1673b986fa. ... (check-in: caf60202 user: stephan tags: trunk) | |
|
2024-09-13
| ||
| 16:54 | Make the option for synchronous scrolling of side-by-side diff available on the /fdiff page. ... (check-in: 035b29ec user: florian tags: trunk) | |
| 16:38 | Put the diff-toggle checkbox on the /fdiff page into its own DIV instead of into the HR preceding the diff. The diff-toggle checkbox could also be omitted for the /fdiff page, but is left in place for consistency. ... (check-in: 7a117714 user: florian tags: trunk) | |
Changes
Changes to src/fossil.diff.js.
| ︙ | ︙ | |||
639 640 641 642 643 644 645 646 647 648 649 650 651 652 |
let cbSync /* scroll-sync checkbox */;
let eToggleParent /* element to put the sync-scroll checkbox in */;
const potentialParents = [ /* possible parents for the checkbox */
/* Put the most likely pages at the end, as array.pop() is more
efficient than array.shift() (see loop below). */
/* /filedit */ 'body.cpage-fileedit #fileedit-tab-diff-buttons',
/* /wikiedit */ 'body.cpage-wikiedit #wikiedit-tab-diff-buttons',
/* /vdiff */ 'body.vdiff form div.submenu',
/* /info, /vinfo */ 'body.vinfo div.sectionmenu.info-changes-menu'
];
while( potentialParents.length ){
if( (eToggleParent = document.querySelector(potentialParents.pop())) ){
break;
}
| > | 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 |
let cbSync /* scroll-sync checkbox */;
let eToggleParent /* element to put the sync-scroll checkbox in */;
const potentialParents = [ /* possible parents for the checkbox */
/* Put the most likely pages at the end, as array.pop() is more
efficient than array.shift() (see loop below). */
/* /filedit */ 'body.cpage-fileedit #fileedit-tab-diff-buttons',
/* /wikiedit */ 'body.cpage-wikiedit #wikiedit-tab-diff-buttons',
/* /fdiff */ 'body.fdiff form div.submenu',
/* /vdiff */ 'body.vdiff form div.submenu',
/* /info, /vinfo */ 'body.vinfo div.sectionmenu.info-changes-menu'
];
while( potentialParents.length ){
if( (eToggleParent = document.querySelector(potentialParents.pop())) ){
break;
}
|
| ︙ | ︙ |