Type: Bug

When editing a document with <details> blocks, I observe twothree issues (third in a comment below):

1. every refresh, the details blocks are closed (they lose their open attribute). I think I would find it more helpful if they retained their open/closed state between refreshes
2. the synchronized scrolling between the editor and the preview is a little off. I can fully expand my (so far, two) <details> blocks and the scrolling seems to be in sync again, so I suspect the sync operates as if the details blocks are always fully expanded, when they are not. Unfortunately, due to the first problem, this isn't really tenable and so I've had to disable the sync for now.

For the second, I suspect the trouble is in getCodeLineElements:

codeLineClass here appears to be 'code-line', which I think will grab the contents of a closed <details>, as the DOM looks like this (note the difference between the two <details> blocks, the one with the open attribute is expanded):

And there doesn't appear to be any filtering to exclude elements that aren't visible (e.g. the parent is a <details> missing an open, as in my case).

Sorry if this should be two issues, they seemed related enough to at least start here.

Example document:

# document

some introductory text that gives the rough outline of what the thing should do

<details>
<summary>my very long aside, including a code block that spans a dozen lines or so, on how the thing actually works</summary>

<pre>
line 1
line 2
line 3
line 4
line 5
line 6
line 7
line 8
line 9
line 10
</pre>

</details>

Some more text that follows the aside.

VS Code version: Code - OSS 1.75.1 (441438a, 2023-02-09T20:16:38.064Z)
OS version: Linux x64 5.15.94-1-MANJARO
Modes:
Sandboxed: No