Code

Adapt to Dom_html changes#808

Code

Draft

vouillon wants to merge 2 commits intomasterocsigen/eliom:masterfrom scroll-positionocsigen/eliom:scroll-positionCopy head branch name to clipboard

+30-50

Commits

Commits on Nov 27, 2024

• Scroll positions are now floats

  Show description for a181f88
  vouillon

  committed
  a181f88

Commits on Dec 13, 2024

• Adapt to Dom_html changes

  vouillon

  committed
  a09f3b8