(SQL Dev for VSCode 23.4.1; Windows 11)

If I use the “Run Statement (Ctrl+Enter)” button (or the F9
key) while the cursor is positioned on a query in a SQL worksheet, as expected the GUI runs that very query.
As a graphical feedback, both SQL Dev “Classic” and SQL Dev for VSCode highlight the query while it is running, as if I had selected it prior to running it (which I generally skip, as it is unnecessary if queries in the worksheet are properly terminated).
The problem is, in SQL Dev for VSCode, the target query remains selected after it has returned, whereas in SQL Dev “Classic” it returns to whichever state it was in before I pressed F9: it it was selected previously, it remains that way; it if wasn't, it becomes unselected again when it returns.

I find this behaviour in SQL Dev for VSCode extremely annoying: if I happen to press Enter
at this stage (because I want to open a new line at that position), the newline replaces the whole selection! So I have to: first press one arrow key; and only then press Enter
; this maneuver requires one extra keystroke, and doesn't feel natural at all.
Could this be fixed so that SQL Dev for VSCode behaves as SQL Dev “Classic” on this point?
Thanks & regards,