On Mon, 12 Aug 2024 12:59:13 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
> Please review a simple change to switch to a [better suited > API](https://developer.mozilla.org/en-US/docs/Web/API/ResizeObserver) to > track changes in document size in `javadoc`-generated pages. In addition to > changes in the size of the browser viewport, the new code handles changes > coming from page content, such as showing different subsets of members in a > member summary table. > > This issue is labeled `noreg-hard` since we don't have a way to test resize > behaviour in an automated way. I manually tested the change in Chrome, > Firefox and Safari on various desktop and mobile platforms. The > `ResizeObserver` API has been implemented in supported browsers [between > early 2018 and early > 2020](https://developer.mozilla.org/en-US/docs/Web/API/ResizeObserver/ResizeObserver#browser_compatibility). This pull request has now been integrated. Changeset: c7690c34 Author: Hannes Wallnöfer <hann...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/c7690c34c2d7bff11501188266b7be7a486c1bd0 Stats: 4 lines in 1 file changed: 0 ins; 2 del; 2 mod 8338190: TOC vertical offsets not updated when document size changes Reviewed-by: jjg ------------- PR: https://git.openjdk.org/jdk/pull/20547
